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