[Bug ada/114398] [13/14/15 regression] Storage_Error with 'Access of primitive function returning limited type

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

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

--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
https://gcc.gnu.org/g:a1bec0455fb6f871bbc2c80d6e19c90deebbf824

commit r14-10298-ga1bec0455fb6f871bbc2c80d6e19c90deebbf824
Author: Javier Miranda <mira...@adacore.com>
Date:   Thu Apr 18 09:54:22 2024 +0000

    ada: Storage_Error in indirect call to function returning limited type

    At runtime the code generated by the compiler reports the
    exception Storage_Error in an indirect call through an
    access-to-subprogram variable that references a function
    returning a limited tagged type object.

    gcc/ada/

            * sem_ch6.adb (Might_Need_BIP_Task_Actuals): Add support
            for access-to-subprogram parameter types.
            * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call):
            Add dummy BIP parameters to access-to-subprogram types
            that may reference a function that has BIP parameters.