Lines Matching refs:setIteratorPosition

207       State = setIteratorPosition(State, Call.getReturnValue(), *Pos);
240     State = setIteratorPosition(State, Loc, *Pos);
299   State = setIteratorPosition(State, C.getSVal(MTE), *Pos);
476     State = setIteratorPosition(State, LVal,
480     State = setIteratorPosition(State, RVal,
555   State = setIteratorPosition(State, Iter, *NewPos);
556   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
581   State = setIteratorPosition(State, Iter, *NewPos);
582   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);
617     State = setIteratorPosition(State, TgtVal, *NewPos);
661     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);