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