Searched refs:removeValueRequiringRelease (Results 1 – 1 of 1) sorted by relevance
168 ProgramStateRef removeValueRequiringRelease(ProgramStateRef State,442 State = removeValueRequiringRelease(State, InstanceSymbol, NullSymbol); in evalAssume()480 State = removeValueRequiringRelease(State, InstanceSymbol, Sym); in checkPointerEscape()846 removeValueRequiringRelease(InitialState, InstanceSym, Value); in transitionToReleaseValue()855 ProgramStateRef ObjCDeallocChecker::removeValueRequiringRelease( in removeValueRequiringRelease() function in ObjCDeallocChecker