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()
475     State = setIteratorPosition(State, LVal,  in handleComparison()
479     State = setIteratorPosition(State, RVal,  in handleComparison()
554   State = setIteratorPosition(State, Iter, *NewPos);  in handleIncrement()
555   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleIncrement()
580   State = setIteratorPosition(State, Iter, *NewPos);  in handleDecrement()
581   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleDecrement()
616     State = setIteratorPosition(State, TgtVal, *NewPos);  in handleRandomIncrOrDecr()
660     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()