CFG construction: Abort CFG construction when processing a CompoundStmt if any

of its subexpressions resulted in a "bad CFG".

llvm-svn: 80298

1 files changed, 3 insertions, 0 deletions

diff --git a/clang/lib/Analysis/CFG.cpp b/clang/lib/Analysis/CFG.cpp
index 3677f7ee0d5..ee64bd2f3fe 100644
--- a/clang/lib/Analysis/CFG.cpp
+++ b/clang/lib/Analysis/CFG.cpp
@@ -560,6 +560,9 @@ CFGBlock* CFGBuilder::VisitCompoundStmt(CompoundStmt* C) {
   for (CompoundStmt::reverse_body_iterator I=C->body_rbegin(), E=C->body_rend();
        I != E; ++I ) {
     LastBlock = addStmt(*I);
+    
+    if (badCFG)
+      return NULL;
   }  
   return LastBlock;
 }