| /* { 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(); | |
| } |