summaryrefslogtreecommitdiffstats
path: root/clang/lib
diff options
context:
space:
mode:
authorGeorge Karpenkov <ekarpenkov@apple.com>2018-07-11 01:58:08 +0000
committerGeorge Karpenkov <ekarpenkov@apple.com>2018-07-11 01:58:08 +0000
commit0052744cc7165970731197959905e574967bd9f7 (patch)
tree365d93d66006454f66c008694225e59c6db3d8c3 /clang/lib
parentb9d01aa29e5d0aa433c2fc62ace709fe69c45ceb (diff)
downloadbcm5719-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.cpp15
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>();
}
OpenPOWER on IntegriCloud