Lines Matching refs:Mgr
204 void ento::registerVirtualCallModeling(CheckerManager &Mgr) { in registerVirtualCallModeling() argument
205 Mgr.registerChecker<VirtualCallChecker>(); in registerVirtualCallModeling()
208 void ento::registerPureVirtualCallChecker(CheckerManager &Mgr) { in registerPureVirtualCallChecker() argument
209 auto *Chk = Mgr.getChecker<VirtualCallChecker>(); in registerPureVirtualCallChecker()
210 Chk->BT_Pure = std::make_unique<BugType>(Mgr.getCurrentCheckerName(), in registerPureVirtualCallChecker()
215 void ento::registerVirtualCallChecker(CheckerManager &Mgr) { in registerVirtualCallChecker() argument
216 auto *Chk = Mgr.getChecker<VirtualCallChecker>(); in registerVirtualCallChecker()
217 if (!Mgr.getAnalyzerOptions().getCheckerBooleanOption( in registerVirtualCallChecker()
218 Mgr.getCurrentCheckerName(), "PureOnly")) { in registerVirtualCallChecker()
220 Mgr.getCurrentCheckerName(), "Unexpected loss of virtual dispatch", in registerVirtualCallChecker()
222 Chk->ShowFixIts = Mgr.getAnalyzerOptions().getCheckerBooleanOption( in registerVirtualCallChecker()
223 Mgr.getCurrentCheckerName(), "ShowFixIts"); in registerVirtualCallChecker()