Searched refs:DivideZeroChecker (Results 1 – 1 of 1) sorted by relevance
37 CheckerFrontendWithBugType DivideZeroChecker{"Division by zero"}; member in __anon2c18a2660111::DivZeroChecker57 if (!DivideZeroChecker.isEnabled()) in reportBug()61 std::make_unique<PathSensitiveBugReport>(DivideZeroChecker, Msg, N); in reportBug()128 Mgr.getChecker<DivZeroChecker>()->DivideZeroChecker.enable(Mgr); in registerDivZeroChecker()