https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85760
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > I only filed the report here once (at least purposely). Didn't you file exactly the same bug report with AdaCore?
ebotcazou at gcc dot gnu.org Wed, 16 May 2018 22:59:06 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85760
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > I only filed the report here once (at least purposely). Didn't you file exactly the same bug report with AdaCore?