1// RUN: clang-cc -fsyntax-only -verify -pedantic %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;
25@end
26
27@implementation DTFilterOutputStream2 // expected-warning {{incomplete implementation}} expected-warning {{method definition for 'nextOutputStream' not found}}
28- (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream {
29  id <DTOutputStreams> nextOutputStream = [self nextOutputStream];
30  self = nextOutputStream; // expected-warning {{incompatible type assigning 'id<DTOutputStreams>', expected 'DTFilterOutputStream2 *'}}
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 {{incompatible type assigning 'id<DTOutputStreams>', expected 'DTFilterOutputStream3 *'}}
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
66void f0(id<P0> x) {
67  x.intProp = 1;
68}
69
70void f1(int cond, id<P0> x, id<P0> y) {
71  (cond ? x : y).intProp = 1;
72}
73
74void f2(int cond, id<P0> x, A *y) {
75  (cond ? x : y).intProp = 1;
76}
77
78void f3(int cond, id<P0> x, B *y) {
79  (cond ? x : y).intProp = 1;
80}
81
82void 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
86void 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
90void 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
94id f7(int a, id<P0> x, A* p) {
95  return a ? x : p;
96}
97
98void f8(int a, A<P0> *x, A *y) {
99  [ (a ? x : y ) intProp ];
100}
101
102void 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
109void f10(int a, id<P0> x, id y) {
110  [ (a ? x : y ) intProp ];
111}
112
113void 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
117void 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