Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DTestAfterDivZeroChecker.cpp139 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero() local
141 if (!DSV) in isZero()
145 return !CM.assume(C.getState(), *DSV, true); in isZero()
/external/llvm/lib/Target/Hexagon/
DHexagonGenInsert.cpp1130 unsigned DSV = distance(DefS, DefV, RPO, M); in pruneUsesTooFar() local
1131 if (DSV < Cutoff) { in pruneUsesTooFar()