https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123289
--- Comment #12 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-15 branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:f6ecd722f2d8549b7c648cce82c79725900b316d commit r15-10635-gf6ecd722f2d8549b7c648cce82c79725900b316d Author: Eric Botcazou <[email protected]> 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.
