https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118956
--- Comment #4 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- XFAILed for GCC 15, keeping open for the actual fix.
rsandifo at gcc dot gnu.org via Gcc-bugs Tue, 11 Mar 2025 09:53:11 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118956
--- Comment #4 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- XFAILed for GCC 15, keeping open for the actual fix.