66 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
67 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
68 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
193   const auto *Pos = getIteratorPosition(State, Val);  in verifyDereference()  local
194   if (Pos && isPastTheEnd(State, *Pos)) {  in verifyDereference()
278   const auto *Pos = getIteratorPosition(C.getState(), Val);  in reportBug()  local
279   assert(Pos && "Iterator without known position cannot be out-of-range.");  in reportBug()
282   R->markInteresting(Pos->getContainer());  in reportBug()
299 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isPastTheEnd()  argument
300   const auto *Cont = Pos.getContainer();  in isPastTheEnd()
307     if (isEqual(State, Pos.getOffset(), End)) {  in isPastTheEnd()
315 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) {  in isAheadOfRange()  argument
316   const auto *Cont = Pos.getContainer();  in isAheadOfRange()
323     if (isLess(State, Pos.getOffset(), Beg)) {  in isAheadOfRange()
331 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isBehindPastTheEnd()  argument
332   const auto *Cont = Pos.getContainer();  in isBehindPastTheEnd()
339     if (isGreater(State, Pos.getOffset(), End)) {  in isBehindPastTheEnd()