From c60a18f8056facdcf370ce0e5f51550c9df5b539 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 17 Jan 2020 15:22:22 +0100 Subject: [PATCH] c++: Fix deprecated attribute handling on templates (PR c++/93228) As the following testcase shows, when deprecated attribute is on a template, we'd never print the message if any, because the attribute is not present on the TEMPLATE_DECL with which warn_deprecated_use is called, but on its DECL_TEMPLATE_RESULT or its type. 2020-01-17 Jakub Jelinek PR c++/93228 * parser.c (cp_parser_template_name): Look up deprecated attribute in DECL_TEMPLATE_RESULT or its type's attributes. * g++.dg/cpp1y/attr-deprecated-3.C: New test. --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/parser.c | 12 +++++++++++- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/cpp1y/attr-deprecated-3.C | 13 +++++++++++++ 4 files changed, 35 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/cpp1y/attr-deprecated-3.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index c37e461..d76675e 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2020-01-17 Jakub Jelinek + + PR c++/93228 + * parser.c (cp_parser_template_name): Look up deprecated attribute + in DECL_TEMPLATE_RESULT or its type's attributes. + 2020-01-16 Jason Merrill PR c++/93286 - ICE with __is_constructible and variadic template. diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index c5f9798..728474d 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -16884,7 +16884,17 @@ cp_parser_template_name (cp_parser* parser, { if (TREE_DEPRECATED (decl) && deprecated_state != DEPRECATED_SUPPRESS) - warn_deprecated_use (decl, NULL_TREE); + { + tree d = DECL_TEMPLATE_RESULT (decl); + tree attr; + if (TREE_CODE (d) == TYPE_DECL) + attr = lookup_attribute ("deprecated", + TYPE_ATTRIBUTES (TREE_TYPE (d))); + else + attr = lookup_attribute ("deprecated", + DECL_ATTRIBUTES (d)); + warn_deprecated_use (decl, attr); + } } else { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a4290ee..53c7efc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-01-17 Jakub Jelinek + + PR c++/93228 + * g++.dg/cpp1y/attr-deprecated-3.C: New test. + 2020-01-17 Richard Sandiford * g++.target/aarch64/sve/acle/general-c++/gimplify_1.C: New test. diff --git a/gcc/testsuite/g++.dg/cpp1y/attr-deprecated-3.C b/gcc/testsuite/g++.dg/cpp1y/attr-deprecated-3.C new file mode 100644 index 0000000..16e5018 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1y/attr-deprecated-3.C @@ -0,0 +1,13 @@ +// PR c++/93228 +// { dg-do compile { target c++14 } } + +template +struct [[deprecated("foo")]] bar {}; // { dg-message "declared here" } +struct [[deprecated("baz")]] qux {}; // { dg-message "declared here" } + +void +quux () +{ + bar b; // { dg-warning "is deprecated: foo" } + qux c; // { dg-warning "is deprecated: baz" } +} -- 2.7.4