https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123902
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:e7853d31dd723eb8a1cb5ce34fad638fd255d9a8 commit r16-7235-ge7853d31dd723eb8a1cb5ce34fad638fd255d9a8 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]>
