Member predicate BasicBlock::bbStrictlyPostDominates
Holds if this basic block strictly post-dominates node
.
predicate bbStrictlyPostDominates(BasicBlock node)
Holds if this basic block strictly post-dominates node
.
predicate bbStrictlyPostDominates(BasicBlock node)