Home
last modified time | relevance | path

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

/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
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()
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 …]
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()
DIterator.h170 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val,
DContainerModeling.cpp276 State = setIteratorPosition(State, RetVal, in handleBegin()
298 State = setIteratorPosition(State, RetVal, in handleEnd()