150
|
1 // RUN: %clang_cc1 %s -fsyntax-only -verify
|
|
2 // RUN: %clang_cc1 -x objective-c++ %s -fsyntax-only -verify
|
|
3
|
|
4 // rdar://6497242 Inherited overridden protocol declared objects don't work
|
|
5 // rdar://9740328 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 // rdar://15967517
|
|
49 @protocol P1
|
|
50 @property (nonatomic) void* selected;
|
|
51 @end
|
|
52
|
|
53 @protocol P2
|
|
54 @property (nonatomic) void* selected; // expected-note {{property declared here}}
|
|
55 @end
|
|
56
|
|
57 @interface MKAnnotationView <P1>
|
|
58 @property (nonatomic) void* selected; // expected-note {{property declared here}}
|
|
59 @property (nonatomic) char selected2;
|
|
60 @end
|
|
61
|
|
62 @interface Parent : MKAnnotationView <P2>
|
|
63 @property (nonatomic) void* selected1; // expected-note {{property declared here}}
|
|
64 @property (nonatomic) char selected2;
|
|
65 @end
|
|
66
|
|
67 @interface Child : Parent
|
|
68 @property (nonatomic) char selected; // expected-warning {{property type 'char' is incompatible with type 'void *' inherited from 'MKAnnotationView'}} \
|
|
69 // expected-warning {{property type 'char' is incompatible with type 'void *' inherited from 'P2'}}
|
|
70 @property (nonatomic) char selected1; // expected-warning {{property type 'char' is incompatible with type 'void *' inherited from 'Parent'}}
|
|
71 @property (nonatomic) char selected2;
|
|
72 @end
|