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;
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
/// 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>();
}