https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113205
--- Comment #12 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- Created attachment 57511 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57511&action=edit Candidate patch Sorry for the very slow response on this. I'm testing the attached.