Searched refs:noChangeInAdvance (Results 1 – 1 of 1) sorted by relevance
123 bool noChangeInAdvance(CheckerContext &C, SVal Iter, const Expr *CE) const;441 if (noChangeInAdvance(C, Call.getArgSVal(0), OrigExpr)) { in handleAdvanceLikeFunction()701 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter, in noChangeInAdvance() function in IteratorModeling