，因此是，在一般情形下可以移除该程式，不会影响程式运作。若从进入程式块无法连到结束程式块，则可能有无穷回圈。不过不是所有的无穷回圈都可以检测的到（参考停机问题）。即使程式设计者没有刻意的写不可到达程式码或是无穷回圈，仍有可能会出现这些情形。像是常数折叠或常数传播等最佳化方式，若后面有，可能会将数个基本块变成一个，因此移除了控制流图上的一些边，也可能因此出现不可到达程式码
支配关系.若从进入程式块到达基本块N的所有路径，都会在到达基本块N之前先到达基本块M，则基本块M支配（d