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()
458   const auto *LPos = getIteratorPosition(State, LVal);  in handleComparison()
459   const auto *RPos = getIteratorPosition(State, RVal);  in handleComparison()
482     LPos = getIteratorPosition(State, LVal);  in handleComparison()
486     RPos = getIteratorPosition(State, RVal);  in handleComparison()
545   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()
555   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
571   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()
581   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
599   const auto *Pos = getIteratorPosition(State, Iterator);  in handleRandomIncrOrDecr()
618     const auto *NewPos = getIteratorPosition(AdvancedState, Iterator);  in handleRandomIncrOrDecr()
644   const IteratorPosition *OldPos = getIteratorPosition(State, OldVal);  in handlePtrIncrOrDecr()
662     const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);  in handlePtrIncrOrDecr()
707   const auto *PosAfter = getIteratorPosition(StateAfter, Iter);  in noChangeInAdvance()
718   const auto *PosBefore = getIteratorPosition(StateBefore, Iter);  in noChangeInAdvance()