3.1.2.1 到达定值分析 (Reaching Definitions)

文档摘要

3.1.2.1 到达定值分析 (Reaching Definitions) 3.1.2.1 到达定值分析（Reaching Definitions）：当“定义”在控制流中迷路时，我们如何用位向量把它揪出来？你写过这样的代码吗？编译器看到它，心里却在快速盘算：这个里用的，到底“到达”了哪个定义？是第1行的，还是第3行的？还是——两者都可能？这不是哲学问题。这是编译优化的生死线。如果编译器误判为“只有到达”，它就可能把优化成，而实际运行时为真，输出却是 ——一个静默的、难以复现的、只在特定输入下爆发的崩溃性错误。这就是到达定值分析（Reaching Definitions）的战场。