Searched refs:removeValueRequiringRelease (Results 1 – 1 of 1) sorted by relevance
167 ProgramStateRef removeValueRequiringRelease(ProgramStateRef State,441 State = removeValueRequiringRelease(State, InstanceSymbol, NullSymbol); in evalAssume()479 State = removeValueRequiringRelease(State, InstanceSymbol, Sym); in checkPointerEscape()844 removeValueRequiringRelease(InitialState, InstanceSym, Value); in transitionToReleaseValue()853 ProgramStateRef ObjCDeallocChecker::removeValueRequiringRelease( in removeValueRequiringRelease() function in ObjCDeallocChecker