diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-07-11 01:58:08 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-07-11 01:58:08 +0000 |
| commit | 0052744cc7165970731197959905e574967bd9f7 (patch) | |
| tree | 365d93d66006454f66c008694225e59c6db3d8c3 /clang/lib | |
| parent | b9d01aa29e5d0aa433c2fc62ace709fe69c45ceb (diff) | |
| download | bcm5719-llvm-0052744cc7165970731197959905e574967bd9f7.tar.gz bcm5719-llvm-0052744cc7165970731197959905e574967bd9f7.zip | |
[analyzer] Partial revert of https://reviews.llvm.org/D49050
llvm-svn: 336755
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp b/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp index 914ba86850e..126e57645a4 100644 --- a/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp @@ -56,12 +56,6 @@ class DynamicTypePropagation: check::PostStmt<CXXNewExpr>, check::PreObjCMessage, check::PostObjCMessage > { -private: - /// This value is set to true, when the Generics checker is turned on. - bool CheckGenerics; -public: - DynamicTypePropagation(bool CheckGenerics) - : CheckGenerics(CheckGenerics) {} const ObjCObjectType *getObjectTypeForAllocAndNew(const ObjCMessageExpr *MsgE, CheckerContext &C) const; @@ -113,6 +107,9 @@ public: void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; + + /// This value is set to true, when the Generics checker is turned on. + DefaultBool CheckGenerics; }; } // end anonymous namespace @@ -998,9 +995,11 @@ DynamicTypePropagation::GenericsBugVisitor::VisitNode(const ExplodedNode *N, /// Register checkers. void ento::registerObjCGenericsChecker(CheckerManager &mgr) { - mgr.registerChecker<DynamicTypePropagation>(/*CheckGenerics=*/true); + DynamicTypePropagation *checker = + mgr.registerChecker<DynamicTypePropagation>(); + checker->CheckGenerics = true; } void ento::registerDynamicTypePropagation(CheckerManager &mgr) { - mgr.registerChecker<DynamicTypePropagation>(/*CheckGenerics=*/false); + mgr.registerChecker<DynamicTypePropagation>(); } |

