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 cpppredicate bbPostDominates(BasicBlock postDominator, BasicBlock node)Holds if postDominator is a post-dominator of node in the control-flow graph of
basic blocks. This is reflexive.
import cpppredicate bbPostDominates(BasicBlock postDominator, BasicBlock node)