[Bug ada/123861] [15/16 regression] internal error on equality test with empty container

[cvs-commit at gcc dot gnu.org]

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
<ebotcazou@gcc.gnu.org>:

https://gcc.gnu.org/g:ed185d8310535907654bb282531cdf6b05069dd6

commit r15-10751-ged185d8310535907654bb282531cdf6b05069dd6
Author: Eric Botcazou <ebotcazou@adacore.com>
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.