OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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