Searched refs:isAheadOfRange (Results 1 – 1 of 1) sorted by relevance
68 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);247 if (isAheadOfRange(State, *PosAfter)) { in verifyRandomIncrOrDecr()321 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) { in isAheadOfRange() function