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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48286 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/Analysis/GRSimpleVals.cpp b/Analysis/GRSimpleVals.cpp
index 16cd674..75ca27e 100644
--- a/Analysis/GRSimpleVals.cpp
+++ b/Analysis/GRSimpleVals.cpp
@@ -101,7 +101,7 @@
CheckerState->setTransferFunctions(GRSV);
// Execute the worklist algorithm.
- Eng.ExecuteWorkList(50000);
+ Eng.ExecuteWorkList(100000);
SourceManager& SrcMgr = Ctx.getSourceManager();