https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123861
--- Comment #4 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:ed185d8310535907654bb282531cdf6b05069dd6 commit r15-10751-ged185d8310535907654bb282531cdf6b05069dd6 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.
