diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-13 06:44:31 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-13 06:44:31 +0000 |
| commit | 7d4bc9a1064058a1f4b106ac79552920e602fbd9 (patch) | |
| tree | f4beb0ae148588f46c9a3c73a883ea0c54723c67 /clang/lib/Frontend/AnalysisConsumer.cpp | |
| parent | 84821e7143fc6175cf2036b9ca3d0ad6924820f8 (diff) | |
| download | bcm5719-llvm-7d4bc9a1064058a1f4b106ac79552920e602fbd9.tar.gz bcm5719-llvm-7d4bc9a1064058a1f4b106ac79552920e602fbd9.zip | |
Add a cc1 option to specify the max number of nodes the analyzer can explore.
llvm-svn: 101120
Diffstat (limited to 'clang/lib/Frontend/AnalysisConsumer.cpp')
| -rw-r--r-- | clang/lib/Frontend/AnalysisConsumer.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/Frontend/AnalysisConsumer.cpp b/clang/lib/Frontend/AnalysisConsumer.cpp index d764fd07896..2ca833b6677 100644 --- a/clang/lib/Frontend/AnalysisConsumer.cpp +++ b/clang/lib/Frontend/AnalysisConsumer.cpp @@ -176,6 +176,7 @@ public: Mgr.reset(new AnalysisManager(*Ctx, PP.getDiagnostics(), PP.getLangOptions(), PD, CreateStoreMgr, CreateConstraintMgr, + Opts.MaxNodes, Opts.VisualizeEGDot, Opts.VisualizeEGUbi, Opts.PurgeDead, Opts.EagerlyAssume, Opts.TrimGraph)); @@ -358,7 +359,7 @@ static void ActionGRExprEngine(AnalysisConsumer &C, AnalysisManager& mgr, } // Execute the worklist algorithm. - Eng.ExecuteWorkList(mgr.getStackFrame(D)); + Eng.ExecuteWorkList(mgr.getStackFrame(D), mgr.getMaxNodes()); // Release the auditor (if any) so that it doesn't monitor the graph // created BugReporter. |
