Searched refs:removeIteratorPosition (Results 1 – 1 of 1) sorted by relevance
163 ProgramStateRef removeIteratorPosition(ProgramStateRef State, SVal Val);209 State = removeIteratorPosition(State, Call.getArgSVal(0)); in checkPostCall()245 State = removeIteratorPosition(State, Loc); in checkBind()773 ProgramStateRef removeIteratorPosition(ProgramStateRef State, SVal Val) { in removeIteratorPosition() function