Searched refs:DSV (Results 1 – 3 of 3) sorted by relevance
136 std::optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero() local138 if (!DSV) in isZero()142 return !CM.assume(C.getState(), *DSV, true); in isZero()
1144 unsigned DSV = distance(DefS, DefV, RPO, M); in pruneUsesTooFar() local1145 if (DSV < Cutoff) { in pruneUsesTooFar()
1230 - -DSV flag is now -DSYS_V for System V compilation.