diff options
| -rw-r--r-- | Analysis/GRSimpleVals.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Analysis/GRSimpleVals.cpp b/Analysis/GRSimpleVals.cpp index efe435b884..c1bb9fd41b 100644 --- a/Analysis/GRSimpleVals.cpp +++ b/Analysis/GRSimpleVals.cpp @@ -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(); |