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

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <[email protected]>:

https://gcc.gnu.org/g:709f6de48ba3fc4e5fc01c86c511bfb21b6ea202

commit r17-5378-g709f6de48ba3fc4e5fc01c86c511bfb21b6ea202
Author: Eric Botcazou <[email protected]>
Date:   Mon Oct 19 21:06:53 2026 +0200

    Ada: Fix assertion failure on allocator for extension aggregate with task

    It occurs for an allocator whose (qualified) expression is an extension
    aggregate and an ancestor type contains a task component, because the
actual
    passed for the _Master formal parameter of the initialization procedure of
    the ancestor part is nowhere to be found.

    gcc/ada/
            PR ada/127994
            * exp_aggr.adb (Late_Expansion): Add Ptr_Typ formal parameter and
            pass it in the call to Build_Record_Aggr_Code.
            (Build_Record_Aggr_Code): Add Ptr_Typ formal parameter and pass it
            in the call to Build_Initialization_Call.
            (Convert_Aggr_In_Allocator): Remove useless test and pass the type
            of the temporary in the call to Late_Expansion.

    gcc/testsuite/
            * gnat.dg/task7.adb: New test.
            * gnat.dg/task7_pkg.ads: New helper package.

Reply via email to