Predicate iPostDominates
Holds if postDominator
is an immediate post-dominator of node
in the control-flow
graph.
Import path
import cpp
predicate
iPostDominates
(
ControlFlowNode
postDominator
,
ControlFlowNode
node
)