https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82384
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #42277|0 |1 is obsolete| | Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org --- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Created attachment 42288 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42288&action=edit Better fix Let's use this one instead to avoid future problems.