Semantic Analysis:Finding Meaning

• The semantic phase of compilation walks the parse tree built by the Parser and recognizes semantic constructs

• e.g. type checking

  int array[10];
  
  array[2.34] = 0;

• e.g. uniqueness checking

  int array[10];
  
  int array[20];

• e.g. flow-of-control checking

  main(){
  
  break;
  }