This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 118d. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-10-26
According to 6.8.6.5.3 [basic.stc.dynamic.deallocation] paragraph 4,
If a deallocation function terminates by throwing an exception, the behavior is undefined.
This seems to be in conflict with the provisions of 14.5 [except.spec]: if a deallocation function throws an exception that is not allowed by its exception-specification, 14.5 [except.spec] paragraph 9 would appear to give the program defined behavior (calling std::unexpected() or std::terminate()). (Note that 14.5 [except.spec] paragraph 18 explicitly allows an explicit exception-specification for a deallocation function.)
Additional notes (October, 2025)
Paper P3424 (Define Delete With Throwing Exception Specification) (approved by EWG for C++29) will make the declaration of a potentially-throwing deallocation function ill-formed, making this issue moot.