1 // RUN: %clang_cc1 -fsyntax-only -fobjc-arc -verify %s 2 3 #if __has_feature(arc_cf_code_audited) 4 char _global[-1]; // expected-error {{declared as an array with a negative size}} 5 #endif 6 7 typedef const void *CFTypeRef; 8 CFTypeRef CFBridgingRetain(id X); 9 id CFBridgingRelease(CFTypeRef); 10 typedef const struct __CFString *CFStringRef; 11 12 extern CFStringRef CFMakeString0(void); 13 #pragma clang arc_cf_code_audited begin 14 extern CFStringRef CFCreateString0(void); 15 #pragma clang arc_cf_code_audited end 16 void test0() { 17 id x; 18 x = (id) CFMakeString0(); // expected-error {{requires a bridged cast}} expected-note {{__bridge to convert directly}} expected-note {{CFBridgingRelease call to transfer}} 19 x = (id) CFCreateString0(); // expected-error {{requires a bridged cast}} expected-note {{CFBridgingRelease call to transfer}} 20 } 21 22 extern CFStringRef CFMakeString1(void) __attribute__((cf_returns_not_retained)); 23 extern CFStringRef CFCreateString1(void) __attribute__((cf_returns_retained)); 24 void test1() { 25 id x; 26 x = (id) CFMakeString1(); 27 x = (id) CFCreateString1(); // expected-error {{requires a bridged cast}} expected-note {{CFBridgingRelease call to transfer}} 28 } 29 30 #define CF_AUDIT_BEGIN _Pragma("clang arc_cf_code_audited begin") 31 #define CF_AUDIT_END _Pragma("clang arc_cf_code_audited end") 32 #define CF_RETURNS_RETAINED __attribute__((cf_returns_retained)) 33 #define CF_RETURNS_NOT_RETAINED __attribute__((cf_returns_not_retained)) 34 35 CF_AUDIT_BEGIN 36 extern CFStringRef CFMakeString2(void); 37 extern CFStringRef CFCreateString2(void) CF_RETURNS_NOT_RETAINED; 38 extern CFStringRef CFMakeString3(void) CF_RETURNS_RETAINED; 39 extern CFStringRef CFCreateString3(void); 40 CF_AUDIT_END 41 void test2() { 42 id x; 43 x = (id) CFMakeString2(); 44 x = (id) CFCreateString2(); 45 x = (id) CFMakeString3(); // expected-error {{requires a bridged cast}} expected-note {{CFBridgingRelease call to transfer}} 46 x = (id) CFCreateString3(); // expected-error {{requires a bridged cast}} expected-note {{CFBridgingRelease call to transfer}} 47 } 48 49 // rdar://14569171 50 @interface NSString @end 51 typedef signed int SInt32; 52 #pragma clang arc_cf_code_audited begin 53 extern SInt32 CFStringGetIntValue(CFStringRef str); // expected-note {{passing argument to parameter 'str' here}} 54 #pragma clang arc_cf_code_audited end 55 56 void test3() { 57 NSString* answer = @"42"; 58 int ans = CFStringGetIntValue(answer); // expected-error {{incompatible pointer types passing retainable parameter of type 'NSString *__strong'to a CF function expecting 'CFStringRef'}} 59 } 60
