When processing a template, the enumerators we build don't have a type
yet.  But is_late_template_attribute is not prepared to see a _DECL
without a type, so we crash on

  enum tree_code code = TREE_CODE (type);

(I found that we don't give the "is deprecated" warning for the enumerator
'f' in the test.  Reported as PR104682.)

Bootstrapped/regtested on x86_64-pc-linux-gnu, ok for trunk/11?

        PR c++/104667

gcc/cp/ChangeLog:

        * decl2.cc (is_late_template_attribute): Cope with a decl without
        a type.

gcc/testsuite/ChangeLog:

        * g++.dg/ext/attrib64.C: New test.
---
 gcc/cp/decl2.cc                     |  2 +-
 gcc/testsuite/g++.dg/ext/attrib64.C | 11 +++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 gcc/testsuite/g++.dg/ext/attrib64.C

diff --git a/gcc/cp/decl2.cc b/gcc/cp/decl2.cc
index 2e58419ea51..dc7710660d0 100644
--- a/gcc/cp/decl2.cc
+++ b/gcc/cp/decl2.cc
@@ -1300,7 +1300,7 @@ is_late_template_attribute (tree attr, tree decl)
 
       /* We can't apply any attributes to a completely unknown type until
         instantiation time.  */
-      enum tree_code code = TREE_CODE (type);
+      enum tree_code code = type ? TREE_CODE (type) : ERROR_MARK;
       if (code == TEMPLATE_TYPE_PARM
          || code == BOUND_TEMPLATE_TEMPLATE_PARM
          || code == TYPENAME_TYPE)
diff --git a/gcc/testsuite/g++.dg/ext/attrib64.C 
b/gcc/testsuite/g++.dg/ext/attrib64.C
new file mode 100644
index 00000000000..4a4505fc4b2
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/attrib64.C
@@ -0,0 +1,11 @@
+// PR c++/104667
+// { dg-do compile }
+
+template<typename> struct A {
+  enum E { // { dg-warning "only applies to function types" }
+    e __attribute__ ((access(read_only))),
+    f __attribute__ ((deprecated))
+  };
+};
+
+A<int> a;

base-commit: ae3c4e521dd0b66db712639298cd08331d62f315
-- 
2.35.1

Reply via email to