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.

Reply via email to