Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp208 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
241 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
300 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
H A DIterator.cpp196 ProgramStateRef setIteratorPosition(ProgramStateRef State, SVal Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
254 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
H A DIterator.h165 ProgramStateRef setIteratorPosition(ProgramStateRef State, SVal Val,
H A DContainerModeling.cpp270 State = setIteratorPosition(State, RetVal, in handleBegin()
292 State = setIteratorPosition(State, RetVal, in handleEnd()