Lines Matching defs:Pos

206     if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) {
207       State = setIteratorPosition(State, Call.getReturnValue(), *Pos);
226       if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {
228                           Pos->getContainer());
238   const auto *Pos = getIteratorPosition(State, Val);
239   if (Pos) {
240     State = setIteratorPosition(State, Loc, *Pos);
296   const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr()));
297   if (!Pos)
299   State = setIteratorPosition(State, C.getSVal(MTE), *Pos);
307   for (const IteratorPosition &Pos : llvm::make_second_range(RegionMap)) {
308     for (SymbolRef Sym : Pos.getOffset()->symbols())
314   for (const IteratorPosition &Pos : llvm::make_second_range(SymbolMap)) {
315     for (SymbolRef Sym : Pos.getOffset()->symbols())
541   const auto *Pos = getIteratorPosition(State, Iter);
542   if (!Pos)
556   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
567   const auto *Pos = getIteratorPosition(State, Iter);
568   if (!Pos)
582   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
594   const auto *Pos = getIteratorPosition(State, Iterator);
595   if (!Pos)
620     assignToContainer(C, CE, TgtVal, Pos->getContainer());
741       const auto Pos = Sym.second;
742       Out << (Pos.isValid() ? "Valid" : "Invalid") << " ; Container == ";
743       Pos.getContainer()->dumpToStream(Out);
745       Pos.getOffset()->dumpToStream(Out);
754       const auto Pos = Reg.second;
755       Out << (Pos.isValid() ? "Valid" : "Invalid") << " ; Container == ";
756       Pos.getContainer()->dumpToStream(Out);
758       Pos.getOffset()->dumpToStream(Out);