Searched refs:TestAfterDivZeroChecker (Results 1 – 5 of 5) sorted by relevance
77 class TestAfterDivZeroChecker class134 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { in isZero()144 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const { in setDivZeroMap()155 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap()165 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug()181 void TestAfterDivZeroChecker::checkEndFunction(const ReturnStmt *, in checkEndFunction()200 void TestAfterDivZeroChecker::checkPreStmt(const BinaryOperator *B, in checkPreStmt()212 void TestAfterDivZeroChecker::checkBranchCondition(const Stmt *Condition, in checkBranchCondition()261 mgr.registerChecker<TestAfterDivZeroChecker>(); in registerTestAfterDivZeroChecker()
109 TestAfterDivZeroChecker.cpp
117 "TestAfterDivZeroChecker.cpp",
120 TestAfterDivZeroChecker.cpp \
275 def TestAfterDivZeroChecker : Checker<"TestAfterDivZero">,