Searched refs:ReturnRegion (Results 1 – 1 of 1) sorted by relevance
832 const MemRegion *ReturnRegion = getTrackRegion(M.getReturnValue()); in checkPostObjCMessage() local833 if (!ReturnRegion) in checkPostObjCMessage()852 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()862 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()874 State = State->set<NullabilityMap>(ReturnRegion, in checkPostObjCMessage()887 State->get<NullabilityMap>(ReturnRegion); in checkPostObjCMessage()903 ReturnRegion, NullabilityState(ComputedNullab, NullabilitySource)); in checkPostObjCMessage()925 ReturnRegion, NullabilityState(ComputedNullab, NullabilitySource)); in checkPostObjCMessage()