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