[Bug ada/123371] infinite loop on iterated element association with iterator and key

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:6a64f6c3ebb88a30ee1f36803c48573731018e0c

commit r15-10648-g6a64f6c3ebb88a30ee1f36803c48573731018e0c
Author: Eric Botcazou <ebotcazou@gcc.gnu.org>
Date:   Sat Jan 3 11:47:35 2026 +0100

    Ada: Fix infinite loop on iterated element association with iterator and
key

    Unlike when the key expression is not present, Resolve_Iterated_Association
    analyzes instead of preanalyzes the iterator specification, which causes
the
    expander to be invoked on an orphaned copy of the iterator expression.

    gcc/ada/
            PR ada/123371
            * sem_aggr.adb (Resolve_Iterated_Association): Call Preanalyze
            instead of Analyze consistently, as well as Copy_Separate_Tree
            instead of New_Copy_Tree.

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