PR c++/10091

        * expr.c (expand_expr) [ADDR_EXPR]: Disallow taking the address of
        an unaligned member of TREE_ADDRESSABLE type.
        * cp/typeck.c (build_class_member_access_expr): Compare
        TYPE_MAIN_VARIANTs.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@64523 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 30 insertions, 0 deletions

diff --git a/gcc/testsuite/g++.dg/ext/packed2.C b/gcc/testsuite/g++.dg/ext/packed2.C
new file mode 100644
index 00000000000..5effc3b1c1e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/packed2.C
@@ -0,0 +1,30 @@
+// PR c++/10091
+
+// Bug: We were dying because in general, B::a doesn't have enough
+// alignment for us to take its address.  But if the B is C::b, it does
+// have enough alignment, and we should be able to determine that.
+
+// This only failed on STRICT_ALIGNMENT targets (i.e. not i686)
+
+struct A {
+  int i;
+
+  A();
+  A(const A&);
+  A& operator=(const A&);
+};
+
+struct B {
+  A a;
+} __attribute__ ((packed));
+
+struct C {
+  B b;
+  int j;
+};
+
+void f (const A&);
+void g (const C& c)
+{
+  f (c.b.a);
+}