Searched refs:ReturnRegion (Results 1 – 1 of 1) sorted by relevance
986 const MemRegion *ReturnRegion = getTrackRegion(M.getReturnValue()); in checkPostObjCMessage() local987 if (!ReturnRegion) in checkPostObjCMessage()1006 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()1016 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()1028 State = State->set<NullabilityMap>(ReturnRegion, in checkPostObjCMessage()1041 State->get<NullabilityMap>(ReturnRegion); in checkPostObjCMessage()1057 ReturnRegion, NullabilityState(ComputedNullab, NullabilitySource)); in checkPostObjCMessage()1121 ReturnRegion, NullabilityState(ComputedNullab, NullabilitySource)); in checkPostObjCMessage()