1 // RUN: %clang_cc1 -fsyntax-only -verify -pedantic %s
5 @protocol DTOutputStreams <NSObject>
8 @interface DTFilterOutputStream <DTOutputStreams>
12 @implementation DTFilterOutputStream
13 - (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream {
14 id <DTOutputStreams> nextOutputStream = [self nextOutputStream];
15 self = nextOutputStream;
16 return nextOutputStream ? nextOutputStream : self;
23 @interface DTFilterOutputStream2
24 - nextOutputStream; // expected-note {{{{method definition for 'nextOutputStream' not found}}
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 *')}}
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 *')}}
47 @property int intProp;
70 void f1(int cond, id<P0> x, id<P0> y) {
71 (cond ? x : y).intProp = 1;
74 void f2(int cond, id<P0> x, A *y) {
75 (cond ? x : y).intProp = 1;
78 void f3(int cond, id<P0> x, B *y) {
79 (cond ? x : y).intProp = 1;
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'}}
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'}}
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'}}
94 id f7(int a, id<P0> x, A* p) {
98 void f8(int a, A<P0> *x, A *y) {
99 [ (a ? x : y ) intProp ];
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> *')}}
109 void f10(int a, id<P0> x, id y) {
110 [ (a ? x : y ) intProp ];
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>')}}
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> *')}}