After talking with Bill, it seems like the LandingPad handling here is likely

to be wrong (or at least somewhat suspect).  Leave a FIXME for Bill.

llvm-svn: 137694
This commit is contained in:
Eli Friedman 2011-08-16 00:41:37 +00:00
parent b8f30de527
commit bd39703456
1 changed files with 1 additions and 4 deletions

View File

@ -2266,10 +2266,7 @@ bool SimplifyCFGOpt::SimplifyUnreachable(UnreachableInst *UI) {
!isa<LandingPadInst>(BBI)) {
break;
}
// Note that deleting LandingPad's here is in fact okay, although it
// involves a bit of subtle reasoning. If this inst is a LandingPad,
// all the predecessors of this block will be the unwind edges of Invokes,
// and we can therefore guarantee this block will be erased.
// FIXME: Handling of LandingPadInst (landingpad) is suspicious.
}
// Delete this instruction (any uses are guaranteed to be dead)