https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80590
--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > That PR is now fixed. I've re-enabled ada in my test setup, and will see if > I can still reproduce this failure. It's a different problem since it's on Linux and the other was Darwin-specific.
