可到达定义 编辑
在编译器理论中，一个指令的定义可达性必然是另外一个指令，而这个指令则是一个没有交错赋值指令的目标变数，举例来说：
2
相关
数据流分析 是一种用于收集计算机程序在不同点计算的值的信息的技术。一个程序的控制流图被用来确定对变量的一次赋值可能传播到程序中的哪些部分。这些信息通常被编译器用来优化程序。数据流分析的一个典型的例子就是可到达定义的计算。