From 745ba1024c653324f9f0b88968c6f8989ed1e093 Mon Sep 17 00:00:00 2001 From: Patrick Palka Date: Wed, 29 Jul 2020 22:06:36 -0400 Subject: c++: abbreviated function template friend matching [PR96106] In the below testcase, duplicate_decls wasn't merging the tsubsted friend declaration for 'void add(auto)' with its definition, because reduce_template_parm_level (during tsubst_friend_function) lost the DECL_VIRTUAL_P flag on the auto's invented template parameter, which caused template_heads_equivalent_p to deem the two template heads as not equivalent in C++20 mode. This patch makes reduce_template_parm_level carry over the DECL_VIRTUAL_P flag from the original TEMPLATE_PARM_DECL. gcc/cp/ChangeLog: PR c++/96106 * pt.c (reduce_template_parm_level): Propagate DECL_VIRTUAL_P from the original TEMPLATE_PARM_DECL to the new lowered one. gcc/testsuite/ChangeLog: PR c++/96106 * g++.dg/concepts/abbrev7.C: New test. (cherry picked from commit f31dd9beb95f4beda1d2bd5c0526c42d0ce455c4) --- gcc/cp/pt.c | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/cp/pt.c') diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 16c2a0068c8..f05f9a69900 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -4453,6 +4453,7 @@ reduce_template_parm_level (tree index, tree type, int levels, tree args, type); TREE_CONSTANT (decl) = TREE_CONSTANT (orig_decl); TREE_READONLY (decl) = TREE_READONLY (orig_decl); + DECL_VIRTUAL_P (decl) = DECL_VIRTUAL_P (orig_decl); DECL_ARTIFICIAL (decl) = 1; SET_DECL_TEMPLATE_PARM_P (decl); -- cgit v1.2.1