205     if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) {  in checkPostCall()  local
206       State = setIteratorPosition(State, Call.getReturnValue(), *Pos);  in checkPostCall()
225       if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {  in checkPostCall()  local
227                           Pos->getContainer());  in checkPostCall()
237   const auto *Pos = getIteratorPosition(State, Val);  in checkBind()  local
238   if (Pos) {  in checkBind()
239     State = setIteratorPosition(State, Loc, *Pos);  in checkBind()
295   const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr()));  in checkPostStmt()  local
296   if (!Pos)  in checkPostStmt()
298   State = setIteratorPosition(State, C.getSVal(MTE), *Pos);  in checkPostStmt()
306   for (const IteratorPosition &Pos : llvm::make_second_range(RegionMap)) {  in checkLiveSymbols()  local
307     for (SymbolRef Sym : Pos.getOffset()->symbols())  in checkLiveSymbols()
313   for (const IteratorPosition &Pos : llvm::make_second_range(SymbolMap)) {  in checkLiveSymbols()  local
314     for (SymbolRef Sym : Pos.getOffset()->symbols())  in checkLiveSymbols()
540   const auto *Pos = getIteratorPosition(State, Iter);  in handleIncrement()  local
541   if (!Pos)  in handleIncrement()
555   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleIncrement()
566   const auto *Pos = getIteratorPosition(State, Iter);  in handleDecrement()  local
567   if (!Pos)  in handleDecrement()
581   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleDecrement()
593   const auto *Pos = getIteratorPosition(State, Iterator);  in handleRandomIncrOrDecr()  local
594   if (!Pos)  in handleRandomIncrOrDecr()
619     assignToContainer(C, CE, TgtVal, Pos->getContainer());  in handleRandomIncrOrDecr()
740       const auto Pos = Sym.second;  in printState()  local
741       Out << (Pos.isValid() ? "Valid" : "Invalid") << " ; Container == ";  in printState()
742       Pos.getContainer()->dumpToStream(Out);  in printState()
744       Pos.getOffset()->dumpToStream(Out);  in printState()
753       const auto Pos = Reg.second;  in printState()  local
754       Out << (Pos.isValid() ? "Valid" : "Invalid") << " ; Container == ";  in printState()
755       Pos.getContainer()->dumpToStream(Out);  in printState()
757       Pos.getOffset()->dumpToStream(Out);  in printState()