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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-15 branch has been updated by Eric Botcazou
<[email protected]>:

https://gcc.gnu.org/g:e51e2c59cbc9249fc9d9094e266499cf3f2cdeff

commit r15-10761-ge51e2c59cbc9249fc9d9094e266499cf3f2cdeff
Author: Eric Botcazou <[email protected]>
Date:   Sun Feb 1 20:31:41 2026 +0100

    Ada: Fix prefixed-view notation rejected for discriminated private type

    The problem comes from an oversight in Analyze_Selected_Component.

    gcc/ada/
            PR ada/123902
            * sem_ch4.adb (Analyze_Selected_Component): Also test
            Core_Extensions_Allowed for discriminated private types.
            Rework and augment commentary throughout the procedure.

    gcc/testsuite/
            * gnat.dg/prefix4.adb: New test.
            * gnat.dg/prefix4_pkg.ads: New helper.

    Co-authored-by: Liam Powell <[email protected]>

Reply via email to