https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125241
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- The GCC project only distributes sources, not binaries. Moreover, it looks like you didn't attach the correct bug report here, it contains "DRAFT for AdaCore filing" in several places and this Bugzilla has nothing to do with them.
