diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2025-11-07 20:42:57 +0100 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2025-11-07 20:47:12 +0100 |
| commit | c14a1ed99c380ae7f812932d8e8f5152bb6c1c19 (patch) | |
| tree | 525ed9bb7f5047fb2e292b65bb5dff37ef8676d7 /libjava/java/security/Engine.java | |
| parent | d14d24b26126ec9c6c8ba5b2e573ed8e26347e6b (diff) | |
| download | gcc-c14a1ed99c380ae7f812932d8e8f5152bb6c1c19.zip gcc-c14a1ed99c380ae7f812932d8e8f5152bb6c1c19.tar.gz gcc-c14a1ed99c380ae7f812932d8e8f5152bb6c1c19.tar.bz2 | |
Ada: Fix bogus error on inherited operation for extension of type instance
It comes from a small discrepancy between class-wide subtypes and types:
they both have unknown discriminants, but only the latter may have
discriminants, which causes Subtypes_Statically_Match to return False.
gcc/ada/
PR ada/83188
* sem_eval.adb (Subtypes_Statically_Match): Deal with class-wide
subtypes whose class-wide types have discriminants.
gcc/testsuite/
* gnat.dg/class_wide6.ads, gnat.dg/class_wide6.adb: New test.
* gnat.dg/class_wide6_pkg.ads: New helper.
Diffstat (limited to 'libjava/java/security/Engine.java')
0 files changed, 0 insertions, 0 deletions