550   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()  local
551   assert(NewPos &&  in handleIncrement()
554   State = setIteratorPosition(State, Iter, *NewPos);  in handleIncrement()
555   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleIncrement()
576   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()  local
577   assert(NewPos &&  in handleDecrement()
580   State = setIteratorPosition(State, Iter, *NewPos);  in handleDecrement()
581   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleDecrement()
612     const auto *NewPos = getIteratorPosition(AdvancedState, Iterator);  in handleRandomIncrOrDecr()  local
613     assert(NewPos &&  in handleRandomIncrOrDecr()
616     State = setIteratorPosition(State, TgtVal, *NewPos);  in handleRandomIncrOrDecr()
656     const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);  in handlePtrIncrOrDecr()  local
657     assert(NewPos &&  in handlePtrIncrOrDecr()
660     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()