Searched refs:verifyPrev (Results 1 – 1 of 1) sorted by relevance
44 void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;61 {{{"std", "prev"}, 2}, &IteratorRangeChecker::verifyPrev},262 void IteratorRangeChecker::verifyPrev(CheckerContext &C, SVal LHS, in verifyPrev() function in IteratorRangeChecker