Lines Matching refs:setIteratorPosition

206       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()
665     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()