Searched refs:isPastTheEnd (Results 1 – 1 of 1) sorted by relevance
71 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);199 if (Pos && isPastTheEnd(State, *Pos)) { in verifyDereference()304 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isPastTheEnd() function