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

Jordy Rose jediknil at belkadan.com
Wed Aug 11 21:05:07 PDT 2010


Author: jrose
Date: Wed Aug 11 23:05:07 2010
New Revision: 110904

URL: http://llvm.org/viewvc/llvm-project?rev=110904&view=rev
Log:
Actually use reduced set of checkers in EvalAssume.

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=110904&r1=110903&r2=110904&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Checker/GRExprEngine.cpp Wed Aug 11 23:05:07 2010
@@ -527,8 +527,7 @@
   if (!CO->empty()) {
     // Let the checkers have a crack at the assume before the transfer functions
     // get their turn.
-    for (CheckersOrdered::iterator I = Checkers.begin(), E = Checkers.end();
-          I != E; ++I) {
+    for (CheckersOrdered::iterator I = CO->begin(), E = CO->end(); I!=E; ++I) {
 
       // If any checker declares the state infeasible (or if it starts that
       // way), bail out.





More information about the cfe-commits mailing list