|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
2 // <rdar://problem/6212771>
|
|
|
3
|
|
|
4 #define nil ((void*) 0)
|
|
|
5
|
|
|
6 @interface A
|
|
|
7 @property int x;
|
|
|
8 @end
|
|
|
9
|
|
|
10 @interface B : A
|
|
|
11 @end
|
|
|
12
|
|
|
13 // Basic checks...
|
|
|
14 id f0(int cond, id a, void *b) {
|
|
|
15 return cond ? a : b;
|
|
|
16 }
|
|
|
17 A *f0_a(int cond, A *a, void *b) {
|
|
|
18 return cond ? a : b;
|
|
|
19 }
|
|
|
20
|
|
|
21 id f1(int cond, id a) {
|
|
|
22 return cond ? a : nil;
|
|
|
23 }
|
|
|
24 A *f1_a(int cond, A *a) {
|
|
|
25 return cond ? a : nil;
|
|
|
26 }
|
|
|
27
|
|
|
28 void *f1_const_a(int x, void *p, const A * q) {
|
|
|
29 void *r = x ? p : q; // expected-warning{{initializing 'void *' with an expression of type 'const void *' discards qualifiers}}
|
|
|
30 return r;
|
|
|
31 }
|
|
|
32
|
|
|
33 // Check interaction with qualified id
|
|
|
34
|
|
|
35 @protocol P0 @end
|
|
|
36
|
|
|
37 id f2(int cond, id<P0> a, void *b) {
|
|
|
38 return cond ? a : b;
|
|
|
39 }
|
|
|
40
|
|
|
41 id f3(int cond, id<P0> a) {
|
|
|
42 return cond ? a : nil;
|
|
|
43 }
|
|
|
44
|
|
|
45 // Check that result actually has correct type.
|
|
|
46
|
|
|
47 // Using properties is one way to find the compiler internal type of a
|
|
|
48 // conditional expression. Simple assignment doesn't work because if
|
|
|
49 // the type is id then it can be implicitly promoted.
|
|
|
50 @protocol P1
|
|
|
51 @property int x;
|
|
|
52 @end
|
|
|
53
|
|
|
54 int f5(int cond, id<P1> a, id<P1> b) {
|
|
|
55 return (cond ? a : b).x;
|
|
|
56 }
|
|
|
57 int f5_a(int cond, A *a, A *b) {
|
|
|
58 return (cond ? a : b).x;
|
|
|
59 }
|
|
|
60 int f5_b(int cond, A *a, B *b) {
|
|
|
61 return (cond ? a : b).x;
|
|
|
62 }
|
|
|
63
|
|
|
64 int f6(int cond, id<P1> a, void *b) {
|
|
|
65 // This should result in something with id type, currently.
|
|
|
66 return (cond ? a : b).x; // expected-error {{member reference base type 'void *' is not a structure or union}}
|
|
|
67 }
|
|
|
68
|
|
|
69 int f7(int cond, id<P1> a) {
|
|
|
70 return (cond ? a : nil).x;
|
|
|
71 }
|
|
|
72
|
|
|
73 int f8(int cond, id<P1> a, A *b) {
|
|
|
74 return a == b; // expected-warning {{comparison of distinct pointer types ('id<P1>' and 'A *')}}
|
|
|
75 }
|
|
|
76
|
|
|
77 int f9(int cond, id<P1> a, A *b) {
|
|
|
78 return (cond ? a : b).x; // expected-warning {{incompatible operand types ('id<P1>' and 'A *')}} \
|
|
|
79 expected-error {{property 'x' not found on object of type 'id'}}
|
|
|
80 }
|
