Searched refs:verifyNext (Results 1 – 1 of 1) sorted by relevance
45 void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;67 &IteratorRangeChecker::verifyNext},272 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS, in verifyNext() function in IteratorRangeChecker