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