Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS
from the sources, and to try and generate only a single path from sources
to roots.
llvm-svn: 48286
diff --git a/clang/Analysis/GRSimpleVals.cpp b/clang/Analysis/GRSimpleVals.cpp
index 16cd674..75ca27e 100644
--- a/clang/Analysis/GRSimpleVals.cpp
+++ b/clang/Analysis/GRSimpleVals.cpp
@@ -101,7 +101,7 @@
CheckerState->setTransferFunctions(GRSV);
// Execute the worklist algorithm.
- Eng.ExecuteWorkList(50000);
+ Eng.ExecuteWorkList(100000);
SourceManager& SrcMgr = Ctx.getSourceManager();