Searched refs:DSV (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ | ||
| H A D | TestAfterDivZeroChecker.cpp | 139 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); local 141 if (!DSV) 145 return !CM.assume(C.getState(), *DSV, true); |
Completed in 69 milliseconds