https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109510
--- Comment #12 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- (In reply to Eric Botcazou from comment #10) > Created attachment 54859 [details] > Tentative fix > > To be tested. Thanks! This works for me locally and gives clean Ada test results.