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()19 void bar()
20 {
21 	B().foo();
22 }
23