1 Semantic Analysis Check semantics Error reporting Disambiguate overloaded operators Type coercion Static checking –Type checking –Control flow checking.
