Lines Matching refs:NewPos
524 const auto *NewPos = getIteratorPosition(NewState, Iter);
525 assert(NewPos &&
528 State = setIteratorPosition(State, Iter, *NewPos);
529 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
550 const auto *NewPos = getIteratorPosition(NewState, Iter);
551 assert(NewPos &&
554 State = setIteratorPosition(State, Iter, *NewPos);
555 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
587 const auto *NewPos = getIteratorPosition(AdvancedState, LHS);
588 assert(NewPos &&
591 State = setIteratorPosition(State, TgtVal, *NewPos);
630 const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);
631 assert(NewPos &&
634 ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);