[Bug ada/124606] bogus instantiation failure with formal array type declared after formal package

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124606

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-15 branch has been updated by Eric Botcazou
<ebotcazou@gcc.gnu.org>:

https://gcc.gnu.org/g:5fbbf1b99ca1bb792d667e5a9a3d078cb071fed2

commit r15-10996-g5fbbf1b99ca1bb792d667e5a9a3d078cb071fed2
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Mon Mar 23 21:48:52 2026 +0100

    Ada: Fix instantiation failure with formal array type after formal package

    This comes from a confusion in the mapping maintained between formal and
    actual parameters of the instantiation caused by the equivalent mapping
    maintained for the instantiation of the formal package.  The change just
    removes the offending lines, which do not seem to serve any useful purpose.

    gcc/ada/
            PR ada/124606
            * sem_ch12.adb (Find_Actual_Type): Rename formal parameter.
            (Map_Formal_Package_Entities): Do not register base types.

    gcc/testsuite/
            * gnat.dg/generic_inst19.adb: New test.