200   if (getIteratorPosition(State, Call.getReturnValue()))  in checkPostCall()
205     if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) {  in checkPostCall()
225       if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {  in checkPostCall()
237   const auto *Pos = getIteratorPosition(State, Val);  in checkBind()
242     const auto *OldPos = getIteratorPosition(State, Loc);  in checkBind()
295   const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr()));  in checkPostStmt()
453   const auto *LPos = getIteratorPosition(State, LVal);  in handleComparison()
454   const auto *RPos = getIteratorPosition(State, RVal);  in handleComparison()
477     LPos = getIteratorPosition(State, LVal);  in handleComparison()
481     RPos = getIteratorPosition(State, RVal);  in handleComparison()
540   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()
550   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
566   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()
576   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
593   const auto *Pos = getIteratorPosition(State, Iterator);  in handleRandomIncrOrDecr()
612     const auto *NewPos = getIteratorPosition(AdvancedState, Iterator);  in handleRandomIncrOrDecr()
638   const IteratorPosition *OldPos = getIteratorPosition(State, OldVal);  in handlePtrIncrOrDecr()
656     const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);  in handlePtrIncrOrDecr()
701   const auto *PosAfter = getIteratorPosition(StateAfter, Iter);  in noChangeInAdvance()
712   const auto *PosBefore = getIteratorPosition(StateBefore, Iter);  in noChangeInAdvance()