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
