Member predicate BasicBlock::postDominates
Holds if this basic block post-dominates basic block bb
.
That is, all paths reaching a normal exit point basic block from basic
block bb
must go through this basic block.
Example:
def m b
if b
puts "b"
end
puts "m"
end
The basic block on line 5 post-dominates the basic block on line 3
(all paths to the exit point of m
from puts "b"
must go through
puts "m"
).
predicate postDominates(BasicBlock bb)