| 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 | } |
|---|
| 81 | |
|---|