https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111411
--- Comment #10 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- Fixed on trunk. The patch applies cleanly to GCC 12 and 13, so I'll backport there next week.
rsandifo at gcc dot gnu.org via Gcc-bugs Fri, 15 Sep 2023 01:22:42 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111411
--- Comment #10 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- Fixed on trunk. The patch applies cleanly to GCC 12 and 13, so I'll backport there next week.