https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123131
pietro <pietro at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|UNCONFIRMED |RESOLVED
CC| |pietro at gcc dot gnu.org
--- Comment #2 from pietro <pietro at gcc dot gnu.org> ---
Fixed by r16-6181-g54ffda5d2e609d833e189df2f81e5739ee984b7a.
