[Bug ada/123062] [16 regression] ICE when building spawn-25.0.0 with GTK support

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:8f36f3944bf608835c26659760fb8904e63d7e40

commit r16-6029-g8f36f3944bf608835c26659760fb8904e63d7e40
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Thu Dec 11 15:58:37 2025 +0100

    Ada: Fix ICE when building spawn-25.0.0 with GTK support

    This is a regression introduced on the mainline by the freezing change for
    the designated type of anonymous access-to-subprogram types, which has
    uncovered a small oversight in Analyze_Subprogram_Instantiation, whereby
    we propagate the Convention of the generic subprogram onto the named actual
    only, and not onto the anonymous actual built alongside the named one.

    gcc/ada/
            PR ada/123062
            * sem_ch12.adb (Analyze_Subprogram_Instantiation): Also propagate
            the Convention and Is_Exported flag onto the anonymous actual.