Predicate postDominates
Holds if postDominator
is a post-dominator of node
in the control-flow graph. This
is reflexive.
Import path
import cpp
predicate
postDominates
(
ControlFlowNode
postDominator
,
ControlFlowNode
node
)