diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2010-08-12 04:05:07 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2010-08-12 04:05:07 +0000 |
| commit | 2f7ee3ca40d362366940d5ee5b6378f42039fd29 (patch) | |
| tree | 57bd4cdb7b0b4d6e69951295fd3cc25d4f661da4 /clang/lib/Checker/GRExprEngine.cpp | |
| parent | e9e91b05971b37564e3d0f1851f37ae4c71344d2 (diff) | |
| download | bcm5719-llvm-2f7ee3ca40d362366940d5ee5b6378f42039fd29.tar.gz bcm5719-llvm-2f7ee3ca40d362366940d5ee5b6378f42039fd29.zip | |
Actually use reduced set of checkers in EvalAssume.
llvm-svn: 110904
Diffstat (limited to 'clang/lib/Checker/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Checker/GRExprEngine.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp index 71bdbb38f04..1f6c266e3a3 100644 --- a/clang/lib/Checker/GRExprEngine.cpp +++ b/clang/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. |
