Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp206 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
239 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
298 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
475 State = setIteratorPosition(State, LVal, in handleComparison()
479 State = setIteratorPosition(State, RVal, in handleComparison()
554 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
555 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
580 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
581 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
616 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
H A DIterator.cpp196 ProgramStateRef setIteratorPosition(ProgramStateRef State, SVal Val, in setIteratorPosition() function
219 return setIteratorPosition(State, Val, in createIteratorPosition()
253 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
H A DIterator.h165 ProgramStateRef setIteratorPosition(ProgramStateRef State, SVal Val,
H A DContainerModeling.cpp262 State = setIteratorPosition(State, RetVal, in handleBegin()
284 State = setIteratorPosition(State, RetVal, in handleEnd()