Searched refs:TaintedD (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ | ||
| H A D | DivZeroChecker.cpp | 79 bool TaintedD = C.getState()->isTainted(*DV); local 80 if ((stateNotZero && stateZero && TaintedD)) { |
Completed in 51 milliseconds