https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111433
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Marc Poulhies <[email protected]>: https://gcc.gnu.org/g:b4c2d77cacf9e6ae87ec23552771d2eaef8415d6 commit r16-5386-gb4c2d77cacf9e6ae87ec23552771d2eaef8415d6 Author: Eric Botcazou <[email protected]> Date: Fri Nov 7 13:10:00 2025 +0100 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.
