[cfe-commits] r110430 - /cfe/trunk/lib/Checker/GRExprEngine.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Thu Aug  5 23:20:59 2010
New Revision: 110430

URL: http://llvm.org/viewvc/llvm-project?rev=110430&view=rev
Log:
If all nodes are sunk, bail out early. This make the later check for checkersEvaluated really meaningful.

Modified:
    cfe/trunk/lib/Checker/GRExprEngine.cpp

Modified: cfe/trunk/lib/Checker/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/GRExprEngine.cpp?rev=110430&r1=110429&r2=110430&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Checker/GRExprEngine.cpp Thu Aug  5 23:20:59 2010
@@ -205,7 +205,10 @@
   ExplodedNodeSet *PrevSet = &Src;
   unsigned checkersEvaluated = 0;
 
-  for (CheckersOrdered::iterator I=CO->begin(), E=CO->end(); I!=E; ++I){
+  for (CheckersOrdered::iterator I=CO->begin(), E=CO->end(); I!=E; ++I) {
+    // If all nodes are sunk, bail out early.
+    if (PrevSet->empty())
+      break;
     ExplodedNodeSet *CurrSet = 0;
     if (I+1 == E)
       CurrSet = &Dst;