From: Jordy Rose <jediknil@belkadan.com>
Date: Thu, 12 Aug 2010 04:05:07 +0000 (+0000)
Subject: Actually use reduced set of checkers in EvalAssume.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a205061727b430556e06c7046b8533098df1ed6e;p=clang

Actually use reduced set of checkers in EvalAssume.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110904 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Checker/GRExprEngine.cpp b/lib/Checker/GRExprEngine.cpp
index 71bdbb38f0..1f6c266e3a 100644
--- a/lib/Checker/GRExprEngine.cpp
+++ b/lib/Checker/GRExprEngine.cpp
@@ -527,8 +527,7 @@ const GRState *GRExprEngine::ProcessAssume(const GRState *state, SVal cond,
   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.