Searched refs:V2_untested (Results 1 – 1 of 1) sorted by relevance
1099 SVal V2_untested = state->getSVal(Ex, LCtx); in VisitIncrementDecrementOperator() local1102 if (V2_untested.isUnknownOrUndef()) { in VisitIncrementDecrementOperator()1103 state = state->BindExpr(U, LCtx, V2_untested); in VisitIncrementDecrementOperator()1108 evalStore(Dst3, U, Ex, *I, state, loc, V2_untested); in VisitIncrementDecrementOperator()1113 DefinedSVal V2 = V2_untested.castAs<DefinedSVal>(); in VisitIncrementDecrementOperator()