67 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
68 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
69 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
199   const auto *Pos = getIteratorPosition(State, Val);  in verifyDereference()  local
200   if (Pos && isPastTheEnd(State, *Pos)) {  in verifyDereference()
284   const auto *Pos = getIteratorPosition(C.getState(), Val);  in reportBug()  local
285   assert(Pos && "Iterator without known position cannot be out-of-range.");  in reportBug()
288   R->markInteresting(Pos->getContainer());  in reportBug()
305 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isPastTheEnd()  argument
306   const auto *Cont = Pos.getContainer();  in isPastTheEnd()
313     if (isEqual(State, Pos.getOffset(), End)) {  in isPastTheEnd()
321 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) {  in isAheadOfRange()  argument
322   const auto *Cont = Pos.getContainer();  in isAheadOfRange()
329     if (isLess(State, Pos.getOffset(), Beg)) {  in isAheadOfRange()
337 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isBehindPastTheEnd()  argument
338   const auto *Cont = Pos.getContainer();  in isBehindPastTheEnd()
345     if (isGreater(State, Pos.getOffset(), End)) {  in isBehindPastTheEnd()