HomeSort by relevance Sort by last modified time
    Searched refs:TestAfterDivZeroChecker (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
TestAfterDivZeroChecker.cpp 1 //== TestAfterDivZeroChecker.cpp - Test after division by zero checker --*--==//
10 // This defines TestAfterDivZeroChecker, a builtin check that performs checks
79 class TestAfterDivZeroChecker
138 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {
148 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {
159 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var,
169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {
185 void TestAfterDivZeroChecker::checkEndFunction(CheckerContext &C) const {
203 void TestAfterDivZeroChecker::checkPreStmt(const BinaryOperator *B,
215 void TestAfterDivZeroChecker::checkBranchCondition(const Stmt *Condition
    [all...]
Android.mk 73 TestAfterDivZeroChecker.cpp \

Completed in 370 milliseconds