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