summaryrefslogtreecommitdiff
path: root/gcc/testsuite/objc.dg/property/at-property-20.m
blob: 1bb49da2b78d7723469f8b9392d85047c5ab370d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
/* Contributed by Nicola Pero <nicola.pero@meta-innovation.com>, November 2010.  */
/* { dg-do compile } */

#include <objc/objc.h>

/* Test that if you have a property declared in a class and a
   sub-class, the types match (unless it's a readonly property, in
   which case a "specialization" is enough).  */

@protocol MyProtocolA
- (void) doNothingA;
@end

@protocol MyProtocolB
- (void) doNothingB;
@end

@interface MyRootClass
{
  Class isa;
}
@end

@interface MySubClass1 : MyRootClass
@end

@interface MySubClass2 : MyRootClass
@end

@interface MySubClass3 : MyRootClass <MyProtocolA>
@end

@interface MySubClass4 : MySubClass1
@end

/* Now, the test.  */

@interface MyClass : MyRootClass
{ }
@property (assign) id <MyProtocolA> a;        /* { dg-message "originally specified here" } */
@property int b;                              /* { dg-message "originally specified here" } */
@property float c;                            /* { dg-message "originally specified here" } */
@property (assign) MyRootClass *d;            /* { dg-message "originally specified here" } */
@property (assign) MySubClass1 *e;            /* { dg-message "originally specified here" } */
@property (assign, readonly) MySubClass1 *f;  /* { dg-message "originally specified here" } */
@property (assign) MySubClass3 *g;            /* { dg-message "originally specified here" } */
@property (assign, readonly) MySubClass3 *h;  /* { dg-message "originally specified here" } */
@end

/* The following are all OK because they are identical.  */
@interface MyClass2 : MyClass
{ }
@property (assign) id a;
@property int b;
@property float c;
@property (assign) MyRootClass *d;
@property (assign) MySubClass1 *e;
@property (assign, readonly) MySubClass1 *f;
@property (assign) MySubClass3 *g;
@property (assign, readonly) MySubClass3 *h;
@end

/* The following are not OK.  */
@interface MyClass3 : MyClass
{ }
@property (assign) MySubClass1 *a;            /* { dg-warning "type of property .a. conflicts with previous declaration" } */
@property float b;                            /* { dg-warning "type of property .b. conflicts with previous declaration" } */
@property int c;                              /* { dg-warning "type of property .c. conflicts with previous declaration" } */
@property (assign) id d;                      /* { dg-warning "type of property .d. conflicts with previous declaration" } */
@property (assign) MyRootClass *e;            /* { dg-warning "type of property .e. conflicts with previous declaration" } */
@property (assign, readonly) MyRootClass *f;  /* { dg-warning "type of property .f. conflicts with previous declaration" } */
@property (assign) MySubClass2 *g;            /* { dg-warning "type of property .g. conflicts with previous declaration" } */
@property (assign, readonly) MySubClass2 *h;  /* { dg-warning "type of property .h. conflicts with previous declaration" } */
@end

/* The following are OK.  */
@interface MyClass4 : MyClass
{ }
@property (assign, readonly) MySubClass4 *f;
@property (assign, readonly) MySubClass3 <MyProtocolB> *h;
@end