https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127994
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:8fe5f0583ddf7f41ddb9a254cfb8f7cf24ba3e6c commit r16-9811-g8fe5f0583ddf7f41ddb9a254cfb8f7cf24ba3e6c 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.
