fb9a0cd278
When a class indirectly inherits from a class with virtual bases, it
will get an `LF_IVBCLASS` record in its fieldlist, even though it
doesn't directly inherit that class.
In the following example, `UserUser` inherits from `User`, which
virtually inherits from `VBase`:
```cpp
struct User : public virtual VBase {};
struct UserUser : public User {};
```
For this we get
```
0x1015 | LF_FIELDLIST [size = 72]
- LF_BCLASS
type = 0x1002 (-> 0x102A), offset = 0, attrs = public
- LF_IVBCLASS
base = 0x1003, vbptr = 0x1005, vbptr offset = 0, vtable index = 1
attrs = public (...)
0x1016 | LF_STRUCTURE [size = 48] `UserUser`
unique name: `.?AUUserUser@@`
vtable: <no type>, base list: <no type>, field list: 0x1015
options: has ctor / dtor | has unique name | overloaded operator | overloaded operator=, sizeof 16
0x1029 | LF_FIELDLIST [size = 56]
- LF_VBCLASS
base = 0x1003, vbptr = 0x1005, vbptr offset = 0, vtable index = 1
attrs = public (...)
0x102A | LF_STRUCTURE [size = 40] `User`
unique name: `.?AUUser@@`
vtable: <no type>, base list: <no type>, field list: 0x1029
options: has ctor / dtor | has unique name | overloaded operator | overloaded operator=, sizeof 16
```
If I understand correctly, then `LF_IVBCLASS` indicates that if this
class (e.g. `UserUser`) is created as the most derived object, it will
host the class (e.g. `VBase`).
The VS debugger actually shows this as a separate field. LLDB on the
other hand doesn't, so I removed it.
---------
Co-authored-by: Zequan Wu <zequanwu@google.com>
127 lines
2.8 KiB
Plaintext
127 lines
2.8 KiB
Plaintext
# REQUIRES: target-windows
|
|
|
|
# Test UDT layout reconstruction
|
|
# RUN: split-file %s %t
|
|
# RUN: %build --compiler=clang-cl -o %t.exe -- %t/main.cpp
|
|
# RUN: %lldb -f %t.exe -s %t/commands.input 2>&1 | FileCheck %s
|
|
|
|
#--- main.cpp
|
|
|
|
// this is from the DIA plugin (UdtLayoutTest.cpp)
|
|
struct A {
|
|
explicit A(int u) { _u._u3 = u; }
|
|
A(const A &) = default;
|
|
virtual ~A() = default;
|
|
|
|
private:
|
|
union U {
|
|
char _u1;
|
|
short _u2;
|
|
int _u3;
|
|
};
|
|
|
|
A::U _u;
|
|
};
|
|
|
|
#pragma pack(push, 1)
|
|
template <int I> struct B : public virtual A {
|
|
B(char a, unsigned short b, int c) : A(a + b + c), _a(a), _b(b), _c(c) {}
|
|
|
|
private:
|
|
char _a;
|
|
unsigned short : 3;
|
|
unsigned short _b : 6;
|
|
unsigned short : 4;
|
|
int _c;
|
|
};
|
|
#pragma pack(pop)
|
|
|
|
#pragma pack(push, 16)
|
|
class C : private virtual B<0>, public virtual B<1>, private B<2>, public B<3> {
|
|
public:
|
|
C(char x, char y, char z)
|
|
: A(x - y + z), B<0>(x, y, z), B<1>(x * 2, y * 2, z * 2),
|
|
B<2>(x * 3, y * 3, z * 3), B<3>(x * 4, y * 4, z * 4), _x(x * 5),
|
|
_y(y * 5), _z(z * 5) {}
|
|
|
|
static int abc;
|
|
|
|
private:
|
|
int _x;
|
|
short _y;
|
|
char _z;
|
|
};
|
|
int C::abc = 123;
|
|
#pragma pack(pop)
|
|
|
|
class List {
|
|
public:
|
|
List() = default;
|
|
List(List *p, List *n, C v) : Prev(p), Next(n), Value(v) {}
|
|
|
|
private:
|
|
List *Prev = nullptr;
|
|
List *Next = nullptr;
|
|
C Value{1, 2, 3};
|
|
};
|
|
|
|
int main() {
|
|
List ls[16];
|
|
return 0; // break here
|
|
}
|
|
|
|
#--- commands.input
|
|
|
|
settings set target.max-children-depth 10
|
|
br set -p "break here"
|
|
run
|
|
target variable
|
|
frame variable
|
|
quit
|
|
|
|
# CHECK: (int) ::C::abc = 123
|
|
|
|
# CHECK: (List[16]) ls = {
|
|
# CHECK: [15] = {
|
|
# CHECK-NEXT: Prev = nullptr
|
|
# CHECK-NEXT: Next = nullptr
|
|
# CHECK-NEXT: Value = {
|
|
# CHECK-NEXT: B<2> = {
|
|
# CHECK-NEXT: A = {
|
|
# CHECK-NEXT: _u = (_u1 = '\x02', _u2 = 2, _u3 = 2)
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: _a = '\x03'
|
|
# CHECK-NEXT: _b = 6
|
|
# CHECK-NEXT: _c = 9
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: B<3> = {
|
|
# CHECK-NEXT: A = {
|
|
# CHECK-NEXT: _u = (_u1 = '\x02', _u2 = 2, _u3 = 2)
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: _a = '\x04'
|
|
# CHECK-NEXT: _b = 8
|
|
# CHECK-NEXT: _c = 12
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: B<0> = {
|
|
# CHECK-NEXT: A = {
|
|
# CHECK-NEXT: _u = (_u1 = '\x02', _u2 = 2, _u3 = 2)
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: _a = '\x01'
|
|
# CHECK-NEXT: _b = 2
|
|
# CHECK-NEXT: _c = 3
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: B<1> = {
|
|
# CHECK-NEXT: A = {
|
|
# CHECK-NEXT: _u = (_u1 = '\x02', _u2 = 2, _u3 = 2)
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: _a = '\x02'
|
|
# CHECK-NEXT: _b = 4
|
|
# CHECK-NEXT: _c = 6
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: _x = 5
|
|
# CHECK-NEXT: _y = 10
|
|
# CHECK-NEXT: _z = '\x0f'
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: }
|
|
# CHECK-NEXT: }
|