1 // // RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fsyntax-only -fobjc-arc -verify %s 2 3 typedef const struct __CFString * CFStringRef; 4 typedef const void * CFTypeRef; 5 CFTypeRef CFBridgingRetain(id X); 6 id CFBridgingRelease(CFTypeRef); 7 8 9 @interface Object 10 @property CFStringRef property; 11 - (CFStringRef) implicitProperty; 12 - (CFStringRef) newString; 13 - (CFStringRef) makeString; 14 @end 15 16 extern Object *object; 17 18 // rdar://9744349 19 id test0(void) { 20 id p1 = (id)[object property]; 21 id p2 = (__bridge_transfer id)[object property]; 22 id p3 = (__bridge id)[object property]; 23 return (id) object.property; 24 } 25 26 // rdar://10140692 27 CFStringRef unauditedString(void); 28 CFStringRef plusOneString(void) __attribute__((cf_returns_retained)); 29 30 #pragma clang arc_cf_code_audited begin 31 CFStringRef auditedString(void); 32 CFStringRef auditedCreateString(void); 33 #pragma clang arc_cf_code_audited end 34 35 extern const CFStringRef kUserConst; 36 37 void test1(int cond) { 38 id x; 39 x = (id) auditedString(); 40 x = (id) kUserConst; 41 x = (id) (cond ? auditedString() : (void*) 0); 42 x = (id) (cond ? (void*) 0 : auditedString()); 43 x = (id) (cond ? (CFStringRef) @"help" : auditedString()); 44 x = (id) (cond ? (CFStringRef) @"help" : kUserConst); 45 46 x = (id) unauditedString(); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}} 47 x = (id) (cond ? unauditedString() : (void*) 0); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}} 48 x = (id) (cond ? unauditedString() : kUserConst); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}} 49 x = (id) (cond ? (void*) 0 : unauditedString()); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}} 50 x = (id) (cond ? (CFStringRef) @"help" : unauditedString()); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}} 51 52 x = (id) auditedCreateString(); // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRelease call to}} 53 x = (id) (cond ? auditedCreateString() : (void*) 0); // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRelease call to}} 54 x = (id) (cond ? (void*) 0 : auditedCreateString()); // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRelease call to}} 55 x = (id) (cond ? (CFStringRef) @"help" : auditedCreateString()); // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRelease call to}} 56 57 x = (id) [object property]; 58 x = (id) (cond ? [object property] : (void*) 0); 59 x = (id) (cond ? (void*) 0 : [object property]); 60 x = (id) (cond ? (CFStringRef) @"help" : [object property]); 61 62 x = (id) object.property; 63 x = (id) (cond ? object.property : (void*) 0); 64 x = (id) (cond ? (void*) 0 : object.property); 65 x = (id) (cond ? (CFStringRef) @"help" : object.property); 66 67 x = (id) object.implicitProperty; 68 x = (id) (cond ? object.implicitProperty : (void*) 0); 69 x = (id) (cond ? (void*) 0 : object.implicitProperty); 70 x = (id) (cond ? (CFStringRef) @"help" : object.implicitProperty); 71 72 x = (id) [object makeString]; 73 x = (id) (cond ? [object makeString] : (void*) 0); 74 x = (id) (cond ? (void*) 0 : [object makeString]); 75 x = (id) (cond ? (CFStringRef) @"help" : [object makeString]); 76 x = (id) (cond ? kUserConst : [object makeString]); 77 78 x = (id) [object newString]; 79 x = (id) (cond ? [object newString] : (void*) 0); 80 x = (id) (cond ? (void*) 0 : [object newString]); 81 x = (id) (cond ? (CFStringRef) @"help" : [object newString]); // a bit questionable 82 x = (id) (cond ? kUserConst : [object newString]); // expected-error{{requires a bridged cast}} expected-note{{use __bridge to}} expected-note{{use CFBridgingRelease call to}} 83 } 84 85 // rdar://problem/10246264 86 @interface CFTaker 87 - (void) takeOrdinary: (CFStringRef) arg; 88 - (void) takeVariadic: (int) n, ...; 89 - (void) takeConsumed: (CFStringRef __attribute__((cf_consumed))) arg; 90 @end 91 void testCFTaker(CFTaker *taker, id string) { 92 [taker takeOrdinary: (CFStringRef) string]; 93 [taker takeVariadic: 1, (CFStringRef) string]; 94 [taker takeConsumed: (CFStringRef) string]; // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 95 } 96 97 void takeCFOrdinaryUnaudited(CFStringRef arg); 98 void takeCFVariadicUnaudited(int n, ...); 99 void takeCFConsumedUnaudited(CFStringRef __attribute__((cf_consumed)) arg); 100 #pragma clang arc_cf_code_audited begin 101 void takeCFOrdinaryAudited(CFStringRef arg); 102 void takeCFVariadicAudited(int n, ...); 103 void takeCFConsumedAudited(CFStringRef __attribute__((cf_consumed)) arg); 104 #pragma clang arc_cf_code_audited end 105 106 void testTakerFunctions(id string) { 107 takeCFOrdinaryUnaudited((CFStringRef) string); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 108 takeCFVariadicUnaudited(1, (CFStringRef) string); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 109 takeCFConsumedUnaudited((CFStringRef) string); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 110 111 void (*taker)(CFStringRef) = 0; 112 taker((CFStringRef) string); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 113 114 takeCFOrdinaryAudited((CFStringRef) string); 115 takeCFVariadicAudited(1, (CFStringRef) string); 116 takeCFConsumedAudited((CFStringRef) string); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 117 } 118 119 void testTakerFunctions_parens(id string) { 120 takeCFOrdinaryUnaudited(((CFStringRef) string)); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 121 takeCFVariadicUnaudited(1, ((CFStringRef) string)); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 122 takeCFConsumedUnaudited(((CFStringRef) string)); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 123 124 void (*taker)(CFStringRef) = 0; 125 taker(((CFStringRef) string)); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 126 127 takeCFOrdinaryAudited(((CFStringRef) string)); 128 takeCFVariadicAudited(1, ((CFStringRef) string)); 129 takeCFConsumedAudited(((CFStringRef) string)); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef'}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRetain call to}} 130 } 131
