aboutsummaryrefslogtreecommitdiff
path: root/gcc/cp
diff options
context:
space:
mode:
authorMarek Polacek <polacek@redhat.com>2020-01-31 19:28:10 -0500
committerMarek Polacek <polacek@redhat.com>2020-02-02 15:30:21 -0500
commitb817be038d94c987e02c26ed2d81b6f2ebb5f97a (patch)
tree27df3e30ed3b738aee3e2a5f319c560bcd25bdb0 /gcc/cp
parent26a591f2a47e1238951cce42e1a14c05ee166d7e (diff)
downloadgcc-b817be038d94c987e02c26ed2d81b6f2ebb5f97a.zip
gcc-b817be038d94c987e02c26ed2d81b6f2ebb5f97a.tar.gz
gcc-b817be038d94c987e02c26ed2d81b6f2ebb5f97a.tar.bz2
c++: Fix ICE on invalid alignas in a template [PR93530]
This fixes an ICE taking place in cp_default_conversion because we got a SCOPE_REF that doesn't have a type and so checking INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P (TREE_TYPE (exp)) will crash. This happens since the recent Joseph's change in decl_attributes whereby we don't skip C++11 attributes on types. [dcl.align] is clear that alignas applied to a function is ill-formed. That should be fixed, and we have PR90847 for that. But I think a more appropriate fix at this stage would be the following: in a template we want to splice dependent attributes and save them for later, and by doing so avoid this crash. PR c++/93530 - ICE on invalid alignas in a template. * decl.c (grokdeclarator): Call cplus_decl_attributes instead of decl_attributes. * g++.dg/cpp0x/alignas18.C: New test.
Diffstat (limited to 'gcc/cp')
-rw-r--r--gcc/cp/ChangeLog6
-rw-r--r--gcc/cp/decl.c2
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 999348d..ed1c64f 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2020-02-02 Marek Polacek <polacek@redhat.com>
+
+ PR c++/93530 - ICE on invalid alignas in a template.
+ * decl.c (grokdeclarator): Call cplus_decl_attributes instead of
+ decl_attributes.
+
2020-01-31 Jason Merrill <jason@redhat.com>
PR c++/86216
diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index ef34f43..859fd1b 100644
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -12318,7 +12318,7 @@ grokdeclarator (const cp_declarator *declarator,
The optional attribute-specifier-seq appertains to
the function type. */
- decl_attributes (&type, attrs, 0);
+ cplus_decl_attributes (&type, attrs, 0);
if (raises)
type = build_exception_variant (type, raises);