Member predicate BasicBlock::strictlyPostDominates

Holds if this basic block strictly 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 (which must be different from bb).

Example:

def m b
  if b
    puts "b"
  end
  puts "m"
end

The basic block on line 5 strictly post-dominates the basic block on line 3 (all paths to the exit point of m from puts "b" must go through puts "m").