Searched refs:isBehindPastTheEnd (Results 1 – 1 of 1) sorted by relevance
73 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);253 if (isBehindPastTheEnd(State, *PosAfter)) { in verifyRandomIncrOrDecr()336 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isBehindPastTheEnd() function