Home
last modified time | relevance | path

Searched refs:TaintedD (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DDivZeroChecker.cpp79 bool TaintedD = C.getState()->isTainted(*DV); in checkPreStmt() local
80 if ((stateNotZero && stateZero && TaintedD)) { in checkPreStmt()
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DDivZeroChecker.cpp88 bool TaintedD = isTainted(C.getState(), *DV); in checkPreStmt() local
89 if ((stateNotZero && stateZero && TaintedD)) { in checkPreStmt()