[Bug ada/121968] [15/16 regression] Internal error on use clause present in generic formal part

[cvs-commit at gcc dot gnu.org]

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

--- Comment #11 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:7e29e1a0a1d38c61e9b0d298940d9517e30460ac

commit r16-4018-g7e29e1a0a1d38c61e9b0d298940d9517e30460ac
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Mon Sep 22 11:08:34 2025 +0200

    Ada: Fix internal error on use clause present in generic formal part

    This is a regression present on the mainline and 15 branch: the compiler
    aborts on a use clause present in the formal part of a generic unit because
    of an oversight in the new inference code for generic actual parameters.

    The fix also adds a missing test to Analyze_Dimension_Array_Aggregate.

    gcc/ada/
            PR ada/121968
            * sem_ch12.adb (Associations.Find_Assoc): Add guard for clauses.
            * sem_dim.adb (Analyze_Dimension_Array_Aggregate): Add test for
            N_Iterated_Component_Association nodes.