1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr20489.C b/gcc/testsuite/g++.dg/tree-ssa/pr20489.C
new file mode 100644
index 000000000..0a1a569d2
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr20489.C
@@ -0,0 +1,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();
+}