Author: kremenek
Date: Wed Jun 30 02:28:52 2010
New Revision: 107259
URL: http://llvm.org/viewvc/llvm-project?rev=107259&view=rev
Log:
Correctly implement the CheckerVisit optimization introduced in r106884, but
this time actually used the cached checker list when calling back to Checker
visit methods. This reduces the analysis time for sqlite3.c by 8%.
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=107259&r1=107258&r2=107259&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Checker/GRExprEngine.cpp Wed Jun 30 02:28:52 2010
@@ -204,7 +204,7 @@
ExplodedNodeSet *PrevSet = &Src;
unsigned checkersEvaluated = 0;
- for (CheckersOrdered::iterator I=Checkers.begin(),E=Checkers.end();
I!=E;++I){
+ for (CheckersOrdered::iterator I=CO->begin(), E=CO->end(); I!=E; ++I){
ExplodedNodeSet *CurrSet = 0;
if (I+1 == E)
CurrSet = &Dst;
_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
