Lines Matching refs:setIteratorPosition
349 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val,
351 ProgramStateRef setIteratorPosition(ProgramStateRef State,
717 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
748 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
767 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
953 State = setIteratorPosition(State, Iter, NewPos); in handleIncrement()
954 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : NewPos); in handleIncrement()
971 State = setIteratorPosition(State, Iter, NewPos); in handleDecrement()
972 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : NewPos); in handleDecrement()
1038 setIteratorPosition(State, TgtVal, advancePosition(C, Op, *Pos, *value)); in handleRandomIncrOrDecr()
1147 State = setIteratorPosition(State, RetVal, in handleBegin()
1171 State = setIteratorPosition(State, RetVal, in handleEnd()
1186 State = setIteratorPosition(State, RetVal, in assignToContainer()
2056 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
2069 ProgramStateRef setIteratorPosition(ProgramStateRef State, in setIteratorPosition() function
2098 return setIteratorPosition(State, RegOrSym, Pos); in adjustIteratorPosition()