https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104780

--- Comment #4 from Tom de Vries <vries at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #3)

> So if you file a bug there

Done: https://sourceware.org/bugzilla/show_bug.cgi?id=28945

Reply via email to