判断题 每个基本块可用一个DAG表示。

判断题 仅考虑一个基本块，不能确定一个赋值是否真是无用的。

判断题 每个过程的活动记录的体积在编译时可静态确定。