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