Rework the logic (and removing the bad check for an unreachable block) so that

the FailBB dominator is correctly calculated. Believe it or not, there isn't a
functionality change here.

llvm-svn: 128455