diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2011-09-02 05:55:19 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2011-09-02 05:55:19 +0000 |
| commit | c49ec53e2910f51d5f548bcf7ef117d51e944d50 (patch) | |
| tree | c1799bb4e4c2e2f5901e2527c7c6d2cd47e7d70d /clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 94ce535647897412ad4d70c52e4a3d02ef520514 (diff) | |
| download | bcm5719-llvm-c49ec53e2910f51d5f548bcf7ef117d51e944d50.tar.gz bcm5719-llvm-c49ec53e2910f51d5f548bcf7ef117d51e944d50.zip | |
[analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine.
Remove TransferFuncs from ExprEngine and AnalysisConsumer.
Demote RetainReleaseChecker to a regular checker, and give it the name osx.cocoa.RetainCount (class name change coming shortly). Update tests accordingly.
llvm-svn: 138998
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index 9dd28845786..8b03ae223a4 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -50,7 +50,7 @@ static inline Selector GetNullarySelector(const char* name, ASTContext &Ctx) { // Engine construction and deletion. //===----------------------------------------------------------------------===// -ExprEngine::ExprEngine(AnalysisManager &mgr, TransferFuncs *tf) +ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled) : AMgr(mgr), Engine(*this), G(Engine.getGraph()), @@ -63,10 +63,7 @@ ExprEngine::ExprEngine(AnalysisManager &mgr, TransferFuncs *tf) EntryNode(NULL), currentStmt(NULL), NSExceptionII(NULL), NSExceptionInstanceRaiseSelectors(NULL), RaiseSel(GetNullarySelector("raise", getContext())), - BR(mgr, *this), TF(tf) { - - // FIXME: Eventually remove the TF object entirely. - TF->RegisterChecks(*this); + BR(mgr, *this), ObjCGCEnabled(gcEnabled) { if (mgr.shouldEagerlyTrimExplodedGraph()) { // Enable eager node reclaimation when constructing the ExplodedGraph. |
