https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125833
--- Comment #1 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <[email protected]>: https://gcc.gnu.org/g:57ecb9897a096418ec3335bc0d18ec590e100396 commit r17-2482-g57ecb9897a096418ec3335bc0d18ec590e100396 Author: Jakub Jelinek <[email protected]> Date: Fri Jul 17 09:58:00 2026 +0200 c++: Implement C++29 P3424R2 - Deallocation Functions with Throwing Exception Specification Are Ill-formed [PR125833] The following patch attempts to implement the C++29 P3424R2 Deallocation Functions with Throwing Exception Specification Are Ill-formed paper by diagnosing those cases in grokfndecl, maybe_instantiate_noexcept and cp_parser_class_specifier. 2026-07-17 Jakub Jelinek <[email protected]> PR c++/125833 * cp-tree.h: Implement C++29 P3424R2 - Deallocation Functions with Throwing Exception Specification Are Ill-formed. (maybe_diagnose_deallocation_noexcept_false): Declare. * decl.cc (maybe_diagnose_deallocation_noexcept_false): New function. (grokfndecl): Call it. * pt.cc (maybe_instantiate_noexcept): Likewise. * parser.cc (cp_parser_class_specifier): Likewise. * g++.dg/cpp0x/dealloc2.C: Expect extra diagnostics in C++29. * g++.dg/cpp29/dealloc1.C: New test. Reviewed-by: Jason Merrill <[email protected]>
