Lines Matching defs:Pos
71 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
72 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
73 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
198 const auto *Pos = getIteratorPosition(State, Val);
199 if (Pos && isPastTheEnd(State, *Pos)) {
283 const auto *Pos = getIteratorPosition(C.getState(), Val);
284 assert(Pos && "Iterator without known position cannot be out-of-range.");
287 R->markInteresting(Pos->getContainer());
304 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {
305 const auto *Cont = Pos.getContainer();
312 if (isEqual(State, Pos.getOffset(), End)) {
320 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) {
321 const auto *Cont = Pos.getContainer();
328 if (isLess(State, Pos.getOffset(), Beg)) {
336 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {
337 const auto *Cont = Pos.getContainer();
344 if (isGreater(State, Pos.getOffset(), End)) {