Lines Matching defs:NewPos

551   const auto *NewPos = getIteratorPosition(NewState, Iter);
552   assert(NewPos &&
555   State = setIteratorPosition(State, Iter, *NewPos);
556   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
577   const auto *NewPos = getIteratorPosition(NewState, Iter);
578   assert(NewPos &&
581   State = setIteratorPosition(State, Iter, *NewPos);
582   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
613     const auto *NewPos = getIteratorPosition(AdvancedState, Iterator);
614     assert(NewPos &&
617     State = setIteratorPosition(State, TgtVal, *NewPos);
657     const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);
658     assert(NewPos &&
661     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);