annotate clang/test/SemaObjC/call-super-2.m @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 #include <stddef.h>
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 typedef struct objc_object *id;
anatofuz
parents:
diff changeset
6 id objc_getClass(const char *s);
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 @interface Object
anatofuz
parents:
diff changeset
9 - (id) initWithInt: (int) i;
anatofuz
parents:
diff changeset
10 @end
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 @protocol Func
anatofuz
parents:
diff changeset
13 + (int) class_func0;
anatofuz
parents:
diff changeset
14 - (int) instance_func0;
anatofuz
parents:
diff changeset
15 @end
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 @interface Derived: Object // expected-note {{receiver is instance of class declared here}}
anatofuz
parents:
diff changeset
18 + (int) class_func1;
anatofuz
parents:
diff changeset
19 + (int) class_func2;
anatofuz
parents:
diff changeset
20 + (int) class_func3;
anatofuz
parents:
diff changeset
21 + (int) class_func4;
anatofuz
parents:
diff changeset
22 + (int) class_func5;
anatofuz
parents:
diff changeset
23 + (int) class_func6;
anatofuz
parents:
diff changeset
24 + (int) class_func7;
anatofuz
parents:
diff changeset
25 - (int) instance_func1;
anatofuz
parents:
diff changeset
26 - (int) instance_func2;
anatofuz
parents:
diff changeset
27 - (int) instance_func3;
anatofuz
parents:
diff changeset
28 - (int) instance_func4;
anatofuz
parents:
diff changeset
29 - (int) instance_func5;
anatofuz
parents:
diff changeset
30 - (int) instance_func6;
anatofuz
parents:
diff changeset
31 - (int) instance_func7;
anatofuz
parents:
diff changeset
32 - (id) initWithInt: (int) i;
anatofuz
parents:
diff changeset
33 @end
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 @implementation Derived
anatofuz
parents:
diff changeset
36 + (int) class_func1
anatofuz
parents:
diff changeset
37 {
anatofuz
parents:
diff changeset
38 int i = (size_t)[self class_func0]; // expected-warning {{class method '+class_func0' not found (return type defaults to 'id'); did you mean '+class_func}}
anatofuz
parents:
diff changeset
39 return i + (size_t)[super class_func0]; // expected-warning {{class method '+class_func0' not found (return type defaults to 'id')}}
anatofuz
parents:
diff changeset
40 }
anatofuz
parents:
diff changeset
41 + (int) class_func2
anatofuz
parents:
diff changeset
42 {
anatofuz
parents:
diff changeset
43 int i = [(id <Func>)self class_func0];
anatofuz
parents:
diff changeset
44 i += [(id <Func>)super class_func0]; // expected-error {{cannot cast 'super' (it isn't an expression)}}
anatofuz
parents:
diff changeset
45 i += [(Class <Func>)self class_func0]; //
anatofuz
parents:
diff changeset
46 return i + [(Class <Func>)super class_func0]; // // expected-error {{cannot cast 'super' (it isn't an expression)}}
anatofuz
parents:
diff changeset
47 }
anatofuz
parents:
diff changeset
48 + (int) class_func3
anatofuz
parents:
diff changeset
49 {
anatofuz
parents:
diff changeset
50 return [(Object <Func> *)super class_func0]; // expected-error {{cannot cast 'super' (it isn't an expression)}}
anatofuz
parents:
diff changeset
51 }
anatofuz
parents:
diff changeset
52 + (int) class_func4
anatofuz
parents:
diff changeset
53 {
anatofuz
parents:
diff changeset
54 return [(Derived <Func> *)super class_func0]; // expected-error {{cannot cast 'super' (it isn't an expression)}}
anatofuz
parents:
diff changeset
55 }
anatofuz
parents:
diff changeset
56 + (int) class_func5
anatofuz
parents:
diff changeset
57 {
anatofuz
parents:
diff changeset
58 int i = (size_t)[Derived class_func0]; // expected-warning {{class method '+class_func0' not found (return type defaults to 'id')}}
anatofuz
parents:
diff changeset
59 return i + (size_t)[Object class_func0]; // expected-warning {{class method '+class_func0' not found (return type defaults to 'id')}}
anatofuz
parents:
diff changeset
60 }
anatofuz
parents:
diff changeset
61 + (int) class_func6
anatofuz
parents:
diff changeset
62 {
anatofuz
parents:
diff changeset
63 return (size_t)[objc_getClass("Object") class_func1]; // GCC warns about this
anatofuz
parents:
diff changeset
64 }
anatofuz
parents:
diff changeset
65 + (int) class_func7
anatofuz
parents:
diff changeset
66 {
anatofuz
parents:
diff changeset
67 return [objc_getClass("Derived") class_func1];
anatofuz
parents:
diff changeset
68 }
anatofuz
parents:
diff changeset
69 - (int) instance_func1
anatofuz
parents:
diff changeset
70 {
anatofuz
parents:
diff changeset
71 int i = (size_t)[self instance_func0]; // expected-warning {{instance method '-instance_func0' not found (return type defaults to 'id'); did you mean}}
anatofuz
parents:
diff changeset
72 return i + (size_t)[super instance_func0]; // expected-warning {{'Object' may not respond to 'instance_func0'}}
anatofuz
parents:
diff changeset
73 }
anatofuz
parents:
diff changeset
74 - (int) instance_func2
anatofuz
parents:
diff changeset
75 {
anatofuz
parents:
diff changeset
76 return [(id <Func>)super instance_func0]; // expected-error {{cannot cast 'super' (it isn't an expression)}}
anatofuz
parents:
diff changeset
77 }
anatofuz
parents:
diff changeset
78 - (int) instance_func3
anatofuz
parents:
diff changeset
79 {
anatofuz
parents:
diff changeset
80 return [(Object <Func> *)super instance_func0]; // expected-error {{cannot cast 'super' (it isn't an expression)}}
anatofuz
parents:
diff changeset
81 }
anatofuz
parents:
diff changeset
82 - (int) instance_func4
anatofuz
parents:
diff changeset
83 {
anatofuz
parents:
diff changeset
84 return [(Derived <Func> *)super instance_func0]; // expected-error {{cannot cast 'super' (it isn't an expression)}}
anatofuz
parents:
diff changeset
85 }
anatofuz
parents:
diff changeset
86 - (int) instance_func5
anatofuz
parents:
diff changeset
87 {
anatofuz
parents:
diff changeset
88 int i = (size_t)[Derived instance_func1]; // expected-warning {{class method '+instance_func1' not found (return type defaults to 'id')}}
anatofuz
parents:
diff changeset
89 return i + (size_t)[Object instance_func1]; // expected-warning {{class method '+instance_func1' not found (return type defaults to 'id')}}
anatofuz
parents:
diff changeset
90 }
anatofuz
parents:
diff changeset
91 - (int) instance_func6
anatofuz
parents:
diff changeset
92 {
anatofuz
parents:
diff changeset
93 return (size_t)[objc_getClass("Object") class_func1];
anatofuz
parents:
diff changeset
94 }
anatofuz
parents:
diff changeset
95 - (int) instance_func7
anatofuz
parents:
diff changeset
96 {
anatofuz
parents:
diff changeset
97 return [objc_getClass("Derived") class_func1];
anatofuz
parents:
diff changeset
98 }
anatofuz
parents:
diff changeset
99 - (id) initWithInt: (int) i
anatofuz
parents:
diff changeset
100 {
anatofuz
parents:
diff changeset
101 // Don't warn about parentheses here.
anatofuz
parents:
diff changeset
102 if (self = [super initWithInt: i]) {
anatofuz
parents:
diff changeset
103 [self instance_func1];
anatofuz
parents:
diff changeset
104 }
anatofuz
parents:
diff changeset
105 return self;
anatofuz
parents:
diff changeset
106 }
anatofuz
parents:
diff changeset
107 @end
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 @class C;
anatofuz
parents:
diff changeset
110 @interface A // expected-note {{receiver is instance of class declared here}}
anatofuz
parents:
diff changeset
111 - (instancetype)initWithCoder:(A *)coder;
anatofuz
parents:
diff changeset
112 @end
anatofuz
parents:
diff changeset
113
anatofuz
parents:
diff changeset
114 @interface B : A
anatofuz
parents:
diff changeset
115 @end
anatofuz
parents:
diff changeset
116
anatofuz
parents:
diff changeset
117 @implementation B
anatofuz
parents:
diff changeset
118 - (instancetype)initWithCoder:(C *)coder {
anatofuz
parents:
diff changeset
119 if (0 != (self = [super initWithCode:code])) // expected-error {{use of undeclared identifier 'code'}} expected-warning {{instance method '-initWithCode:' not found}}
anatofuz
parents:
diff changeset
120 return (void *)0;
anatofuz
parents:
diff changeset
121 return (void *)0;
anatofuz
parents:
diff changeset
122 }
anatofuz
parents:
diff changeset
123 @end