https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91347
--- Comment #13 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Created attachment 46728 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46728&action=edit Execution test
ebotcazou at gcc dot gnu.org Mon, 19 Aug 2019 01:36:17 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91347
--- Comment #13 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Created attachment 46728 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46728&action=edit Execution test