]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++: abbreviated function template friend matching [PR96106]
authorPatrick Palka <ppalka@redhat.com>
Thu, 30 Jul 2020 02:06:36 +0000 (22:06 -0400)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:20:12 +0000 (13:20 -0300)
commiteaaf836cd913ebea8479580cb23b82ae310096ed
treebfabab8274d1e45dc9de7b459f0394984135b2ac
parentab00f710b4b1b258d33eea22f7bfca8e424b4b28
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.
gcc/cp/pt.c
gcc/testsuite/g++.dg/concepts/abbrev7.C [new file with mode: 0644]