diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2026-01-29 16:16:08 +0100 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2026-01-29 18:31:25 +0100 |
| commit | 59145b089d2c86eaf1d062a76ab4afd8b7c4c7f0 (patch) | |
| tree | 6cebdc077782f808484212db9f1470ccd79324c6 /libjava/gnu/java/security | |
| parent | 74907f407db641657ae71b67bb8625ad1efc8957 (diff) | |
| download | gcc-59145b089d2c86eaf1d062a76ab4afd8b7c4c7f0.zip gcc-59145b089d2c86eaf1d062a76ab4afd8b7c4c7f0.tar.gz gcc-59145b089d2c86eaf1d062a76ab4afd8b7c4c7f0.tar.bz2 | |
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.
Diffstat (limited to 'libjava/gnu/java/security')
0 files changed, 0 insertions, 0 deletions