annotate clang/test/SemaObjC/sizeof-interface.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 c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -verify -fsyntax-only -Wno-objc-root-class %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 @class I0; // expected-note 2{{forward declaration of class here}}
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 // rdar://6811884
anatofuz
parents:
diff changeset
6 int g0 = sizeof(I0); // expected-error{{invalid application of 'sizeof' to an incomplete type 'I0'}}
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 // rdar://6821047
anatofuz
parents:
diff changeset
9 void *g3(I0 *P) {
anatofuz
parents:
diff changeset
10 P = P+5; // expected-error {{arithmetic on a pointer to an incomplete type 'I0'}}
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 return &P[4]; // expected-error{{expected method to read array element not found on object of type 'I0 *'}}
anatofuz
parents:
diff changeset
13 }
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 @interface I0 {
anatofuz
parents:
diff changeset
18 @public
anatofuz
parents:
diff changeset
19 char x[4];
anatofuz
parents:
diff changeset
20 }
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 @property int p0;
anatofuz
parents:
diff changeset
23 @end
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 // size == 4
anatofuz
parents:
diff changeset
26 int g1[ sizeof(I0) // expected-error {{application of 'sizeof' to interface 'I0' is not supported on this architecture and platform}}
anatofuz
parents:
diff changeset
27 == 4 ? 1 : -1];
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 @implementation I0
anatofuz
parents:
diff changeset
30 @synthesize p0 = _p0;
anatofuz
parents:
diff changeset
31 @end
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 // size == 4 (we do not include extended properties in the
anatofuz
parents:
diff changeset
34 // sizeof).
anatofuz
parents:
diff changeset
35 int g2[ sizeof(I0) // expected-error {{application of 'sizeof' to interface 'I0' is not supported on this architecture and platform}}
anatofuz
parents:
diff changeset
36 == 4 ? 1 : -1];
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 @interface I1
anatofuz
parents:
diff changeset
39 @property int p0;
anatofuz
parents:
diff changeset
40 @end
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 @implementation I1
anatofuz
parents:
diff changeset
43 @synthesize p0 = _p0;
anatofuz
parents:
diff changeset
44 @end
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 typedef struct { @defs(I1); } I1_defs; // expected-error {{use of @defs is not supported on this architecture and platform}}
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 // FIXME: This is currently broken due to the way the record layout we
anatofuz
parents:
diff changeset
49 // create is tied to whether we have seen synthesized properties. Ugh.
anatofuz
parents:
diff changeset
50 // int g3[ sizeof(I1) == 0 ? 1 : -1];
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 // rdar://6821047
anatofuz
parents:
diff changeset
53 int bar(I0 *P) {
anatofuz
parents:
diff changeset
54 P = P+5; // expected-error {{arithmetic on pointer to interface 'I0', which is not a constant size for this architecture and platform}}
anatofuz
parents:
diff changeset
55 P = 5+P; // expected-error {{arithmetic on pointer to interface 'I0', which is not a constant size for this architecture and platform}}
anatofuz
parents:
diff changeset
56 P = P-5; // expected-error {{arithmetic on pointer to interface 'I0', which is not a constant size for this architecture and platform}}
anatofuz
parents:
diff changeset
57
anatofuz
parents:
diff changeset
58 return P[4].x[2]; // expected-error {{expected method to read array element not found on object of type 'I0 *'}}
anatofuz
parents:
diff changeset
59 }
anatofuz
parents:
diff changeset
60
anatofuz
parents:
diff changeset
61
anatofuz
parents:
diff changeset
62 @interface I @end
anatofuz
parents:
diff changeset
63
anatofuz
parents:
diff changeset
64 @interface XCAttributeRunDirectNode
anatofuz
parents:
diff changeset
65 {
anatofuz
parents:
diff changeset
66 @public
anatofuz
parents:
diff changeset
67 unsigned long attributeRuns[1024 + sizeof(I)]; // expected-error {{application of 'sizeof' to interface 'I' is not supported on this architecture and platform}}
anatofuz
parents:
diff changeset
68 int i;
anatofuz
parents:
diff changeset
69 }
anatofuz
parents:
diff changeset
70 @end
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 @implementation XCAttributeRunDirectNode
anatofuz
parents:
diff changeset
73
anatofuz
parents:
diff changeset
74 - (unsigned long)gatherStats:(id )stats
anatofuz
parents:
diff changeset
75 {
anatofuz
parents:
diff changeset
76 return attributeRuns[i];
anatofuz
parents:
diff changeset
77 }
anatofuz
parents:
diff changeset
78 @end
anatofuz
parents:
diff changeset
79
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 @interface Foo @end
anatofuz
parents:
diff changeset
82
anatofuz
parents:
diff changeset
83 int foo()
anatofuz
parents:
diff changeset
84 {
anatofuz
parents:
diff changeset
85 Foo *f;
anatofuz
parents:
diff changeset
86
anatofuz
parents:
diff changeset
87 // Both of these crash clang nicely
anatofuz
parents:
diff changeset
88 ++f; // expected-error {{arithmetic on pointer to interface 'Foo', which is not a constant size for this architecture and platform}}
anatofuz
parents:
diff changeset
89 --f; // expected-error {{arithmetic on pointer to interface 'Foo', which is not a constant size for this architecture and platform}}
anatofuz
parents:
diff changeset
90 }