Searched refs:DivZeroChecker (Results 1 – 3 of 3) sorted by relevance
28 class DivZeroChecker : public Checker< check::PreStmt<BinaryOperator> > { class49 void DivZeroChecker::reportBug(StringRef Msg, ProgramStateRef StateZero, in reportBug()58 void DivZeroChecker::reportTaintBug( in reportTaintBug()70 void DivZeroChecker::checkPreStmt(const BinaryOperator *B, in checkPreStmt()116 mgr.registerChecker<DivZeroChecker>(); in registerDivZeroChecker()
232 def DivZeroChecker : Checker<"DivideZero">,
685 SRCS_FUL+= StaticAnalyzer/Checkers/DivZeroChecker.cpp