如果同时满足以下三个条件,则表示变量x在程序中的语句Si处存在:
1. There exists a statement Sj that uses x
2. There is a path from Si to Sj in the flow
graph corresponding to the program
3. The path has no intervening assignment to x
including at Si and Sj
在上述控制流程图的基本块2中的语句和基本块3中的语句中都存在的变量是
(A) p,s,u
(B) r,s,u
(C) r,u
(D) q,v答案: (C)
说明:实时变量分析在编译器中很有用,可以在每个程序中查找将来可能需要的变量。
根据给出的定义,如果变量具有将来可能需要的值,则该变量为活动变量。换句话说,将来会在任何新分配之前使用它。
这个问题的测验