Increased worklist limit for GRSimpleVals.

llvm-svn: 48037
This commit is contained in:
Ted Kremenek 2008-03-07 22:59:32 +00:00
parent 2bdd77696e
commit 0440494b66
1 changed files with 1 additions and 1 deletions

View File

@ -101,7 +101,7 @@ unsigned RunGRSimpleVals(CFG& cfg, FunctionDecl& FD, ASTContext& Ctx,
CheckerState->setTransferFunctions(GRSV);
// Execute the worklist algorithm.
Engine.ExecuteWorkList(20000);
Engine.ExecuteWorkList(50000);
SourceManager& SrcMgr = Ctx.getSourceManager();