diff --git a/llvm-contech/BufferCheckAnalysis.cpp b/llvm-contech/BufferCheckAnalysis.cpp
index 7e51d8d..f050ea8 100644
--- 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