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