From 66d405d31f5cb778902315fbefd6421fa85aa6d1 Mon Sep 17 00:00:00 2001 From: Akira Hatanaka Date: Thu, 26 Jul 2018 17:51:13 +0000 Subject: [PATCH] [Sema][ObjC] Do not propagate the nullability specifier on the receiver to the result type of a message send if the result type cannot have a nullability specifier. Previously, clang would print the following message when the code in nullability.m was compiled: "incompatible integer to pointer conversion initializing 'int *' with an expression of type 'int _Nullable'" This is wrong as 'int' isn't supposed to have any nullability specifiers. rdar://problem/40830514 llvm-svn: 338048 --- clang/lib/Sema/SemaExprObjC.cpp | 5 +++++ clang/test/SemaObjC/nullability.m | 11 +++++++++++ 2 files changed, 16 insertions(+) diff --git a/clang/lib/Sema/SemaExprObjC.cpp b/clang/lib/Sema/SemaExprObjC.cpp index bf9d081..bf0ffeb 100644 --- a/clang/lib/Sema/SemaExprObjC.cpp +++ b/clang/lib/Sema/SemaExprObjC.cpp @@ -1357,6 +1357,11 @@ QualType Sema::getMessageSendResultType(QualType ReceiverType, if (isClassMessage) return resultType; + // There is nothing left to do if the result type cannot have a nullability + // specifier. + if (!resultType->canHaveNullability()) + return resultType; + // Map the nullability of the result into a table index. unsigned receiverNullabilityIdx = 0; if (auto nullability = ReceiverType->getNullability(Context)) diff --git a/clang/test/SemaObjC/nullability.m b/clang/test/SemaObjC/nullability.m index cbfe132..93f4d1d 100644 --- a/clang/test/SemaObjC/nullability.m +++ b/clang/test/SemaObjC/nullability.m @@ -279,3 +279,14 @@ void test(ArraysInMethods *obj) { [obj simpleSugar:0]; // expected-warning {{null passed to a callee that requires a non-null argument}} [obj sugarWithTypedef:0]; // expected-warning {{null passed to a callee that requires a non-null argument}} } + +// Check that we don't propagate the nullability specifier on the receiver to +// the result type of a message send if the result type cannot have a +// nullability specifier. +@interface C0 +-(int) count; +@end + +void testMessageSendResultType(C0 * _Nullable c0) { + int *p = [c0 count]; // expected-warning {{incompatible integer to pointer conversion initializing 'int *' with an expression of type 'int'}} +} -- 2.7.4