Searched refs:ReturnRegion (Results 1 – 1 of 1) sorted by relevance
855 const MemRegion *ReturnRegion = getTrackRegion(M.getReturnValue()); in checkPostObjCMessage() local856 if (!ReturnRegion) in checkPostObjCMessage()875 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()885 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()897 State = State->set<NullabilityMap>(ReturnRegion, in checkPostObjCMessage()910 State->get<NullabilityMap>(ReturnRegion); in checkPostObjCMessage()926 ReturnRegion, NullabilityState(ComputedNullab, NullabilitySource)); in checkPostObjCMessage()948 ReturnRegion, NullabilityState(ComputedNullab, NullabilitySource)); in checkPostObjCMessage()