diff options
| author | Patrick Palka <ppalka@redhat.com> | 2022-02-08 09:11:31 -0500 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2022-02-08 09:11:31 -0500 |
| commit | 676e987b850a7352ece750a8f3a1ac5dae6b3627 (patch) | |
| tree | ffd4eb991964d6edbab7242bd62edd23cbeee7c2 /gcc/go | |
| parent | 7ff201d85fad11ba6365a5612124b75b385a97bd (diff) | |
| download | gcc-676e987b850a7352ece750a8f3a1ac5dae6b3627.zip gcc-676e987b850a7352ece750a8f3a1ac5dae6b3627.tar.gz gcc-676e987b850a7352ece750a8f3a1ac5dae6b3627.tar.bz2 | |
c++: deducing only from noexcept-spec [PR80951]
The "fail-fast" predicate uses_deducible_template_parms used by
unify_one_argument is neglecting to look inside the noexcept-spec of a
function type. This causes deduction to spuriously fail whenever the
noexcept-spec is the only part of the type which contains a deducible
template parameter.
PR c++/80951
gcc/cp/ChangeLog:
* pt.cc (uses_deducible_template_parms): Consider the
noexcept-spec of a function type.
gcc/testsuite/ChangeLog:
* g++.dg/cpp1z/noexcept-type25.C: New test.
Diffstat (limited to 'gcc/go')
0 files changed, 0 insertions, 0 deletions