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 16void takesNonNull(NSString * _Nonnull ptr); 17 18void 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} 39