/* { dg-do compile } */
/* { dg-options "-O2" } */
struct A
{
~A();
};
/* If we don't create SFT's for the "empty" structure A, bad things
will happen, and we will fail verification. */
struct B
{
int i;
A a;
void foo() {}
};
void bar()
{
B().foo();
}