Searched refs:TestAfterDivZeroChecker (Results 1 – 3 of 3) sorted by relevance
79 class TestAfterDivZeroChecker class138 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { in isZero()148 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const { in setDivZeroMap()159 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap()169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug()185 void TestAfterDivZeroChecker::checkEndFunction(CheckerContext &C) const { in checkEndFunction()203 void TestAfterDivZeroChecker::checkPreStmt(const BinaryOperator *B, in checkPreStmt()215 void TestAfterDivZeroChecker::checkBranchCondition(const Stmt *Condition, in checkBranchCondition()264 mgr.registerChecker<TestAfterDivZeroChecker>(); in registerTestAfterDivZeroChecker()
70 TestAfterDivZeroChecker.cpp
158 def TestAfterDivZeroChecker : Checker<"TestAfterDivZero">,160 DescFile<"TestAfterDivZeroChecker.cpp">;