https://gcc.gnu.org/bugzilla/show_bug.cgi?id=18205
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Still fails on mainline.
[Bug ada/18205] Legal program rejected, RM 13.13.2(14)
ebotcazou at gcc dot gnu.org via Gcc-bugs Sat, 26 Oct 2024 02:39:23 -0700
