diff options
author | Patrick Palka <ppalka@redhat.com> | 2021-02-25 16:38:08 -0500 |
---|---|---|
committer | Patrick Palka <ppalka@redhat.com> | 2021-02-25 16:38:08 -0500 |
commit | 676f6f3277181662cf3ed07769edfa2d4fb7df28 (patch) | |
tree | c61df9191b1964205ac5d2a49f343c08616f50c0 /libgomp/task.c | |
parent | 2ffc26458dd7ba7b3fa00897f2d8c6cd24ba06f3 (diff) | |
download | gcc-676f6f3277181662cf3ed07769edfa2d4fb7df28.zip gcc-676f6f3277181662cf3ed07769edfa2d4fb7df28.tar.gz gcc-676f6f3277181662cf3ed07769edfa2d4fb7df28.tar.bz2 |
c++: Fix CTAD of single-element initializer list [PR99103]
When determining whether to rule out initializer-list constructors
during CTAD with a single-element initializer list (as per P0702), the
element type's cv-qualifiers should be irrelevant. This patch fixes
this by making is_spec_or_derived strip cv-qualifiers from the supplied
expression type.
In passing, I noticed in maybe_aggr_guide we were calling
is_spec_or_derived with swapped arguments. This led us to prefer the
aggregate deduction candidate over copying deduction in the second
testcase below with -std=c++20.
gcc/cp/ChangeLog:
PR c++/99103
* pt.c (is_spec_or_derived): Drop cv-qualifiers from 'etype'.
(maybe_aggr_guide): Fix order of arguments to is_spec_or_derived.
gcc/testsuite/ChangeLog:
PR c++/99103
* g++.dg/cpp1z/class-deduction79.C: New test.
* g++.dg/cpp1z/class-deduction80.C: New test.
Diffstat (limited to 'libgomp/task.c')
0 files changed, 0 insertions, 0 deletions