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