commit 2b4adffa16302bd75993f5a0c2f1a9f70af4dd38
author Ted Kremenek <kremenek@apple.com> Wed Aug 11 00:03:02 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Aug 11 00:03:02 2010 +0000
tree c3f79f2446b1c65100ca35e4aa59388b3f109d6e
parent 9664984be899776293e3d705864e133eb5d86f03

Have GRCoreEngine record the blocks where analysis was aborted because we visited a block too many times along a given path.  This is to support the unreachable code analysis.

llvm-svn: 110755

clang/lib/Checker/GRCoreEngine.cpp

diff --git a/clang/lib/Checker/GRCoreEngine.cpp b/clang/lib/Checker/GRCoreEngine.cpp
index c2a3322..e0524d9 100644
--- a/clang/lib/Checker/GRCoreEngine.cpp
+++ b/clang/lib/Checker/GRCoreEngine.cpp
@@ -200,7 +200,7 @@
     }
   }
 
-  SubEngine.ProcessEndWorklist(WList->hasWork() || BlockAborted);
+  SubEngine.ProcessEndWorklist(hasWorkRemaining());
   return WList->hasWork();
 }
 
@@ -250,8 +250,9 @@
   if (ProcessBlockEntrance(Blk, Pred, WList->getBlockCounter()))
     GenerateNode(BlockEntrance(Blk, Pred->getLocationContext()),
                  Pred->State, Pred);
-  else
-    BlockAborted = true;
+  else {
+    blocksAborted.push_back(std::make_pair(L, Pred));
+  }
 }
 
 void GRCoreEngine::HandleBlockEntrance(const BlockEntrance& L,