tion::::可到达性.是图论中的性质，会用在程式的最佳化中。若某一个子图没有和包括进入程式块的子图相连接，在执行程式时不会执行到该子图的程式，因此是，在一般情形下可以移除该程式，不会影响程式运作。若从进入程式块无法连到结束程式块，则可能有无穷回圈。不过不是所有的无穷回圈都可以检测的到（参考停机问题）。即使程式设计者没有刻意的写不可到达程式码或是无穷回圈，仍有可能会出现这些情形。像是常数折叠或常数传播等最佳化方式，若后面有，可能会将数个基本块变成一个，因此移除了控制流图上的一些边，也可能因此