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
82
83
84
85
86
|
// RUN: %clang_cc1 -x objective-c -verify -fobjc-arc %s
@interface NSObject
+ (instancetype)new;
+ (instancetype)alloc;
- (void)declaredInSuper;
@end
@interface NSObject (Category)
- (void)declaredInSuperCategory;
@end
@interface Sub: NSObject
- (instancetype)init __attribute__((unavailable)); // expected-note 4 {{'init' has been explicitly marked unavailable here}}
- (void)notImplemented __attribute__((unavailable));
- (void)declaredInSuper __attribute__((unavailable));
- (void)declaredInSuperCategory __attribute__((unavailable));
@end
@implementation Sub
+ (Sub *)create {
return [[self alloc] init];
}
+ (Sub *)create2 {
return [self new];
}
+ (Sub *)create3 {
return [Sub new];
}
- (instancetype) init {
return self;
}
- (void)reportUseOfUnimplemented {
[self notImplemented];
}
- (void)allowSuperCallUsingSelf {
[self declaredInSuper];
[[Sub alloc] declaredInSuper];
[self declaredInSuperCategory];
[[Sub alloc] declaredInSuperCategory];
}
@end
@interface SubClassContext: Sub
@end
@implementation SubClassContext
- (void)subClassContext {
(void)[[Sub alloc] init]; // expected-error {{'init' is unavailable}}
(void)[Sub new]; // expected-error {{'new' is unavailable}}
}
@end
void unrelatedContext(void) {
(void)[[Sub alloc] init]; // expected-error {{'init' is unavailable}}
(void)[Sub new]; // expected-error {{'new' is unavailable}}
}
@interface X @end
@interface X (Foo)
-(void)meth __attribute__((unavailable));
@end
@implementation X (Foo)
-(void)meth {}
-(void)call_it { [self meth]; }
@end
|
