https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30920
--- Comment #8 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- The patch in comment 7 is just one step.
rsandifo at gcc dot gnu.org via Gcc-bugs Mon, 12 Aug 2024 03:00:24 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30920
--- Comment #8 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- The patch in comment 7 is just one step.