https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115376
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Any news about this? Did you try with GCC 14.1 or GCC 14.2? If you still get the bugbox, then proceed as explained in the detailed instructions written at https://gcc.gnu.org/bugs/#gnat in particular: "If you report a bug which causes the compiler to print a bug box, include that bug box in your report, and do not forget to send all the source files listed after the bug box along with your report."
