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
|
// RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s
// rdar://13075400
@protocol FooAsID
@property (copy) id foo; // expected-note 2 {{it could also be property of type 'id' declared here}} \\
// expected-warning {{property of type 'id' was selected for synthesis}}
@end
@protocol FooAsDouble
@property double foo; // expected-warning 2 {{property of type 'double' was selected for synthesis}} \
// expected-note {{it could also be property of type 'double' declared here}}
@end
@protocol FooAsShort
@property short foo; // expected-note {{it could also be property of type 'short' declared here}}
@end
@interface NSObject @end
@interface AnObject : NSObject<FooAsDouble,FooAsID>
@end
@interface Sub : AnObject
@end
@implementation Sub
@synthesize foo=_MyFooIvar; // expected-note {{property synthesized here}}
@end
@interface AnotherObject : NSObject<FooAsDouble, FooAsID,FooAsDouble, FooAsID, FooAsDouble,FooAsID>
@end
@implementation AnotherObject
@synthesize foo=_MyFooIvar; // expected-note {{property synthesized here}}
@end
@interface YetAnotherObject : NSObject<FooAsID,FooAsShort, FooAsDouble,FooAsID, FooAsShort>
@end
@implementation YetAnotherObject
@synthesize foo=_MyFooIvar; // expected-note {{property synthesized here}}
@end
double func(YetAnotherObject *object) {
return [object foo]; // expected-error {{returning 'id' from a function with incompatible result type 'double'}}
}
|
