Searched refs:TestAfterDivZeroChecker (Results 1 – 3 of 3) sorted by relevance
75 class TestAfterDivZeroChecker class132 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { in isZero()142 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const { in setDivZeroMap()153 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap()163 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug()177 void TestAfterDivZeroChecker::checkEndFunction(const ReturnStmt *, in checkEndFunction()193 void TestAfterDivZeroChecker::checkPreStmt(const BinaryOperator *B, in checkPreStmt()205 void TestAfterDivZeroChecker::checkBranchCondition(const Stmt *Condition, in checkBranchCondition()254 mgr.registerChecker<TestAfterDivZeroChecker>(); in registerTestAfterDivZeroChecker()
292 def TestAfterDivZeroChecker : Checker<"TestAfterDivZero">,
780 SRCS_FUL+= StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp