1// RUN: %clang_cc1 %s -fsyntax-only -verify 2// RUN: %clang_cc1 -x objective-c++ %s -fsyntax-only -verify 3 4// Inherited overridden protocol declared objects don't work 5// Case for c++ 6 7@protocol NSObject @end 8@interface NSObject @end 9 10@protocol FooDelegate<NSObject> 11@optional 12- (void)fooTask; 13@end 14 15@protocol BarDelegate<NSObject, FooDelegate> 16@optional 17- (void)barTask; 18@end 19 20@interface Foo : NSObject { 21 id _delegate; 22} 23@property(nonatomic, assign) id<FooDelegate> delegate; 24@property(nonatomic, assign) id<BarDelegate> delegate2; // expected-note {{property declared here}} 25@end 26@interface Bar : Foo { 27} 28@property(nonatomic, assign) id<BarDelegate> delegate; 29@property(nonatomic, assign) id<FooDelegate> delegate2; // expected-warning{{property type 'id<FooDelegate>' is incompatible with type 'id<BarDelegate>' inherited from 'Foo'}} 30@end 31 32@interface NSData @end 33 34@interface NSMutableData : NSData @end 35 36@interface Base : NSData 37@property(assign) id ref; 38@property(assign) Base *p_base; 39@property(assign) NSMutableData *p_data; // expected-note {{property declared here}} 40@end 41 42@interface Data : Base 43@property(assign) NSData *ref; 44@property(assign) Data *p_base; 45@property(assign) NSData *p_data; // expected-warning{{property type 'NSData *' is incompatible with type 'NSMutableData *' inherited from 'Base'}} 46@end 47 48@protocol P1 49@property (nonatomic) void* selected; 50@end 51 52@protocol P2 53@property (nonatomic) void* selected; // expected-note {{property declared here}} 54@end 55 56@interface MKAnnotationView <P1> 57@property (nonatomic) void* selected; // expected-note {{property declared here}} 58@property (nonatomic) char selected2; 59@end 60 61@interface Parent : MKAnnotationView <P2> 62@property (nonatomic) void* selected1; // expected-note {{property declared here}} 63@property (nonatomic) char selected2; 64@end 65 66@interface Child : Parent 67@property (nonatomic) char selected; // expected-warning {{property type 'char' is incompatible with type 'void *' inherited from 'MKAnnotationView'}} \ 68 // expected-warning {{property type 'char' is incompatible with type 'void *' inherited from 'P2'}} 69@property (nonatomic) char selected1; // expected-warning {{property type 'char' is incompatible with type 'void *' inherited from 'Parent'}} 70@property (nonatomic) char selected2; 71@end 72