https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93532
--- Comment #17 from Giulio Benetti <giulio.benetti at benettiengineering dot com> --- (In reply to Andrew Pinski from comment #16) > (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. Oops, sorry, I'm not very used to bugzilla/gcc. Thanks again, for providing that patch.
