https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115969
Richard Sandiford <rsandifo at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #10 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- Fixed. The patch could be backported to release branches if the same error shows up in other circumstances, but as Andrew says, the problem seems to have been latent since the port was added.