201   if (getIteratorPosition(State, Call.getReturnValue()))  in checkPostCall()
206     if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) {  in checkPostCall()
226       if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {  in checkPostCall()
238   const auto *Pos = getIteratorPosition(State, Val);  in checkBind()
243     const auto *OldPos = getIteratorPosition(State, Loc);  in checkBind()
296   const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr()));  in checkPostStmt()
454   const auto *LPos = getIteratorPosition(State, LVal);  in handleComparison()
455   const auto *RPos = getIteratorPosition(State, RVal);  in handleComparison()
478     LPos = getIteratorPosition(State, LVal);  in handleComparison()
482     RPos = getIteratorPosition(State, RVal);  in handleComparison()
541   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()
551   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
567   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()
577   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
594   const auto *Pos = getIteratorPosition(State, Iterator);  in handleRandomIncrOrDecr()
613     const auto *NewPos = getIteratorPosition(AdvancedState, Iterator);  in handleRandomIncrOrDecr()
639   const IteratorPosition *OldPos = getIteratorPosition(State, OldVal);  in handlePtrIncrOrDecr()
657     const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);  in handlePtrIncrOrDecr()
702   const auto *PosAfter = getIteratorPosition(StateAfter, Iter);  in noChangeInAdvance()
713   const auto *PosBefore = getIteratorPosition(StateBefore, Iter);  in noChangeInAdvance()