From be7c73ae358319c5f9541f2e2f7a5dc37ec0e116 Mon Sep 17 00:00:00 2001
From: Marek Polacek <polacek@redhat.com>
Date: Tue, 18 Apr 2017 09:34:10 +0000
Subject: [PATCH] PR c++/80244 - ICE with attribute in template alias.
* tree.c (strip_typedefs): Handle UNDERLYING_TYPE.
* g++.dg/cpp0x/alias-decl-59.C: New test.
From-SVN: r246962
---
gcc/cp/ChangeLog | 5 +++++
gcc/cp/tree.c | 4 ++++
gcc/testsuite/ChangeLog | 5 +++++
gcc/testsuite/g++.dg/cpp0x/alias-decl-59.C | 11 +++++++++++
4 files changed, 25 insertions(+)
create mode 100644 gcc/testsuite/g++.dg/cpp0x/alias-decl-59.C
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3d36c6bd6907..3f87d715dd27 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2017-04-18 Marek Polacek <polacek@redhat.com>
+
+ PR c++/80244 - ICE with attribute in template alias.
+ * tree.c (strip_typedefs): Handle UNDERLYING_TYPE.
+
2017-04-17 Bernd Edlinger <bernd.edlinger@hotmail.de>
PR c++/80287
diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index a1455c2b4b44..f1b0a57e1589 100644
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -1551,6 +1551,10 @@ strip_typedefs (tree t, bool *remove_attributes)
DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P (t),
tf_none));
break;
+ case UNDERLYING_TYPE:
+ type = strip_typedefs (UNDERLYING_TYPE_TYPE (t), remove_attributes);
+ result = finish_underlying_type (type);
+ break;
default:
break;
}
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6f9932a3b519..ca0717ec6942 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-04-18 Marek Polacek <polacek@redhat.com>
+
+ PR c++/80244 - ICE with attribute in template alias.
+ * g++.dg/cpp0x/alias-decl-59.C: New test.
+
2017-04-17 Bernd Edlinger <bernd.edlinger@hotmail.de>
PR c++/80287
diff --git a/gcc/testsuite/g++.dg/cpp0x/alias-decl-59.C b/gcc/testsuite/g++.dg/cpp0x/alias-decl-59.C
new file mode 100644
index 000000000000..1f5e94f6d838
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/alias-decl-59.C
@@ -0,0 +1,11 @@
+// PR c++/80244
+// { dg-do compile { target c++11 } }
+
+template<typename>
+struct A {};
+
+template<typename T>
+using B = A<__underlying_type(T) [[gnu::aligned(4)]]>; // { dg-warning "ignoring attributes on template argument" }
+
+template<typename T>
+using B = A<__underlying_type(T) [[gnu::packed]]>; // { dg-warning "ignoring attributes on template argument" }
--
GitLab