https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117058
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > well, the tree was up-to-date when starting the build. A reference here to > commit 8f22fea3171a65a1c6db874a23b8ed9988ded9ba and PR ada/115535 would have > been helpful. Fair enough, but double checking before creating a PR is in order IMO.
