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()
457   const auto *LPos = getIteratorPosition(State, LVal);  in handleComparison()
458   const auto *RPos = getIteratorPosition(State, RVal);  in handleComparison()
481     LPos = getIteratorPosition(State, LVal);  in handleComparison()
485     RPos = getIteratorPosition(State, RVal);  in handleComparison()
544   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()
554   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
570   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()
580   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
598   const auto *Pos = getIteratorPosition(State, Iterator);  in handleRandomIncrOrDecr()
617     const auto *NewPos = getIteratorPosition(AdvancedState, Iterator);  in handleRandomIncrOrDecr()
643   const IteratorPosition *OldPos = getIteratorPosition(State, OldVal);  in handlePtrIncrOrDecr()
661     const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);  in handlePtrIncrOrDecr()
706   const auto *PosAfter = getIteratorPosition(StateAfter, Iter);  in noChangeInAdvance()
717   const auto *PosBefore = getIteratorPosition(StateBefore, Iter);  in noChangeInAdvance()