132 lines · plain
1// RUN: %clang_cc1 -fsyntax-only -verify -pedantic -Wno-objc-root-class %s2@protocol NSObject3@end4 5@protocol DTOutputStreams <NSObject>6@end7 8@interface DTFilterOutputStream <DTOutputStreams>9- nextOutputStream;10@end11 12@implementation DTFilterOutputStream13- (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@end22 23@interface DTFilterOutputStream224- nextOutputStream; // expected-note {{method 'nextOutputStream' declared here}}25@end26 27@implementation DTFilterOutputStream2 // 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 {{assigning to 'DTFilterOutputStream2 *' from incompatible type 'id<DTOutputStreams>'}}31 return nextOutputStream ? nextOutputStream : self; // expected-warning {{incompatible operand types ('id<DTOutputStreams>' and 'DTFilterOutputStream2 *')}}32}33@end34 35// No @interface declaration for DTFilterOutputStream336@implementation DTFilterOutputStream3 // expected-warning {{cannot find interface declaration for 'DTFilterOutputStream3'}} \37 // expected-note {{receiver is instance of class declared here}}38- (id)initWithNextOutputStream:(id <DTOutputStreams>) outputStream {39 id <DTOutputStreams> nextOutputStream = [self nextOutputStream]; // expected-warning {{method '-nextOutputStream' not found (return type defaults to 'id')}}40 self = nextOutputStream; // expected-warning {{assigning to 'DTFilterOutputStream3 *' from incompatible type 'id<DTOutputStreams>'}}41 return nextOutputStream ? nextOutputStream : self; // expected-warning {{incompatible operand types ('id<DTOutputStreams>' and 'DTFilterOutputStream3 *')}}42}43@end44 45//46 47@protocol P048@property int intProp;49@end50@protocol P151@end52@protocol P253@end54@protocol P3 <P1>55@end56@protocol P4 <P1>57@end58 59@interface A <P0>60@end61 62@interface B : A63@end64 65@interface C66@end67 68@interface D69@end70 71@interface E : A72@end73 74void f0(id<P0> x) {75 x.intProp = 1;76}77 78void f1(int cond, id<P0> x, id<P0> y) {79 (cond ? x : y).intProp = 1;80}81 82void f2(int cond, id<P0> x, A *y) {83 (cond ? x : y).intProp = 1;84}85 86void f3(int cond, id<P0> x, B *y) {87 (cond ? x : y).intProp = 1;88}89 90void f4(int cond, id x, B *y) {91 (cond ? x : y).intProp = 1; // expected-error {{property 'intProp' not found on object of type 'id'}}92}93 94void f5(int cond, id<P0> x, C *y) {95 (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'}}96}97 98void f6(int cond, C *x, D *y) {99 (cond ? x : y).intProp = 1; // expected-warning {{incompatible operand types}}, expected-error {{property 'intProp' not found on object of type 'id'}}100}101 102id f7(int a, id<P0> x, A* p) {103 return a ? x : p;104}105 106int f8(int a, A<P0> *x, A *y) {107 return [ (a ? x : y ) intProp ];108}109 110void f9(int a, A<P0> *x, A<P1> *y) {111 id l0 = (a ? x : y ); // Ok. y is of A<P1> object type and A is qualified by P0.112 A<P0> *l1 = (a ? x : y ); // Ok. y is of A<P1> object type and A is qualified by P0.113 A<P1> *l2 = (a ? x : y ); // expected-error {{incompatible pointer types initializing 'A<P1> *' with an expression of type 'A<P0> *'}}114 (void)[ (a ? x : y ) intProp ]; // Ok. Common type is A<P0> * and P0's property intProp is accessed.115}116 117void f10(int a, id<P0> x, id y) {118 [ (a ? x : y ) intProp ];119}120 121void f11(int a, id<P0> x, id<P1> y) {122 [ (a ? x : y ) intProp ]; // expected-warning {{incompatible operand types ('id<P0>' and 'id<P1>')}}123}124 125void f12(int a, A<P0> *x, A<P1> *y) {126 A<P1>* l0 = (a ? x : y ); // expected-error {{incompatible pointer types initializing 'A<P1> *' with an expression of type 'A<P0> *'}}127}128 129void f13(int a, B<P3, P0> *x, E<P0, P4> *y) {130 int *ip = a ? x : y; // expected-error{{incompatible pointer types initializing 'int *' with an expression of type 'A<P1> *'}}131}132