diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2025-11-07 13:10:00 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-11-18 16:05:10 +0100 |
| commit | b4c2d77cacf9e6ae87ec23552771d2eaef8415d6 (patch) | |
| tree | 4f7f1023f6b49549663d8308362681ebf565f63d /libjava/classpath/java | |
| parent | 6d6fcceb2db0d8564d42d6b147c8dbb326fcb6fd (diff) | |
ada: Fix bogus error about null exclusion for designated type with multiple views
It comes from the new legality check retroactively introduced by AI12-0289,
but the implementation is fooled by the presence of both an incomplete and
a partial view for a tagged type.
gcc/ada/ChangeLog:
PR ada/111433
* sem_util.ads (Incomplete_Or_Partial_View): Add Partial_Only formal
parameter.
* sem_util.adb (Incomplete_Or_Partial_View): Likewise. Do not look
for an incomplete view if it is set to True.
* sem_ch6.adb (Check_Conformance.Null_Exclusions_Match): Pass True
for Partial_Only in the call to Incomplete_Or_Partial_View.
Diffstat (limited to 'libjava/classpath/java')
0 files changed, 0 insertions, 0 deletions