diff options
| author | Patrick Palka <ppalka@redhat.com> | 2021-06-10 18:31:21 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2021-06-10 18:31:21 -0400 |
| commit | edec2660ff4890ecf8cc191f7c92cf527de51fe2 (patch) | |
| tree | 697cc07ce68ac9aba7e9d0d61cd12db9662b2860 /gcc/cp/semantics.c | |
| parent | 206db06ee380f490db0293af4ea7a4d590abd78c (diff) | |
| download | gcc-edec2660ff4890ecf8cc191f7c92cf527de51fe2.zip gcc-edec2660ff4890ecf8cc191f7c92cf527de51fe2.tar.gz gcc-edec2660ff4890ecf8cc191f7c92cf527de51fe2.tar.bz2 | |
c++: matching deduced template template parameters [PR67829]
During deduction, when the template of the argument for a bound ttp
is a template template parameter, we need to consider the
TEMPLATE_TEMPLATE_PARAMETER for matching rather than the TEMPLATE_DECL
thereof, because the canonical form of a template template parameter as
a template argument is the former tree, not the latter.
PR c++/67829
gcc/cp/ChangeLog:
* pt.c (unify) <case BOUND_TEMPLATE_TEMPLATE_PARM>: When
the TEMPLATE_DECL of a BOUND_TEMPLATE_TEMPLATE_PARM argument is
a template template parameter, adjust to the
TEMPLATE_TEMPLATE_PARAMETER before falling through.
gcc/testsuite/ChangeLog:
* g++.dg/template/ttp34.C: New test.
* g++.dg/template/ttp34a.C: New test.
* g++.dg/template/ttp34b.C: New test.
Diffstat (limited to 'gcc/cp/semantics.c')
0 files changed, 0 insertions, 0 deletions