diff options
| author | Anna Zaks <ganna@apple.com> | 2012-08-30 23:42:02 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-08-30 23:42:02 +0000 |
| commit | a8017eca1afafbeb3705d53efebdc783b1bd9e14 (patch) | |
| tree | b7fabdb8b730f20cadac686e533de60765e40a20 /clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | cc61f87cf730fec6785dc492fb6c71bc17c8f56b (diff) | |
| download | bcm5719-llvm-a8017eca1afafbeb3705d53efebdc783b1bd9e14.tar.gz bcm5719-llvm-a8017eca1afafbeb3705d53efebdc783b1bd9e14.zip | |
[analyzer] Refactor the logic that determines if a functions should be
reanalyzed.
The policy on what to reanalyze should be in AnalysisConsumer with the
rest of visitation order logic.
There is no reason why ExprEngine needs to pass the Visited set to
CoreEngine, it can populate it itself.
llvm-svn: 162957
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index 15f47c39ae5..4225c67dc70 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -55,11 +55,11 @@ STATISTIC(NumTimesRetriedWithoutInlining, //===----------------------------------------------------------------------===// ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled, - SetOfConstDecls *VisitedCallees, + SetOfConstDecls *VisitedCalleesIn, FunctionSummariesTy *FS) : AMgr(mgr), AnalysisDeclContexts(mgr.getAnalysisDeclContextManager()), - Engine(*this, VisitedCallees, FS), + Engine(*this, FS), G(Engine.getGraph()), StateMgr(getContext(), mgr.getStoreManagerCreator(), mgr.getConstraintManagerCreator(), G.getAllocator(), @@ -70,7 +70,8 @@ ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled, currStmt(NULL), currStmtIdx(0), currBldrCtx(0), NSExceptionII(NULL), NSExceptionInstanceRaiseSelectors(NULL), RaiseSel(GetNullarySelector("raise", getContext())), - ObjCGCEnabled(gcEnabled), BR(mgr, *this) + ObjCGCEnabled(gcEnabled), BR(mgr, *this), + VisitedCallees(VisitedCalleesIn) { if (mgr.options.eagerlyTrimExplodedGraph) { // Enable eager node reclaimation when constructing the ExplodedGraph. |
