https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123580
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Thanks, but please do *not* post the testcase in the audit trail intermixed with non-Ada text, instead just concatenate the source files and attach the result to this PR, as explained in the instructions at https://gcc.gnu.org/bugs/#gnat.
