c++: Fix tsubsting CLASS_PLACEHOLDER_TEMPLATE [PR95434]
authorPatrick Palka <ppalka@redhat.com>
Wed, 20 Jan 2021 14:44:33 +0000 (09:44 -0500)
committerPatrick Palka <ppalka@redhat.com>
Wed, 20 Jan 2021 14:44:33 +0000 (09:44 -0500)
commitcafcfcb5840b62d9fc80c12192189351e995a4f2
tree74a8e556110a58df2190f0b14ae701e68cfc3fde
parent79e1251b642db038df276153c9f2ec6b82e56162
c++: Fix tsubsting CLASS_PLACEHOLDER_TEMPLATE [PR95434]

Here, during partial instantiation of the generic lambda, we do
tsubst_copy on the CLASS_PLACEHOLDER_TEMPLATE for U{0} which yields a
(level-lowered) TEMPLATE_TEMPLATE_PARM rather than the corresponding
TEMPLATE_DECL.  This later confuses do_class_deduction which expects
that a CLASS_PLACEHOLDER_TEMPLATE is always a TEMPLATE_DECL.

gcc/cp/ChangeLog:

PR c++/95434
* pt.c (tsubst) <case TEMPLATE_TYPE_PARM>: If tsubsting
CLASS_PLACEHOLDER_TEMPLATE yields a TEMPLATE_TEMPLATE_PARM,
adjust to its TEMPLATE_TEMPLATE_PARM_TEMPLATE_DECL.

gcc/testsuite/ChangeLog:

PR c++/95434
* g++.dg/cpp2a/lambda-generic9.C: New test.
gcc/cp/pt.c
gcc/testsuite/g++.dg/cpp2a/lambda-generic9.C [new file with mode: 0644]