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

/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp79 bool TaintedD = C.getState()->isTainted(*DV); local
80 if ((stateNotZero && stateZero && TaintedD)) {

Completed in 54 milliseconds