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
|
// RUN: %clang --target=x86_64-apple-macosx -c -gdwarf -o %t %s
// RUN: %lldb %t \
// RUN: -o "target var global" \
// RUN: -o "target var global2" \
// RUN: -o "target var global3" \
// RUN: -o "target var global4" \
// RUN: -o "target var global5" \
// RUN: -o "image dump ast" \
// RUN: -o exit | FileCheck %s
// CHECK: (lldb) image dump ast
// CHECK: CXXRecordDecl {{.*}} struct Foo definition
// CHECK: |-FieldDecl {{.*}} data 'char[5]'
// CHECK-NEXT: |-FieldDecl {{.*}} padding 'Empty'
// CHECK-NEXT: `-FieldDecl {{.*}} flag 'unsigned long'
// CHECK-NEXT: `-ConstantExpr {{.*}}
// CHECK-NEXT: |-value: Int 1
// CHECK-NEXT: `-IntegerLiteral {{.*}} 'int' 1
struct Empty {};
struct Empty2 {};
struct Empty3 {};
struct Foo {
char data[5];
[[no_unique_address]] Empty padding;
unsigned long flag : 1;
};
Foo global;
// CHECK: CXXRecordDecl {{.*}} struct ConsecutiveOverlap definition
// CHECK: |-FieldDecl {{.*}} data 'char[5]'
// CHECK-NEXT: |-FieldDecl {{.*}} p1 'Empty'
// CHECK-NEXT: |-FieldDecl {{.*}} p2 'Empty2'
// CHECK-NEXT: |-FieldDecl {{.*}} p3 'Empty3'
// CHECK-NEXT: `-FieldDecl {{.*}} flag 'unsigned long'
// CHECK-NEXT: `-ConstantExpr {{.*}}
// CHECK-NEXT: |-value: Int 1
// CHECK-NEXT: `-IntegerLiteral {{.*}} 'int' 1
struct ConsecutiveOverlap {
char data[5];
[[no_unique_address]] Empty p1;
[[no_unique_address]] Empty2 p2;
[[no_unique_address]] Empty3 p3;
unsigned long flag : 1;
};
ConsecutiveOverlap global2;
// FIXME: we fail to deduce the unnamed bitfields here.
//
// CHECK: CXXRecordDecl {{.*}} struct MultipleAtOffsetZero definition
// CHECK: |-FieldDecl {{.*}} data 'char[5]'
// CHECK-NEXT: |-FieldDecl {{.*}} p1 'Empty'
// CHECK-NEXT: |-FieldDecl {{.*}} f1 'unsigned long'
// CHECK-NEXT: | `-ConstantExpr {{.*}}
// CHECK-NEXT: | |-value: Int 1
// CHECK-NEXT: | `-IntegerLiteral {{.*}} 'int' 1
// CHECK-NEXT: |-FieldDecl {{.*}} p2 'Empty2'
// CHECK-NEXT: `-FieldDecl {{.*}} f2 'unsigned long'
// CHECK-NEXT: | `-ConstantExpr {{.*}}
// CHECK-NEXT: | |-value: Int 1
// CHECK-NEXT: | `-IntegerLiteral {{.*}} 'int' 1
struct MultipleAtOffsetZero {
char data[5];
[[no_unique_address]] Empty p1;
int : 4;
unsigned long f1 : 1;
[[no_unique_address]] Empty2 p2;
int : 4;
unsigned long f2 : 1;
};
MultipleAtOffsetZero global3;
// FIXME: we fail to deduce the unnamed bitfields here.
//
// CHECK: CXXRecordDecl {{.*}} struct MultipleEmpty definition
// CHECK: |-FieldDecl {{.*}} data 'char[5]'
// CHECK-NEXT: |-FieldDecl {{.*}} p1 'Empty'
// CHECK-NEXT: |-FieldDecl {{.*}} f1 'unsigned long'
// CHECK-NEXT: | `-ConstantExpr {{.*}}
// CHECK-NEXT: | |-value: Int 1
// CHECK-NEXT: | `-IntegerLiteral {{.*}} 'int' 1
// CHECK-NEXT: |-FieldDecl {{.*}} p2 'Empty'
// CHECK-NEXT: `-FieldDecl {{.*}} f2 'unsigned long'
// CHECK-NEXT: | `-ConstantExpr {{.*}}
// CHECK-NEXT: | |-value: Int 1
// CHECK-NEXT: | `-IntegerLiteral {{.*}} 'int' 1
struct MultipleEmpty {
char data[5];
[[no_unique_address]] Empty p1;
int : 4;
unsigned long f1 : 1;
[[no_unique_address]] Empty p2;
int : 4;
unsigned long f2 : 1;
};
MultipleEmpty global4;
// CHECK: CXXRecordDecl {{.*}} struct FieldBitfieldOverlap definition
// CHECK: |-FieldDecl {{.*}} a 'int'
// CHECK-NEXT: | `-ConstantExpr {{.*}}
// CHECK-NEXT: | |-value: Int 3
// CHECK-NEXT: | `-IntegerLiteral {{.*}} 'int' 3
// CHECK-NEXT: |-FieldDecl {{.*}} p1 'Empty'
// CHECK-NEXT: |-FieldDecl {{.*}} b 'int'
// CHECK-NEXT: | `-ConstantExpr {{.*}}
// CHECK-NEXT: | |-value: Int 6
// CHECK-NEXT: | `-IntegerLiteral {{.*}} 'int' 6
// CHECK-NEXT: `-FieldDecl {{.*}} c 'int'
// CHECK-NEXT: `-ConstantExpr {{.*}}
// CHECK-NEXT: |-value: Int 1
// CHECK-NEXT: `-IntegerLiteral {{.*}} 'int' 1
struct FieldBitfieldOverlap {
int a : 3;
[[no_unique_address]] Empty p1;
int b : 6;
int c : 1;
};
FieldBitfieldOverlap global5;
|
