1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/abi/empty6.C b/gcc/testsuite/g++.dg/abi/empty6.C
new file mode 100644
index 000000000..1b14a6d03
--- /dev/null
+++ b/gcc/testsuite/g++.dg/abi/empty6.C
@@ -0,0 +1,14 @@
+// { dg-options "-Wabi -fabi-version=1" }
+
+struct A {};
+
+struct B {
+  A a; // { dg-warning "empty" "" { xfail mmix-*-* } }
+  virtual void f () {}
+} __attribute__((aligned(2 * sizeof (void *))));
+/* The preceding attribute is necessary on targets with
+   BIGGEST_ALIGNMENT <= POINTER_SIZE to trigger the warning, as
+   otherwise the offset of 'a' (i.e. POINTER_SIZE) is split into a
+   non-zero DECL_FIELD_OFFSET and a zero DECL_FIELD_BIT_OFFSET,
+   and then there is no discrepancy between DECL_FIELD_OFFSET and
+   byte_position to warn about.  */