1// RUN: %clang_cc1 -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -verify -fblocks %s
2
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)();
65typedef void (^Block_strong)() __strong;
66typedef void (^Block_autoreleasing)() __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
94// <rdar://problem/10486347>
95void conversion_in_conditional(id a, void* b) {
96  id c = 1 ? a : b; // expected-error {{operands to conditional of types 'id' and 'void *' are incompatible in ARC mode}}
97  id d = 1 ? b : a; // expected-error {{operands to conditional of types 'void *' and 'id' are incompatible in ARC mode}}
98}
99