Lines Matching refs:Pos
67 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
68 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
69 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
197 const auto *Pos = getIteratorPosition(State, Val);
198 if (Pos && isPastTheEnd(State, *Pos)) {
282 const auto *Pos = getIteratorPosition(C.getState(), Val);
283 assert(Pos && "Iterator without known position cannot be out-of-range.");
286 R->markInteresting(Pos->getContainer());
303 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {
304 const auto *Cont = Pos.getContainer();
311 if (isEqual(State, Pos.getOffset(), End)) {
319 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) {
320 const auto *Cont = Pos.getContainer();
327 if (isLess(State, Pos.getOffset(), Beg)) {
335 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {
336 const auto *Cont = Pos.getContainer();
343 if (isGreater(State, Pos.getOffset(), End)) {