1/* { dg-do compile } */
2/* { dg-options "-O2" } */
3
4struct A
5{
6 ~A();
7};
8
9/* If we don't create SFT's for the "empty" structure A, bad things
10 will happen, and we will fail verification. */
11struct B
12{
13 int i;
14 A a;
15
16 void foo() {}
17};
18
19void bar()
20{
21 B().foo();
22}
23