Searched refs:removeIteratorPosition (Results 1 – 1 of 1) sorted by relevance
162 ProgramStateRef removeIteratorPosition(ProgramStateRef State, SVal Val);208 State = removeIteratorPosition(State, Call.getArgSVal(0)); in checkPostCall()244 State = removeIteratorPosition(State, Loc); in checkBind()772 ProgramStateRef removeIteratorPosition(ProgramStateRef State, SVal Val) { in removeIteratorPosition() function