• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1// // RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fsyntax-only -fobjc-arc -verify %s
2
3typedef const struct __CFString * CFStringRef;
4typedef const void * CFTypeRef;
5CFTypeRef CFBridgingRetain(id X);
6id CFBridgingRelease(CFTypeRef);
7
8
9@interface Object
10@property CFStringRef property;
11- (CFStringRef) implicitProperty;
12- (CFStringRef) newString;
13- (CFStringRef) makeString;
14@end
15
16extern Object *object;
17
18// rdar://9744349
19id 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
27CFStringRef unauditedString(void);
28CFStringRef plusOneString(void) __attribute__((cf_returns_retained));
29
30#pragma clang arc_cf_code_audited begin
31CFStringRef auditedString(void);
32CFStringRef auditedCreateString(void);
33#pragma clang arc_cf_code_audited end
34
35extern const CFStringRef kUserConst;
36
37void 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
91void 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
97void takeCFOrdinaryUnaudited(CFStringRef arg);
98void takeCFVariadicUnaudited(int n, ...);
99void takeCFConsumedUnaudited(CFStringRef __attribute__((cf_consumed)) arg);
100#pragma clang arc_cf_code_audited begin
101void takeCFOrdinaryAudited(CFStringRef arg);
102void takeCFVariadicAudited(int n, ...);
103void takeCFConsumedAudited(CFStringRef __attribute__((cf_consumed)) arg);
104#pragma clang arc_cf_code_audited end
105
106void 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
119void 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