72 lines · plain
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 work5// Case for c++6 7@protocol NSObject @end8@interface NSObject @end9 10@protocol FooDelegate<NSObject>11@optional12- (void)fooTask;13@end14 15@protocol BarDelegate<NSObject, FooDelegate>16@optional17- (void)barTask;18@end19 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@end26@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@end31 32@interface NSData @end33 34@interface NSMutableData : NSData @end35 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@end41 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@end47 48@protocol P149@property (nonatomic) void* selected;50@end51 52@protocol P253@property (nonatomic) void* selected; // expected-note {{property declared here}}54@end55 56@interface MKAnnotationView <P1>57@property (nonatomic) void* selected; // expected-note {{property declared here}}58@property (nonatomic) char selected2;59@end60 61@interface Parent : MKAnnotationView <P2>62@property (nonatomic) void* selected1; // expected-note {{property declared here}}63@property (nonatomic) char selected2;64@end65 66@interface Child : Parent67@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@end72