206     if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) {  in checkPostCall()  local
207       State = setIteratorPosition(State, Call.getReturnValue(), *Pos);  in checkPostCall()
226       if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {  in checkPostCall()  local
228                           Pos->getContainer());  in checkPostCall()
238   const auto *Pos = getIteratorPosition(State, Val);  in checkBind()  local
239   if (Pos) {  in checkBind()
240     State = setIteratorPosition(State, Loc, *Pos);  in checkBind()
296   const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr()));  in checkPostStmt()  local
297   if (!Pos)  in checkPostStmt()
299   State = setIteratorPosition(State, C.getSVal(MTE), *Pos);  in checkPostStmt()
545   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()  local
546   if (!Pos)  in handleIncrement()
560   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleIncrement()
571   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()  local
572   if (!Pos)  in handleDecrement()
586   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleDecrement()
599   const auto *Pos = getIteratorPosition(State, Iterator);  in handleRandomIncrOrDecr()  local
600   if (!Pos)  in handleRandomIncrOrDecr()
625     assignToContainer(C, CE, TgtVal, Pos->getContainer());  in handleRandomIncrOrDecr()
746       const auto Pos = Sym.second;  in printState()  local
747       Out << (Pos.isValid() ? "Valid" : "Invalid") << " ; Container == ";  in printState()
748       Pos.getContainer()->dumpToStream(Out);  in printState()
750       Pos.getOffset()->dumpToStream(Out);  in printState()
759       const auto Pos = Reg.second;  in printState()  local
760       Out << (Pos.isValid() ? "Valid" : "Invalid") << " ; Container == ";  in printState()
761       Pos.getContainer()->dumpToStream(Out);  in printState()
763       Pos.getOffset()->dumpToStream(Out);  in printState()