语义分析
审查源程序有无语义错误,为代码生成阶段收集类型信息(如类型转化,类型匹配,上下文相关性等)。
主要是类型相容检查,有以下几种:
各种条件表达式的类型是不是boolean型?
运算符的分量类型是否相容?
赋值语句的左右部的类型是否相容?
形参和实参的类型是否相容?
下标表达式的类型是否为所允许的类型?
函数说明中的函数类型和返回值的类型是否一致?
V[E]中的V是不是变量,而且是数组类型?
V.i中的V是不是变量,而且是记录类型?i是不是该记录的域名?
x+f(…)中的f是不是函数名?形参个数和实参个数是否一致?
每个使用性标识符是否都有声明?有无标识符的重复声明?
在语义分析同时产生中间代码,在这种模式下,语义分析的主要功能如下:
语义审查
在扫描声明部分时构造标识符的符号表
在扫描语句部分时产生中间代码