Searched refs:removeValueRequiringRelease (Results 1 – 1 of 1) sorted by relevance
173 ProgramStateRef removeValueRequiringRelease(ProgramStateRef State,449 State = removeValueRequiringRelease(State, InstanceSymbol, NullSymbol); in evalAssume()487 State = removeValueRequiringRelease(State, InstanceSymbol, Sym); in checkPointerEscape()835 removeValueRequiringRelease(InitialState, InstanceSym, Value); in transitionToReleaseValue()844 ProgramStateRef ObjCDeallocChecker::removeValueRequiringRelease( in removeValueRequiringRelease() function in ObjCDeallocChecker