[Bug ada/123289] illegal Aggregate aspect not rejected

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:039a62bd2e0c7e67a00e5f6a4727f6dc1999faaf

commit r14-12219-g039a62bd2e0c7e67a00e5f6a4727f6dc1999faaf
Author: Eric Botcazou <ebotcazou@gcc.gnu.org>
Date:   Fri Dec 26 10:44:57 2025 +0100

    Ada: Fix illegal Aggregate aspect not rejected

    The Ada 2022 RM is adamant that the names specified in the Aggregate aspect
    must denote "exactly one" subprogram, in other words that it is illegal to
    use names that denote more than one subprogram in the Aggregate aspect.

    gcc/ada/
            PR ada/123289
            * sem_ch13.adb (Resolve_Aspect_Aggregate.Resolve_Operation): Give
            an error if the operation's name denotes more than one subprogram.

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