If all nodes are sunk, bail out early. This make the later check for checkersEvaluated really meaningful.

llvm-svn: 110430
This commit is contained in:
Zhongxing Xu 2010-08-06 04:20:59 +00:00
parent 26177d2c24
commit 44207a9e9f
1 changed files with 4 additions and 1 deletions

View File

@ -205,7 +205,10 @@ void GRExprEngine::CheckerVisit(const Stmt *S, ExplodedNodeSet &Dst,
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;