Searched refs:verifyAdvance (Results 1 – 1 of 1) sorted by relevance
43 void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;63 &IteratorRangeChecker::verifyAdvance},262 void IteratorRangeChecker::verifyAdvance(CheckerContext &C, SVal LHS, in verifyAdvance() function in IteratorRangeChecker