|
@@ -2266,7 +2266,10 @@ bool SimplifyCFGOpt::SimplifyUnreachable(UnreachableInst *UI) {
|
|
!isa<LandingPadInst>(BBI)) {
|
|
!isa<LandingPadInst>(BBI)) {
|
|
break;
|
|
break;
|
|
}
|
|
}
|
|
- // FIXME: Handling of LandingPadInst (landingpad) is suspicious.
|
|
|
|
|
|
+ // 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.
|
|
}
|
|
}
|
|
|
|
|
|
// Delete this instruction (any uses are guaranteed to be dead)
|
|
// Delete this instruction (any uses are guaranteed to be dead)
|