Searched refs:DSV (Results 1 – 2 of 2) sorted by relevance
139 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero() local141 if (!DSV) in isZero()145 return !CM.assume(C.getState(), *DSV, true); in isZero()
1130 unsigned DSV = distance(DefS, DefV, RPO, M); in pruneUsesTooFar() local1131 if (DSV < Cutoff) { in pruneUsesTooFar()