StaticAnalyzer/Checkers/IteratorModeling.cpp

554   const auto *NewPos = getIteratorPosition(NewState, Iter);
555   assert(NewPos &&
558   State = setIteratorPosition(State, Iter, *NewPos);
559   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
580   const auto *NewPos = getIteratorPosition(NewState, Iter);
581   assert(NewPos &&
584   State = setIteratorPosition(State, Iter, *NewPos);
585   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
617     const auto *NewPos = getIteratorPosition(AdvancedState, Iterator);
618     assert(NewPos &&
621     State = setIteratorPosition(State, TgtVal, *NewPos);
661     const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);
662     assert(NewPos &&
665     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);