On 2/28/22 12:22, Marek Polacek wrote:
On Mon, Feb 28, 2022 at 12:16:47PM -0400, Jason Merrill wrote:
On 2/25/22 17:59, Marek Polacek wrote:
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;
Maybe return true for null type before looking at the code? OK with that
change.
I didn't do that because I thought it'd be better to go on and reach
1310 else if (dependent_type_p (type)
1311 /* But some attributes specifically apply to templates. */
1312 && !is_attribute_p ("abi_tag", name)
1313 && !is_attribute_p ("deprecated", name)
1314 && !is_attribute_p ("visibility", name))
null type means dependent, but the attribute can still be one of the
"special" ones.
Do you still want me to make that
if (!type)
return true;
change?
Please. The comment above 'code' applies even more to null type: we
can't apply any attributes to it.
Jason
