https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123861
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:59145b089d2c86eaf1d062a76ab4afd8b7c4c7f0 commit r16-7156-g59145b089d2c86eaf1d062a76ab4afd8b7c4c7f0 Author: Eric Botcazou <[email protected]> Date: Thu Jan 29 16:16:08 2026 +0100 Ada: Fix internal error on equality test with empty container This is a regression present on the mainline and 15 branch, although the root cause has been present for years: the Sem_Type.Covers predicate returns true for the type of an aggregate (Any_Composite) and any type declared with the Aggregate aspect (when invoked in Ada 2022 or later), but its companion function Sem_Type.Specific_Type punts when it is called on the same combination. gcc/ada/ PR ada/123861 * sem_type.adb (Covers): Fix couple of typos in comment. (Specific_Type): Adjust to Covers' handling of types declared with the Aggregate aspect in Ada 2022. gcc/testsuite/ * gnat.dg/specs/aggr11.ads: New test.
