[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added CC||asolokha at gmx dot com --- Comment #8 from Patrick Palka --- *** Bug 107150 has been marked as a duplicate of this bug. ***
[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added Keywords||ice-on-invalid-code Status|ASSIGNED|RESOLVED Resolution|--- |FIXED Target Milestone|--- |13.0 --- Comment #7 from Patrick Palka --- Fixed for GCC 13, thanks for the bug report. This doesn't seem worth backporting since the ICE only happens on invalid code.
[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 --- Comment #6 from CVS Commits --- The master branch has been updated by Patrick Palka : https://gcc.gnu.org/g:ed2b519e02eac99fadfa51adc7b11f8854c24575 commit r13-5683-ged2b519e02eac99fadfa51adc7b11f8854c24575 Author: Patrick Palka Date: Fri Feb 3 09:15:29 2023 -0500 c++: ICE on unviable/ambiguous constrained dtors [PR96745] Here we're crashing from check_bases_and_members due to CLASSTYPE_DESTRUCTOR being an OVERLOAD which, due to the pruning performed by add_method, should only happen if there is no viable destructor or the destructor is ambiguous because of unsatisfied or ambiguous constraints. This patch fixes this by making check_bases_and_members naturally handle CLASSTYPE_DESTRUCTOR being an OVERLOAD. It's then convenient to prune the OVERLOAD after effectively diagnosing the overload resolution failure in check_methods. PR c++/96745 gcc/cp/ChangeLog: * class.cc (check_methods): Diagnose an unviable OVERLOAD set for CLASSTYPE_DESTRUCTOR differently from an ambiguous one. Then prune the OVERLOAD to a single function. (check_bases_and_members): Handle CLASSTYPE_DESTRUCTOR being an OVERLOAD when calling deduce_noexcept_on_destructor. Document why it has to be called before check_methods. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/concepts-dtor1.C: New test.
[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added CC||etienne.doms at gmail dot com --- Comment #5 from Patrick Palka --- *** Bug 108479 has been marked as a duplicate of this bug. ***
[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Andrew Pinski changed: What|Removed |Added CC||sin-ack at protonmail dot com --- Comment #4 from Andrew Pinski --- *** Bug 102234 has been marked as a duplicate of this bug. ***
[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added CC||gcc_report_187375@mailfence ||.com --- Comment #3 from Patrick Palka --- *** Bug 100421 has been marked as a duplicate of this bug. ***
[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org Status|NEW |ASSIGNED
[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added CC||ryan_greenblatt at brown dot edu --- Comment #2 from Patrick Palka --- *** Bug 98711 has been marked as a duplicate of this bug. ***
[Bug c++/96745] [concepts] internal compiler error: in type_memfn_rqual, at cp/typeck.c:10389
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96745 Patrick Palka changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed||2020-09-22 Ever confirmed|0 |1 Known to fail||10.2.0, 11.0 CC||ppalka at gcc dot gnu.org --- Comment #1 from Patrick Palka --- Confirmed.
