109 lines · plain
1// RUN: %clang_cc1 -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -verify -fblocks -Wno-incompatible-pointer-types %s2 3typedef const void * CFTypeRef;4CFTypeRef CFBridgingRetain(id X);5id CFBridgingRelease(CFTypeRef);6 7void * cvt(id arg)8{9 void* voidp_val;10 (void)(int*)arg; // expected-error {{cast of an Objective-C pointer to 'int *' is disallowed with ARC}}11 (void)(id)arg;12 (void)(__autoreleasing id*)arg; // expected-error {{cast of an Objective-C pointer to '__autoreleasing id *' is disallowed with ARC}}13 (void)(id*)arg; // expected-error {{cast of an Objective-C pointer to '__strong id *' is disallowed with ARC}}14 15 (void)(__autoreleasing id**)voidp_val;16 (void)(void*)voidp_val;17 (void)(void**)arg; // expected-error {{cast of an Objective-C pointer to 'void **' is disallowed with ARC}}18 cvt((void*)arg); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'void *' requires a bridged cast}} \19 // expected-error {{implicit conversion of C pointer type 'void *' to Objective-C pointer type 'id' requires a bridged cast}} \20 // expected-note 2 {{use __bridge to convert directly (no change in ownership)}} \21 // expected-note {{use CFBridgingRetain call to make an ARC object available as a +1 'void *'}} \22 // expected-note {{use CFBridgingRelease call to transfer ownership of a +1 'void *' into ARC}}23 cvt(0);24 (void)(__strong id**)(0);25 return arg; // expected-error {{implicit conversion of Objective-C pointer type 'id' to C pointer type 'void *' requires a bridged cast}} \26 // expected-note {{use __bridge to convert directly (no change in ownership)}} \27 // expected-note {{use CFBridgingRetain call to make an ARC object available as a +1 'void *'}}28}29 30void to_void(__strong id *sip, __weak id *wip,31 __autoreleasing id *aip,32 __unsafe_unretained id *uip) {33 void *vp1 = sip;34 void *vp2 = wip;35 void *vp3 = aip;36 void *vp4 = uip;37 (void)(void*)sip;38 (void)(void*)wip;39 (void)(void*)aip;40 (void)(void*)uip;41 (void)(void*)&sip;42 (void)(void*)&wip;43 (void)(void*)&aip;44 (void)(void*)&uip;45}46 47void from_void(void *vp) {48 __strong id *sip = (__strong id *)vp;49 __weak id *wip = (__weak id *)vp;50 __autoreleasing id *aip = (__autoreleasing id *)vp;51 __unsafe_unretained id *uip = (__unsafe_unretained id *)vp;52 53 __strong id **sipp = (__strong id **)vp;54 __weak id **wipp = (__weak id **)vp;55 __autoreleasing id **aipp = (__autoreleasing id **)vp;56 __unsafe_unretained id **uipp = (__unsafe_unretained id **)vp;57 58 sip = vp; // expected-error{{implicit conversion of a non-Objective-C pointer type 'void *' to '__strong id *' is disallowed with ARC}}59 wip = vp; // expected-error{{implicit conversion of a non-Objective-C pointer type 'void *' to '__weak id *' is disallowed with ARC}}60 aip = vp; // expected-error{{implicit conversion of a non-Objective-C pointer type 'void *' to '__autoreleasing id *' is disallowed with ARC}}61 uip = vp; // expected-error{{implicit conversion of a non-Objective-C pointer type 'void *' to '__unsafe_unretained id *' is disallowed with ARC}}62}63 64typedef void (^Block)(void);65typedef void (^Block_strong)(void) __strong;66typedef void (^Block_autoreleasing)(void) __autoreleasing;67 68@class NSString;69 70void ownership_transfer_in_cast(void *vp, Block *pblk) {71 __strong NSString **sip = (NSString**)(__strong id *)vp;72 __weak NSString **wip = (NSString**)(__weak id *)vp;73 __autoreleasing id *aip = (id*)(__autoreleasing id *)vp;74 __unsafe_unretained id *uip = (id*)(__unsafe_unretained id *)vp;75 76 __strong id **sipp = (id**)(__strong id **)vp;77 __weak id **wipp = (id**)(__weak id **)vp;78 __autoreleasing id **aipp = (id**)(__autoreleasing id **)vp;79 __unsafe_unretained id **uipp = (id**)(__unsafe_unretained id **)vp;80 81 Block_strong blk_strong1;82 Block_strong blk_strong2 = (Block)blk_strong1;83 Block_autoreleasing *blk_auto = (Block*)pblk;84 85 id lv;86 (void)(id)&lv; // expected-error {{cast of an indirect pointer to an Objective-C pointer to 'id'}}87 (void)(id*)lv; // expected-error {{cast of an Objective-C pointer to '__strong id *'}}88 (void)(NSString*)&lv; // expected-error {{cast of an indirect pointer to an Objective-C pointer to 'NSString *'}}89 (void)(NSString**)lv; // expected-error {{cast of an Objective-C pointer to 'NSString *__strong *'}}90 (void)(Block)&lv; // expected-error {{cast of an indirect pointer to an Objective-C pointer to 'Block'}}91 (void)(Block*)lv; // expected-error {{cast of an Objective-C pointer to '__strong Block *'}}92}93 94void conversion_in_conditional(id a, void* b) {95 id c = 1 ? a : b; // expected-error {{operands to conditional of types 'id' and 'void *' are incompatible in ARC mode}}96 id d = 1 ? b : a; // expected-error {{operands to conditional of types 'void *' and 'id' are incompatible in ARC mode}}97}98 99void conversion_pointer_to_id(__strong id *x) {100 struct S {101 int a[2];102 } s, *p;103 104 x = (__strong id *)&s;105 x = &s; // expected-error {{implicit conversion of a non-Objective-C pointer type 'struct S *' to '__strong id *' is disallowed with ARC}}106 p = (struct S *)x;107 p = x; // expected-error {{implicit conversion of an indirect pointer to an Objective-C pointer to 'struct S *' is disallowed with ARC}}108}109