[Bug ada/111433] bogus error about null exclusion for designated type with incomplete, partial and full views

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111433

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-15 branch has been updated by Eric Botcazou
<ebotca...@gcc.gnu.org>:

https://gcc.gnu.org/g:31ed7aec86c2cb4dc47e405f4be21fc840c7d5cf

commit r15-10542-g31ed7aec86c2cb4dc47e405f4be21fc840c7d5cf
Author: Eric Botcazou <ebotca...@adacore.com>
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.