[Bug ada/124224] [15/16 regression] crash on iterated element association for Ordered_Maps

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:66f81a788b83c1bfb7a06f6c27a6ca1f3712bf50

commit r16-7661-g66f81a788b83c1bfb7a06f6c27a6ca1f3712bf50
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Tue Feb 24 17:42:24 2026 +0100

    Ada: Fix crash on iterated element association for Ordered_Maps

    This is a regression present on the mainline and 15 branch: the compiler
    crashes on an iterated element association for Ordered_Maps or similar
    container types, because the type of the loop variable is not computed.

    gcc/ada/
            PR ada/124224
            * sem_aggr.adb (Resolve_Container_Aggregate): Minor tweaks.
            (Resolve_Iterated_Association): Compute Typ on all paths.

    gcc/testsuite/
            * gnat.dg/specs/aggr12.ads: New test.

    Co-authored-by: Liam Powell <liam@liampwll.com>