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