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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
| // REQUIRES: aarch64-registered-target
// RUN: %clang_cc1 -triple aarch64-linux-gnu -x c++ -std=c++1z %s -verify
// expected-no-diagnostics
#include <stddef.h>
struct t1
{
int foo : 1;
char : 0;
char bar;
};
static_assert(offsetof(struct t1, bar) == 1);
static_assert(sizeof(struct t1) == 4);
struct t2
{
int foo : 1;
short : 0;
char bar;
};
static_assert(offsetof(struct t2, bar) == 2);
static_assert(sizeof(struct t2) == 4);
struct t3
{
int foo : 1;
int : 0;
char bar;
};
static_assert(offsetof(struct t3, bar) == 4);
static_assert(sizeof(struct t3) == 8);
struct t4
{
int foo : 1;
long : 0;
char bar;
};
static_assert(offsetof(struct t4, bar) == 8);
static_assert(sizeof(struct t4) == 16);
struct t5
{
int foo : 1;
long long : 0;
char bar;
};
static_assert(offsetof(struct t5, bar) == 8);
static_assert(sizeof(struct t5) == 16);
struct t6
{
int foo : 1;
char : 0;
char bar : 1;
char bar2;
};
static_assert(offsetof(struct t6, bar2) == 2);
static_assert(sizeof(struct t6) == 4);
struct t7
{
int foo : 1;
short : 0;
char bar1 : 1;
char bar2;
};
static_assert(offsetof(struct t7, bar2) == 3);
static_assert(sizeof(struct t7) == 4);
struct t8
{
int foo : 1;
int : 0;
char bar1 : 1;
char bar2;
};
static_assert(offsetof(struct t8, bar2) == 5);
static_assert(sizeof(struct t8) == 8);
struct t9
{
int foo : 1;
long : 0;
char bar1 : 1;
char bar2;
};
static_assert(offsetof(struct t9, bar2) == 9);
static_assert(sizeof(struct t9) == 16);
struct t10
{
int foo : 1;
long long : 0;
char bar1 : 1;
char bar2;
};
static_assert(offsetof(struct t10, bar2) == 9);
static_assert(sizeof(struct t10) == 16);
struct t11
{
int foo : 1;
long long : 0;
char : 0;
char bar1 : 1;
char bar2;
};
static_assert(offsetof(struct t11, bar2) == 9);
static_assert(sizeof(struct t11) == 16);
struct t12
{
int foo : 1;
char : 0;
long long : 0;
char : 0;
char bar;
};
static_assert(offsetof(struct t12, bar) == 8);
static_assert(sizeof(struct t12) == 16);
struct t13
{
char foo;
long : 0;
char bar;
};
static_assert(offsetof(struct t13, bar) == 8);
static_assert(sizeof(struct t13) == 16);
struct t14
{
char foo1;
int : 0;
char foo2 : 1;
short foo3 : 16;
char : 0;
short foo4 : 16;
char bar1;
int : 0;
char bar2;
};
static_assert(offsetof(struct t14, bar1) == 10);
static_assert(offsetof(struct t14, bar2) == 12);
static_assert(sizeof(struct t14) == 16);
struct t15
{
char foo;
char : 0;
int : 0;
char bar;
long : 0;
char : 0;
};
static_assert(offsetof(struct t15, bar) == 4);
static_assert(sizeof(struct t15) == 8);
struct t16
{
long : 0;
char bar;
};
static_assert(offsetof(struct t16, bar) == 0);
static_assert(sizeof(struct t16) == 8);
struct t17
{
char foo;
long : 0;
long : 0;
char : 0;
char bar;
};
static_assert(offsetof(struct t17, bar) == 8);
static_assert(sizeof(struct t17) == 16);
struct t18
{
long : 0;
long : 0;
char : 0;
};
static_assert(sizeof(struct t18) == 8);
struct t19
{
char foo1;
long foo2 : 1;
char : 0;
long foo3 : 32;
char bar;
};
static_assert(offsetof(struct t19, bar) == 6);
static_assert(sizeof(struct t19) == 8);
struct t20
{
short : 0;
int foo : 1;
long : 0;
char bar;
};
static_assert(offsetof(struct t20, bar) == 8);
static_assert(sizeof(struct t20) == 16);
struct t21
{
short : 0;
int foo1 : 1;
char : 0;
int foo2 : 16;
long : 0;
char bar1;
int bar2;
long bar3;
char foo3 : 8;
char : 0;
long : 0;
int foo4 : 32;
short foo5: 1;
long bar4;
short foo6: 16;
short foo7: 16;
short foo8: 16;
};
static_assert(offsetof(struct t21, bar1) == 8);
static_assert(offsetof(struct t21, bar2) == 12);
static_assert(offsetof(struct t21, bar3) == 16);
static_assert(offsetof(struct t21, bar4) == 40);
static_assert(sizeof(struct t21) == 56);
// The rules also apply to anonymous bitfields with non-zero length.
struct t22
{
char foo;
short :2;
char bar;
};
static_assert(alignof(struct t22) == 2);
static_assert(offsetof(struct t22, bar) == 2);
int main() {
return 0;
}
|