1 /* { dg-do compile } */ 2 /* { dg-options "-O2" } */ 3 4 struct 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. */ 11 struct B 12 { 13 int i; 14 A a; 15 fooB16 void foo() {} 17 }; 18 bar()19void bar() 20 { 21 B().foo(); 22 } 23