fixed bug in IntrinsicCleaner trap cleaner

1 files changed, 8 insertions, 0 deletions

diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp
index e2ed3f39..19683ab4 100644
--- a/lib/Module/IntrinsicCleaner.cpp
+++ b/lib/Module/IntrinsicCleaner.cpp
@@ -207,6 +207,14 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) {
 
         ii->eraseFromParent();
 
+       	//check if the instruction after the one we just replaced is not the end of the basic block
+        //and if it is not (i.e. it is a valid instruction), delete it and all remaining 
+        //because the cleaner just introduced a terminating instruction (unreachable)
+        //otherwise llvm will assert in Verifier::visitTerminatorInstr
+        while(i != ie){  // i was already incremented above.
+          (i++)->eraseFromParent();
+        }
+
         dirty = true;
         break;
       }