diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-07-19 01:31:21 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-07-19 01:31:21 +0000 |
| commit | 84f65e0692465aebcac5c31744f45ff386dc71e1 (patch) | |
| tree | b66366f2c9375b414b0d4b568922fe5c243bfebe /clang/lib/Checker/AnalysisConsumer.cpp | |
| parent | e38764c66cab1db9330435fc0b06c5a7474e4f01 (diff) | |
| download | bcm5719-llvm-84f65e0692465aebcac5c31744f45ff386dc71e1.tar.gz bcm5719-llvm-84f65e0692465aebcac5c31744f45ff386dc71e1.zip | |
Reapply r108617.
llvm-svn: 108668
Diffstat (limited to 'clang/lib/Checker/AnalysisConsumer.cpp')
| -rw-r--r-- | clang/lib/Checker/AnalysisConsumer.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/Checker/AnalysisConsumer.cpp b/clang/lib/Checker/AnalysisConsumer.cpp index 6c7a294b1d8..bbeca312f09 100644 --- a/clang/lib/Checker/AnalysisConsumer.cpp +++ b/clang/lib/Checker/AnalysisConsumer.cpp @@ -173,6 +173,7 @@ public: Mgr.reset(new AnalysisManager(*Ctx, PP.getDiagnostics(), PP.getLangOptions(), PD, CreateStoreMgr, CreateConstraintMgr, + /* Indexer */ 0, Opts.MaxNodes, Opts.MaxLoop, Opts.VisualizeEGDot, Opts.VisualizeEGUbi, Opts.PurgeDead, Opts.EagerlyAssume, @@ -349,7 +350,7 @@ static void ActionGRExprEngine(AnalysisConsumer &C, AnalysisManager& mgr, } // Execute the worklist algorithm. - Eng.ExecuteWorkList(mgr.getStackFrame(D), mgr.getMaxNodes()); + Eng.ExecuteWorkList(mgr.getStackFrame(D, 0), mgr.getMaxNodes()); // Release the auditor (if any) so that it doesn't monitor the graph // created BugReporter. |
