LLVM Pass - Remove assert on blocks without predecessors

This is possible in C++ code, just unreachable. Apparently the compiler did not consider the block dead and left it. #216
bprail · Aug 23, 2019 · b2cfe50 · b2cfe50
1 parent 2de91e8
commit b2cfe50
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/llvm-contech/BufferCheckAnalysis.cpp b/llvm-contech/BufferCheckAnalysis.cpp
@@ -277,8 +277,8 @@ namespace llvm
                 if (pred_bb_states.size() == 0 &&
                     bb_val != entry_val)
                 {
-                    errs() << "BBCHK " << *bb << "\n";
-                    assert(pred_bb_states.size() > 0);
+                    // Some C++ code generates unreachable blocks.
+					continue;
                 }
 
                 // get the initial current state