Searched refs:DSV (Results 1 – 4 of 4) sorted by relevance
133 std::optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero() local135 if (!DSV) in isZero()139 return !CM.assume(C.getState(), *DSV, true); in isZero()
837 @code{DSV.SU.SE} only has direct cross-realm set up with @code{SU.SE}.838 The goal is to allow principals in the @code{DSV.SU.SE} or849 DSV.SU.SE = @{857 authentication from clients in @code{DSV.SU.SE} transiting through897 instance, a client in @code{DSV.SU.SE} had a @code{[capaths]}900 as far as @code{SU.SE} based on the @code{DSV.SU.SE} entry in
1140 unsigned DSV = distance(DefS, DefV, RPO, M); in pruneUsesTooFar() local1141 if (DSV < Cutoff) { in pruneUsesTooFar()
1230 - -DSV flag is now -DSYS_V for System V compilation.