在控制流图（CFG）中，某个结点 n 的 immediate postdominator（直接后支配结点，常记作 ipdom(n)) 是指：在所有后支配 n 的结点里，离 n 最近的那个结点。直观理解：从 n 出发的任意路径最终都会到达它，而在到达它之前不会“必经”另一个更近的后支配结点。该概念常用于编译器中的控制依赖分析、程序切片、异常与退出路径分析等。
/ɪˈmiːdiət ˌpoʊstˈdɒmɪneɪtər/
In this CFG, the immediate postdominator of the branch node is the merge block.
在这个控制流图中，分支结点的直接后支配结点是汇合基本块。
To compute control dependence, we first build the postdominator tree and then query each node’s immediate postdominator to identify where paths necessarily reconverge.
为了计算控制依赖，我们先构建后支配树，再查询每个结点的直接后支配结点，以确定各条路径必然在何处重新汇合。
该术语由三部分构成：immediate（“直接的、最近的”）+ **post-**（前缀，表示“在……之后”）+ dominator（“支配者/支配结点”，源自拉丁语 dominari “统治、支配”）。在图与程序分析语境中，dominator 表示“所有路径必经”，而 postdominator 则把方向反过来，强调“从该点出发到终点的所有路径必经”。
Select Language