Clang Project

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