1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
/* { 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(); }