https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90889
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Perhaps it may make sense to compile the non-compliant units with > -fno-lto so we stay safe? I'll have a look, but that's probably overkill. > (while working on alias oracle I would like to be able to LTO test Ada > since it has some specialities in this area) Makes sense of course. The gnat.dg testsuite should already contain testcases for the modifications made to the middle-end in order to help Ada.