https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42148
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- The error is still missing.
[Bug ada/42148] Accepts illegal program, RM 10.1.1/14
ebotcazou at gcc dot gnu.org via Gcc-bugs Sat, 26 Oct 2024 03:25:07 -0700
