Searched refs:verifyNext (Results 1 – 1 of 1) sorted by relevance
45 void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;62 {{{"std", "next"}, 2}, &IteratorRangeChecker::verifyNext},267 void IteratorRangeChecker::verifyNext(CheckerContext &C, SVal LHS, in verifyNext() function in IteratorRangeChecker