Searched refs:ReturnRegion (Results 1 – 1 of 1) sorted by relevance
870 const MemRegion *ReturnRegion = getTrackRegion(M.getReturnValue()); in checkPostObjCMessage() local871 if (!ReturnRegion) in checkPostObjCMessage()890 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()900 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()912 State = State->set<NullabilityMap>(ReturnRegion, in checkPostObjCMessage()925 State->get<NullabilityMap>(ReturnRegion); in checkPostObjCMessage()941 ReturnRegion, NullabilityState(ComputedNullab, NullabilitySource)); in checkPostObjCMessage()963 ReturnRegion, NullabilityState(ComputedNullab, NullabilitySource)); in checkPostObjCMessage()