diff options
| -rw-r--r-- | llvm/lib/Transforms/Utils/SimplifyCFG.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp index 9f2c311601e..2d60c35afb1 100644 --- a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp @@ -2266,7 +2266,10 @@ bool SimplifyCFGOpt::SimplifyUnreachable(UnreachableInst *UI) { !isa<LandingPadInst>(BBI)) { 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) |
