交汇运算是交集运算，任何发现x+y在某个程序点上不可用的理由都会在流图中沿着所有可能的路径向前传播，直到x+y被重新计算并再次变得可用为止。第二，只有两个理由可能会使x+y变成不可用的。
1）因为x或y在基本块B中被定值且其后没有计算x+y，因此x+y被杀死。在这种情况下，我们第一次应用传递函数fs的时候，x+y就会从OUT[B]中被删除。
2)在某些路径中，x+y—直没有被计算。因为x+y肯定不会在OUT[ENTRY]中，并且它也不会在上面说的那条路径中被生成。我们可以通过对路径长度的归纳来证明x + y最终会从这条路径的所有基本块的IN和OUT值中删除。
