https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115464
Richard Sandiford <rsandifo at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #18 from Richard Sandiford <rsandifo at gcc dot gnu.org> ---
The patches I pushed should be enough to fix the PR on GCC 14. (Oops, I forgot
that I said I would wait until Monday for comments. :( )
