re PR c++/50800 (Internal compiler error in finish_member_declarations, possibly...

	PR c++/50800
	* tree.c (apply_identity_attributes): Fix handling of classes.

From-SVN: r222591

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 9442faa9c40722203f20d1cf925a7134d80e6438..d78b22f195567a10b6e2273da7ca12f6ec144b49 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2015-04-29  Jason Merrill  <jason@redhat.com>
+
+       PR c++/50800
+       * tree.c (apply_identity_attributes): Fix handling of classes.
+
 2015-04-29  Thomas Schwinge  <thomas@codesourcery.com>
 
        * parser.c (cp_parser_oacc_enter_exit_data): Use

diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index d00f0d7eab10bd2edf520f15b1111e1886083fda..ec9be8c2bc49d8d00fd7f467b01eceede708fda3 100644 (file)
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -1187,6 +1187,13 @@ apply_identity_attributes (tree result, tree attribs, bool *remove_attributes)
   tree new_attribs = NULL_TREE;
   tree *p = &new_attribs;
 
+  if (OVERLOAD_TYPE_P (result))
+    {
+      /* On classes and enums all attributes are ingrained.  */
+      gcc_assert (attribs == TYPE_ATTRIBUTES (result));
+      return result;
+    }
+
   for (tree a = attribs; a; a = TREE_CHAIN (a))
     {
       const attribute_spec *as

diff --git a/gcc/testsuite/g++.dg/cpp0x/alignas3.C b/gcc/testsuite/g++.dg/cpp0x/alignas3.C
new file mode 100644 (file)
index 0000000..aa62e5a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/alignas3.C
@@ -0,0 +1,20 @@
+// PR c++/50800
+// { dg-do compile { target c++11 } }
+
+template <typename> struct A;
+template <typename _Up> struct A<_Up *> { typedef _Up type; };
+template <typename T> struct B { typedef typename A<T>::type type; };
+template <typename> struct C;
+template <typename From> struct C<const From> {
+  typedef typename B<From>::type SimpleType;
+};
+template <class> struct D { typedef int ret_type; };
+template <class From> struct F {
+  typedef typename D<typename C<From>::SimpleType>::ret_type ret_type;
+};
+template <class, class Y> typename F<Y>::ret_type cast(Y &);
+class CompoundStmt;
+class alignas(8) Stmt {
+  Stmt *Children[1];
+  CompoundStmt *getBlock() const { cast<CompoundStmt>(Children[0]); }
+};