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)