大门|大门-CS-2015（第1组）|问题65

如果以下三个条件同时成立，则称变量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、 美国 （B） r、 美国 （C） r、 u （D） q、 五 答复: （C） 说明： 活变量分析 在编译器中很有用，可以在每个程序中找到将来可能需要的变量。

根据上述定义，变量是 居住 如果它持有未来可能需要的价值。换言之，它在未来任何新任务之前都会被使用。

这个问题的小测验