Clang Project

clang_source_code/test/Layout/ms-x86-declspec-empty_bases.cpp
1// RUN: %clang_cc1 -fno-rtti -emit-llvm-only -triple i686-pc-win32 -fms-extensions -fdump-record-layouts -fsyntax-only %s 2>/dev/null \
2// RUN:            | FileCheck %s
3// RUN: %clang_cc1 -fno-rtti -emit-llvm-only -triple x86_64-pc-win32 -fms-extensions -fdump-record-layouts -fsyntax-only %s 2>/dev/null \
4// RUN:            | FileCheck %s
5
6namespace test1 {
7
8struct A {
9  int a;
10};
11struct B {
12  int b;
13};
14struct C {};
15struct __declspec(align(16)) D {};
16struct __declspec(empty_bases) X : A, D, B, C {
17};
18
19// CHECK: *** Dumping AST Record Layout
20// CHECK-NEXT:          0 | struct test1::A
21// CHECK-NEXT:          0 |   int a
22// CHECK-NEXT:            | [sizeof=4, align=4,
23// CHECK-NEXT:            |  nvsize=4, nvalign=4]
24
25// CHECK: *** Dumping AST Record Layout
26// CHECK-NEXT:          0 | struct test1::D (empty)
27// CHECK-NEXT:            | [sizeof=16, align=16,
28// CHECK-NEXT:            |  nvsize=0, nvalign=16]
29
30// CHECK: *** Dumping AST Record Layout
31// CHECK-NEXT:          0 | struct test1::B
32// CHECK-NEXT:          0 |   int b
33// CHECK-NEXT:            | [sizeof=4, align=4,
34// CHECK-NEXT:            |  nvsize=4, nvalign=4]
35
36// CHECK: *** Dumping AST Record Layout
37// CHECK-NEXT:          0 | struct test1::C (empty)
38// CHECK-NEXT:            | [sizeof=1, align=1,
39// CHECK-NEXT:            |  nvsize=0, nvalign=1]
40
41// CHECK: *** Dumping AST Record Layout
42// CHECK-NEXT:          0 | struct test1::X
43// CHECK-NEXT:          0 |   struct test1::A (base)
44// CHECK-NEXT:          0 |     int a
45// CHECK-NEXT:          0 |   struct test1::D (base) (empty)
46// CHECK-NEXT:          0 |   struct test1::C (base) (empty)
47// CHECK-NEXT:          4 |   struct test1::B (base)
48// CHECK-NEXT:          4 |     int b
49// CHECK-NEXT:            | [sizeof=16, align=16,
50// CHECK-NEXT:            |  nvsize=16, nvalign=16]
51
52int _ = sizeof(X);
53}
54
55namespace test2 {
56struct A {
57  int a;
58};
59struct __declspec(empty_bases) B {};
60struct C : A {
61  B b;
62};
63
64struct D {};
65struct E {
66  int e;
67};
68struct F : D, E {};
69
70struct G : C, F {};
71
72int _ = sizeof(G);
73
74// CHECK: *** Dumping AST Record Layout
75// CHECK-NEXT:          0 | struct test2::A
76// CHECK-NEXT:          0 |   int a
77// CHECK-NEXT:            | [sizeof=4, align=4,
78// CHECK-NEXT:            |  nvsize=4, nvalign=4]
79
80// CHECK: *** Dumping AST Record Layout
81// CHECK-NEXT:          0 | struct test2::B (empty)
82// CHECK-NEXT:            | [sizeof=1, align=1,
83// CHECK-NEXT:            |  nvsize=0, nvalign=1]
84
85// CHECK: *** Dumping AST Record Layout
86// CHECK-NEXT:          0 | struct test2::C
87// CHECK-NEXT:          0 |   struct test2::A (base)
88// CHECK-NEXT:          0 |     int a
89// CHECK-NEXT:          4 |   struct test2::B b (empty)
90// CHECK-NEXT:            | [sizeof=8, align=4,
91// CHECK-NEXT:            |  nvsize=8, nvalign=4]
92
93// CHECK: *** Dumping AST Record Layout
94// CHECK-NEXT:          0 | struct test2::D (empty)
95// CHECK-NEXT:            | [sizeof=1, align=1,
96// CHECK-NEXT:            |  nvsize=0, nvalign=1]
97
98// CHECK: *** Dumping AST Record Layout
99// CHECK-NEXT:          0 | struct test2::E
100// CHECK-NEXT:          0 |   int e
101// CHECK-NEXT:            | [sizeof=4, align=4,
102// CHECK-NEXT:            |  nvsize=4, nvalign=4]
103
104// CHECK: *** Dumping AST Record Layout
105// CHECK-NEXT:          0 | struct test2::F
106// CHECK-NEXT:          0 |   struct test2::D (base) (empty)
107// CHECK-NEXT:          0 |   struct test2::E (base)
108// CHECK-NEXT:          0 |     int e
109// CHECK-NEXT:            | [sizeof=4, align=4,
110// CHECK-NEXT:            |  nvsize=4, nvalign=4]
111
112// CHECK: *** Dumping AST Record Layout
113// CHECK-NEXT:          0 | struct test2::G
114// CHECK-NEXT:          0 |   struct test2::C (base)
115// CHECK-NEXT:          0 |     struct test2::A (base)
116// CHECK-NEXT:          0 |       int a
117// CHECK-NEXT:          4 |     struct test2::B b (empty)
118// CHECK-NEXT:          8 |   struct test2::F (base)
119// CHECK-NEXT:          8 |     struct test2::D (base) (empty)
120// CHECK-NEXT:          8 |     struct test2::E (base)
121// CHECK-NEXT:          8 |       int e
122// CHECK-NEXT:            | [sizeof=12, align=4,
123// CHECK-NEXT:            |  nvsize=12, nvalign=4]
124}
125
126namespace test3 {
127struct A {
128  int a;
129};
130struct B {};
131struct C : A {
132  B b;
133};
134
135struct D {};
136struct E {
137  int e;
138};
139struct F : D, E {};
140
141struct __declspec(empty_bases) G : C, F {};
142
143int _ = sizeof(G);
144
145// CHECK: *** Dumping AST Record Layout
146// CHECK-NEXT:          0 | struct test3::A
147// CHECK-NEXT:          0 |   int a
148// CHECK-NEXT:            | [sizeof=4, align=4,
149// CHECK-NEXT:            |  nvsize=4, nvalign=4]
150
151// CHECK: *** Dumping AST Record Layout
152// CHECK-NEXT:          0 | struct test3::B (empty)
153// CHECK-NEXT:            | [sizeof=1, align=1,
154// CHECK-NEXT:            |  nvsize=0, nvalign=1]
155
156// CHECK: *** Dumping AST Record Layout
157// CHECK-NEXT:          0 | struct test3::C
158// CHECK-NEXT:          0 |   struct test3::A (base)
159// CHECK-NEXT:          0 |     int a
160// CHECK-NEXT:          4 |   struct test3::B b (empty)
161// CHECK-NEXT:            | [sizeof=8, align=4,
162// CHECK-NEXT:            |  nvsize=8, nvalign=4]
163
164// CHECK: *** Dumping AST Record Layout
165// CHECK-NEXT:          0 | struct test3::D (empty)
166// CHECK-NEXT:            | [sizeof=1, align=1,
167// CHECK-NEXT:            |  nvsize=0, nvalign=1]
168
169// CHECK: *** Dumping AST Record Layout
170// CHECK-NEXT:          0 | struct test3::E
171// CHECK-NEXT:          0 |   int e
172// CHECK-NEXT:            | [sizeof=4, align=4,
173// CHECK-NEXT:            |  nvsize=4, nvalign=4]
174
175// CHECK: *** Dumping AST Record Layout
176// CHECK-NEXT:          0 | struct test3::F
177// CHECK-NEXT:          0 |   struct test3::D (base) (empty)
178// CHECK-NEXT:          0 |   struct test3::E (base)
179// CHECK-NEXT:          0 |     int e
180// CHECK-NEXT:            | [sizeof=4, align=4,
181// CHECK-NEXT:            |  nvsize=4, nvalign=4]
182
183// CHECK: *** Dumping AST Record Layout
184// CHECK-NEXT:          0 | struct test3::G
185// CHECK-NEXT:          0 |   struct test3::C (base)
186// CHECK-NEXT:          0 |     struct test3::A (base)
187// CHECK-NEXT:          0 |       int a
188// CHECK-NEXT:          4 |     struct test3::B b (empty)
189// CHECK-NEXT:          8 |   struct test3::F (base)
190// CHECK-NEXT:          8 |     struct test3::D (base) (empty)
191// CHECK-NEXT:          8 |     struct test3::E (base)
192// CHECK-NEXT:          8 |       int e
193// CHECK-NEXT:            | [sizeof=12, align=4,
194// CHECK-NEXT:            |  nvsize=12, nvalign=4]
195}
196
197namespace test4 {
198struct A {
199  int a;
200};
201struct B {};
202struct C : A {
203  B b;
204};
205
206struct __declspec(empty_bases) D {};
207struct E {
208  int e;
209};
210struct F : D, E {};
211
212struct G : C, F {};
213
214int _ = sizeof(G);
215
216// CHECK: *** Dumping AST Record Layout
217// CHECK-NEXT:          0 | struct test4::A
218// CHECK-NEXT:          0 |   int a
219// CHECK-NEXT:            | [sizeof=4, align=4,
220// CHECK-NEXT:            |  nvsize=4, nvalign=4]
221
222// CHECK: *** Dumping AST Record Layout
223// CHECK-NEXT:          0 | struct test4::B (empty)
224// CHECK-NEXT:            | [sizeof=1, align=1,
225// CHECK-NEXT:            |  nvsize=0, nvalign=1]
226
227// CHECK: *** Dumping AST Record Layout
228// CHECK-NEXT:          0 | struct test4::C
229// CHECK-NEXT:          0 |   struct test4::A (base)
230// CHECK-NEXT:          0 |     int a
231// CHECK-NEXT:          4 |   struct test4::B b (empty)
232// CHECK-NEXT:            | [sizeof=8, align=4,
233// CHECK-NEXT:            |  nvsize=8, nvalign=4]
234
235// CHECK: *** Dumping AST Record Layout
236// CHECK-NEXT:          0 | struct test4::D (empty)
237// CHECK-NEXT:            | [sizeof=1, align=1,
238// CHECK-NEXT:            |  nvsize=0, nvalign=1]
239
240// CHECK: *** Dumping AST Record Layout
241// CHECK-NEXT:          0 | struct test4::E
242// CHECK-NEXT:          0 |   int e
243// CHECK-NEXT:            | [sizeof=4, align=4,
244// CHECK-NEXT:            |  nvsize=4, nvalign=4]
245
246// CHECK: *** Dumping AST Record Layout
247// CHECK-NEXT:          0 | struct test4::F
248// CHECK-NEXT:          0 |   struct test4::D (base) (empty)
249// CHECK-NEXT:          0 |   struct test4::E (base)
250// CHECK-NEXT:          0 |     int e
251// CHECK-NEXT:            | [sizeof=4, align=4,
252// CHECK-NEXT:            |  nvsize=4, nvalign=4]
253
254// CHECK: *** Dumping AST Record Layout
255// CHECK-NEXT:          0 | struct test4::G
256// CHECK-NEXT:          0 |   struct test4::C (base)
257// CHECK-NEXT:          0 |     struct test4::A (base)
258// CHECK-NEXT:          0 |       int a
259// CHECK-NEXT:          4 |     struct test4::B b (empty)
260// CHECK-NEXT:          8 |   struct test4::F (base)
261// CHECK-NEXT:          8 |     struct test4::D (base) (empty)
262// CHECK-NEXT:          8 |     struct test4::E (base)
263// CHECK-NEXT:          8 |       int e
264// CHECK-NEXT:            | [sizeof=12, align=4,
265// CHECK-NEXT:            |  nvsize=12, nvalign=4]
266}
267
CodeThinker, Enjoy your reading code