Searched refs:TestAfterDivZeroChecker (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DTestAfterDivZeroChecker.cpp1 //== TestAfterDivZeroChecker.cpp - Test after division by zero checker --*--==//
10 // This defines TestAfterDivZeroChecker, a builtin check that performs checks
79 class TestAfterDivZeroChecker class in namespace:__anon18241
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 {
184 void TestAfterDivZeroChecker::checkEndFunction(CheckerContext &C) const {
202 void TestAfterDivZeroChecker::checkPreStmt(const BinaryOperator *B,
214 void TestAfterDivZeroChecker
[all...]
H A DAndroid.mk73 TestAfterDivZeroChecker.cpp \

Completed in 149 milliseconds