diff options
| author | Patrick Palka <ppalka@redhat.com> | 2021-04-12 23:22:03 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2021-04-12 23:22:03 -0400 |
| commit | c755e1b3eadaf1c7e751a2c7ce1d418c6db8463a (patch) | |
| tree | 6c05c93bba896feb39bfe252e6761351c83877bf /libcpp/identifiers.c | |
| parent | 59d9aa6d2efe7c52b6a986eb3e1977c1fb3c5753 (diff) | |
| download | gcc-c755e1b3eadaf1c7e751a2c7ce1d418c6db8463a.zip gcc-c755e1b3eadaf1c7e751a2c7ce1d418c6db8463a.tar.gz gcc-c755e1b3eadaf1c7e751a2c7ce1d418c6db8463a.tar.bz2 | |
c++: variadic class template placeholder deduction [PR97134]
do_class_deduction handles specially the case where we're deducing one
placeholder from another equivalent one, but here the initializer passed
to do_class_deduction is wrapped in an EXPR_PACK_EXPANSION (we're being
called from unify during get_partial_spec_bindings). This patch makes
do_class_deduction look through EXPR_PACK_EXPANSIONs so that we detect
this case as well.
gcc/cp/ChangeLog:
PR c++/97134
* pt.c (do_class_deduction): Look through EXPR_PACK_EXPANSION
when checking if the initializer is an equivalent class
placeholder template parameter.
gcc/testsuite/ChangeLog:
PR c++/97134
* g++.dg/cpp2a/nontype-class43.C: New test.
Diffstat (limited to 'libcpp/identifiers.c')
0 files changed, 0 insertions, 0 deletions