对于程序中的语句S,在活性分析的上下文中,定义了以下集合:
- USE(S) : S 中使用的变量集
- IN(S) : S 入口处的变量集
- OUT(S) : S 出口处的变量集
考虑一个由两个语句组成的基本块,S1 后跟 S2。以下哪一项陈述是正确的?
(A)输出(S1) = 输入(S2)
(B)输出 (S1) = 输入 (S1) ∪ 使用 (S1)
(C)输出 (S1) = 输入 (S2) ∪ 输出 (S2)
(D)输出 (S1) = 使用 (S1) ∪ 输入 (S2)答案:(一)
解释:
在 S1 之后活动的变量数将始终是 S2 的输入。
(正确选项A)
这个问题的测验