1 // RUN: %clang_cc1 -fsyntax-only -verify -pedantic -Wno-objc-root-class %s 2 @protocol NSObject 3 @end 4 5 @protocol DTOutputStreams <NSObject> 6 @end 7 8 @interface DTFilterOutputStream <DTOutputStreams> 9 - nextOutputStream; 10 @end 11 12 @implementation DTFilterOutputStream 13 - (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream { 14 id <DTOutputStreams> nextOutputStream = [self nextOutputStream]; 15 self = nextOutputStream; 16 return nextOutputStream ? nextOutputStream : self; 17 } 18 - nextOutputStream { 19 return self; 20 } 21 @end 22 23 @interface DTFilterOutputStream2 24 - nextOutputStream; // expected-note {{method definition for 'nextOutputStream' not found}} 25 @end 26 27 @implementation DTFilterOutputStream2 // expected-warning {{incomplete implementation}} 28 - (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream { 29 id <DTOutputStreams> nextOutputStream = [self nextOutputStream]; 30 self = nextOutputStream; // expected-warning {{assigning to 'DTFilterOutputStream2 *' from incompatible type 'id<DTOutputStreams>'}} 31 return nextOutputStream ? nextOutputStream : self; // expected-warning {{incompatible operand types ('id<DTOutputStreams>' and 'DTFilterOutputStream2 *')}} 32 } 33 @end 34 35 // No @interface declaration for DTFilterOutputStream3 36 @implementation DTFilterOutputStream3 // expected-warning {{cannot find interface declaration for 'DTFilterOutputStream3'}} 37 - (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream { 38 id <DTOutputStreams> nextOutputStream = [self nextOutputStream]; // expected-warning {{method '-nextOutputStream' not found (return type defaults to 'id')}} 39 self = nextOutputStream; // expected-warning {{assigning to 'DTFilterOutputStream3 *' from incompatible type 'id<DTOutputStreams>'}} 40 return nextOutputStream ? nextOutputStream : self; // expected-warning {{incompatible operand types ('id<DTOutputStreams>' and 'DTFilterOutputStream3 *')}} 41 } 42 @end 43 44 // 45 46 @protocol P0 47 @property int intProp; 48 @end 49 @protocol P1 50 @end 51 @protocol P2 52 @end 53 54 @interface A <P0> 55 @end 56 57 @interface B : A 58 @end 59 60 @interface C 61 @end 62 63 @interface D 64 @end 65 66 void f0(id<P0> x) { 67 x.intProp = 1; 68 } 69 70 void f1(int cond, id<P0> x, id<P0> y) { 71 (cond ? x : y).intProp = 1; 72 } 73 74 void f2(int cond, id<P0> x, A *y) { 75 (cond ? x : y).intProp = 1; 76 } 77 78 void f3(int cond, id<P0> x, B *y) { 79 (cond ? x : y).intProp = 1; 80 } 81 82 void f4(int cond, id x, B *y) { 83 (cond ? x : y).intProp = 1; // expected-error {{property 'intProp' not found on object of type 'id'}} 84 } 85 86 void f5(int cond, id<P0> x, C *y) { 87 (cond ? x : y).intProp = 1; // expected-warning {{incompatible operand types ('id<P0>' and 'C *')}} expected-error {{property 'intProp' not found on object of type 'id'}} 88 } 89 90 void f6(int cond, C *x, D *y) { 91 (cond ? x : y).intProp = 1; // expected-warning {{incompatible operand types}}, expected-error {{property 'intProp' not found on object of type 'id'}} 92 } 93 94 id f7(int a, id<P0> x, A* p) { 95 return a ? x : p; 96 } 97 98 void f8(int a, A<P0> *x, A *y) { 99 [ (a ? x : y ) intProp ]; 100 } 101 102 void f9(int a, A<P0> *x, A<P1> *y) { 103 id l0 = (a ? x : y ); // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}} 104 A<P0> *l1 = (a ? x : y ); // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}} 105 A<P1> *l2 = (a ? x : y ); // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}} 106 [ (a ? x : y ) intProp ]; // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}} 107 } 108 109 void f10(int a, id<P0> x, id y) { 110 [ (a ? x : y ) intProp ]; 111 } 112 113 void f11(int a, id<P0> x, id<P1> y) { 114 [ (a ? x : y ) intProp ]; // expected-warning {{incompatible operand types ('id<P0>' and 'id<P1>')}} 115 } 116 117 void f12(int a, A<P0> *x, A<P1> *y) { 118 A<P1>* l0 = (a ? x : y ); // expected-warning {{incompatible operand types ('A<P0> *' and 'A<P1> *')}} 119 } 120
