Lines Matching refs:NewState
595 auto NewState =
598 assert(NewState &&
601 const auto *NewPos = getIteratorPosition(NewState, Iter);
621 auto NewState =
624 assert(NewState &&
627 const auto *NewPos = getIteratorPosition(NewState, Iter);
658 auto NewState =
660 if (NewState) {
661 const auto *NewPos = getIteratorPosition(NewState, LHS);
665 State = setIteratorPosition(NewState, TgtVal, *NewPos);
1400 ProgramStateRef NewState = State;
1407 NewState = NewState->assume(*DV, true);
1408 if (!NewState)
1417 NewState = NewState->assume(*DV, true);
1418 if (!NewState)
1422 return NewState;
1441 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);
1442 if (!NewState)
1451 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);
1454 return NewState;