[Bug ada/29958] assertion failure on child generic package

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>:

https://gcc.gnu.org/g:76943639ddd861dce3886d1def2a353ccfcdd585

commit r16-4666-g76943639ddd861dce3886d1def2a353ccfcdd585
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Mon Oct 27 19:51:11 2025 +0100

    Ada: Fix assertion failure on child generic package

    That's an oversight in Declare_Inherited_Private_Subprograms, which does
    not deal with formal types specially as it should per RM 3.2.3(7.d/2).

    gcc/ada/
            PR ada/29958
            * sem_ch7.adb (Declare_Inherited_Private_Subprograms): Deal with
            formal types specially.

    gcc/testsuite/
            * gnat.dg/specs/private3-child.ads: New test.
            * gnat.dg/specs/private3.ads: New helper.