置支配树（postdominator tree）。
特殊边.倒退边（back edge）是指向的基本块是在图的深度优先搜索中，已经走过的基本块。倒退边多半表示有回圈。异常边（abnormal edge）是目的不清的边。建构异常处理时常会产生这种边。此情形会不允许最佳化。不可能边（impossible edge）也称为假边（fake edge），是为了让结束程式块后置支配所有节点而加入的边，其实不会执行到。
回圈管理.回圈首标（loop header