comparison clang/test/SemaObjC/transfer-boxed-string-nullability.m @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children c4bab56944e8
comparison
equal deleted inserted replaced
147:c2174574ed3a 150:1d019706d866
1 // RUN: %clang_cc1 -fblocks -fobjc-arc -Wnullable-to-nonnull-conversion -fsyntax-only -verify -Wno-objc-root-class %s
2 // RUN: %clang_cc1 -fblocks -fobjc-arc -Wnullable-to-nonnull-conversion -fsyntax-only -verify -Wno-objc-root-class -DNOWARN %s
3
4 @interface NSString
5
6 + (NSString*
7 #ifndef NOWARN
8 _Nullable
9 #else
10 _Nonnull
11 #endif
12 ) stringWithUTF8String:(const char*)x;
13
14 @end
15
16 void takesNonNull(NSString * _Nonnull ptr);
17
18 void testBoxedString() {
19 // No diagnostic emitted as this doesn't need a stringWithUTF8String message
20 // send.
21 takesNonNull(@("hey"));
22 takesNonNull(@(u8"hey"));
23
24 // If the string isn't a valid UTF-8 string, a diagnostic is emitted since the
25 // boxed expression turns into a message send.
26 takesNonNull(@(u8"\xFF")); // expected-warning {{string is ill-formed as UTF-8}}
27 takesNonNull(@(u8"\xC0\x80")); // expected-warning {{string is ill-formed as UTF-8}}
28
29 const char *str = "hey";
30 takesNonNull([NSString stringWithUTF8String:str]);
31 takesNonNull(@(str));
32 #ifndef NOWARN
33 // expected-warning@-7 {{implicit conversion from nullable pointer 'NSString * _Nullable' to non-nullable pointer type 'NSString * _Nonnull'}}
34 // expected-warning@-7 {{implicit conversion from nullable pointer 'NSString * _Nullable' to non-nullable pointer type 'NSString * _Nonnull'}}
35 // expected-warning@-5 {{implicit conversion from nullable pointer 'NSString * _Nullable' to non-nullable pointer type 'NSString * _Nonnull'}}
36 // expected-warning@-5 {{implicit conversion from nullable pointer 'NSString * _Nullable' to non-nullable pointer type 'NSString * _Nonnull'}}
37 #endif
38 }