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