Home
last modified time | relevance | path

Searched refs:noChangeInAdvance (Results 1 – 1 of 1) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp125 bool noChangeInAdvance(CheckerContext &C, SVal Iter, const Expr *CE) const;
441 if (noChangeInAdvance(C, Call.getArgSVal(0), OrigExpr)) { in handleAdvanceLikeFunction()
703 bool IteratorModeling::noChangeInAdvance(CheckerContext &C, SVal Iter, in noChangeInAdvance() function in IteratorModeling