Searched defs:DSV (Results 1 – 2 of 2) sorted by relevance
135 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero() local
1162 unsigned DSV = distance(DefS, DefV, RPO, M); in pruneUsesTooFar() local