can be used when deciding if a block can transfer control to another
via a fall-through instead of a branch.

llvm-svn: 56968