Home
last modified time | relevance | path

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

/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
476 State = setIteratorPosition(State, LVal, in handleComparison()
480 State = setIteratorPosition(State, RVal, in handleComparison()
555 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
556 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
581 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
582 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
617 State = setIteratorPosition(Stat 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.cpp267 State = setIteratorPosition(State, RetVal, in handleEnd()
289 State = setIteratorPosition(State, RetVal, in handleAssignment()