Lines Matching refs:setIteratorPosition

207       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()
476     State = setIteratorPosition(State, LVal,  in handleComparison()
480     State = setIteratorPosition(State, RVal,  in handleComparison()
555   State = setIteratorPosition(State, Iter, *NewPos);  in handleIncrement()
556   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleIncrement()
581   State = setIteratorPosition(State, Iter, *NewPos);  in handleDecrement()
582   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleDecrement()
617     State = setIteratorPosition(State, TgtVal, *NewPos);  in handleRandomIncrOrDecr()
661     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()