Home
last modified time | relevance | path

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

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