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