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