|
150
|
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 extern "C" CFTypeRef CFBridgingRetain(id X);
|
|
|
6 extern "C" 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 void test1(int cond) {
|
|
|
36 id x;
|
|
|
37 x = (id) auditedString();
|
|
|
38 x = (id) (cond ? auditedString() : (void*) 0);
|
|
|
39 x = (id) (cond ? (void*) 0 : auditedString());
|
|
|
40 x = (id) (cond ? (CFStringRef) @"help" : auditedString());
|
|
|
41
|
|
|
42 x = (id) unauditedString(); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}}
|
|
|
43 x = (id) (cond ? unauditedString() : (void*) 0); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}}
|
|
|
44 x = (id) (cond ? (void*) 0 : unauditedString()); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}}
|
|
|
45 x = (id) (cond ? (CFStringRef) @"help" : unauditedString()); // expected-error {{requires a bridged cast}} expected-note {{use __bridge to}} expected-note {{use CFBridgingRelease call to}}
|
|
|
46
|
|
|
47 x = (id) auditedCreateString(); // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRelease call to}}
|
|
|
48 x = (id) (cond ? auditedCreateString() : (void*) 0); // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRelease call to}}
|
|
|
49 x = (id) (cond ? (void*) 0 : auditedCreateString()); // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRelease call to}}
|
|
|
50 x = (id) (cond ? (CFStringRef) @"help" : auditedCreateString()); // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRelease call to}}
|
|
|
51
|
|
|
52 x = (id) [object property];
|
|
|
53 x = (id) (cond ? [object property] : (void*) 0);
|
|
|
54 x = (id) (cond ? (void*) 0 : [object property]);
|
|
|
55 x = (id) (cond ? (CFStringRef) @"help" : [object property]);
|
|
|
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.implicitProperty;
|
|
|
63 x = (id) (cond ? object.implicitProperty : (void*) 0);
|
|
|
64 x = (id) (cond ? (void*) 0 : object.implicitProperty);
|
|
|
65 x = (id) (cond ? (CFStringRef) @"help" : object.implicitProperty);
|
|
|
66
|
|
|
67 x = (id) [object makeString];
|
|
|
68 x = (id) (cond ? [object makeString] : (void*) 0);
|
|
|
69 x = (id) (cond ? (void*) 0 : [object makeString]);
|
|
|
70 x = (id) (cond ? (CFStringRef) @"help" : [object makeString]);
|
|
|
71
|
|
|
72 x = (id) [object newString];
|
|
|
73 x = (id) (cond ? [object newString] : (void*) 0);
|
|
|
74 x = (id) (cond ? (void*) 0 : [object newString]);
|
|
|
75 x = (id) (cond ? (CFStringRef) @"help" : [object newString]); // a bit questionable
|
|
|
76 }
|
|
|
77
|
|
|
78 // rdar://problem/10246264
|
|
|
79 @interface CFTaker
|
|
|
80 - (void) takeOrdinary: (CFStringRef) arg;
|
|
|
81 - (void) takeVariadic: (int) n, ...;
|
|
|
82 - (void) takeConsumed: (CFStringRef __attribute__((cf_consumed))) arg;
|
|
|
83 @end
|
|
|
84 void testCFTaker(CFTaker *taker, id string) {
|
|
|
85 [taker takeOrdinary: (CFStringRef) string];
|
|
|
86 [taker takeVariadic: 1, (CFStringRef) string];
|
|
|
87 [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}}
|
|
|
88 }
|
|
|
89
|
|
|
90 void takeCFOrdinaryUnaudited(CFStringRef arg);
|
|
|
91 void takeCFVariadicUnaudited(int n, ...);
|
|
|
92 void takeCFConsumedUnaudited(CFStringRef __attribute__((cf_consumed)) arg);
|
|
|
93 #pragma clang arc_cf_code_audited begin
|
|
|
94 void takeCFOrdinaryAudited(CFStringRef arg);
|
|
|
95 void takeCFVariadicAudited(int n, ...);
|
|
|
96 void takeCFConsumedAudited(CFStringRef __attribute__((cf_consumed)) arg);
|
|
|
97 #pragma clang arc_cf_code_audited end
|
|
|
98
|
|
|
99 void testTakerFunctions(id string) {
|
|
|
100 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}}
|
|
|
101 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}}
|
|
|
102 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}}
|
|
|
103
|
|
|
104 void (*taker)(CFStringRef) = 0;
|
|
|
105 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}}
|
|
|
106
|
|
|
107 takeCFOrdinaryAudited((CFStringRef) string);
|
|
|
108 takeCFVariadicAudited(1, (CFStringRef) string);
|
|
|
109 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}}
|
|
|
110 }
|
|
|
111
|
|
|
112 // rdar://12788838
|
|
|
113 id obj;
|
|
|
114
|
|
|
115 void rdar12788838() {
|
|
|
116 void *foo = reinterpret_cast<void *>(obj); // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'void *' requires a bridged cast}} \
|
|
|
117 // expected-note {{use __bridge with C-style cast to convert directly}} \
|
|
|
118 // expected-note {{use CFBridgingRetain call to make an ARC object available as a +1 'void *'}}
|
|
|
119 }
|
