Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/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()
479 State = setIteratorPosition(State, LVal, in handleComparison()
483 State = setIteratorPosition(State, RVal, in handleComparison()
558 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
559 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
584 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
585 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
621 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
H A DIterator.cpp197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
H A DIterator.h166 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val,
H A DContainerModeling.cpp262 State = setIteratorPosition(State, RetVal, in handleBegin()
284 State = setIteratorPosition(State, RetVal, in handleEnd()