https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81738
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |WAITING
--- Comment #3 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org>
---
Finally committed, sorry for the delay. Please close if it does indeed fix the
bug.
