https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115270
--- Comment #3 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Created attachment 58304 > --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58304&action=edit > Tentative fix > > Please give it a try when you have a chance. As it happens, I still had the failed build tree around, so I just dropped in the patch and restarted the build. It completed successfully and the following make check-ada only found the expected failures. Thanks for the quick fix.