133   bool diagnoseExtraRelease(SymbolRef ReleasedValue, const ObjCMethodCall &M,
342   SymbolRef ReleasedValue = nullptr;  in checkPreObjCMessage()  local
345     ReleasedValue = M.getReceiverSVal().getAsSymbol();  in checkPreObjCMessage()
351   if (ReleasedValue) {  in checkPreObjCMessage()
354     if (diagnoseExtraRelease(ReleasedValue,M, C))  in checkPreObjCMessage()
359     ReleasedValue = getValueReleasedByNillingOut(M, C);  in checkPreObjCMessage()
362   if (!ReleasedValue)  in checkPreObjCMessage()
365   transitionToReleaseValue(C, ReleasedValue);  in checkPreObjCMessage()
379   SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol();  in checkPreCall()  local
380   if (!ReleasedValue)  in checkPreCall()
383   transitionToReleaseValue(C, ReleasedValue);  in checkPreCall()
643 bool ObjCDeallocChecker::diagnoseExtraRelease(SymbolRef ReleasedValue,  in diagnoseExtraRelease()  argument
652       findPropertyOnDeallocatingInstance(ReleasedValue, C);  in diagnoseExtraRelease()