https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93532
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |NEW
Resolution|FIXED |---
--- Comment #16 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Giulio Benetti from comment #15)
> I mark this bug as resolved by:
> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47794
The patch has not been applied to the sources yet.
