Predicate bbStrictlyPostDominates
Holds if postDominator
is a strict post-dominator of node
in the control-flow
graph of basic blocks. Being strict means that postDominator != node
.
Import path
import cpp
predicate
bbStrictlyPostDominates
(
BasicBlock
postDominator
,
BasicBlock
node
)