[Bug ada/121056] Assertion failure on object notation applied to access value with -gnatX

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

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

--- 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:762ca0be09e00d02a72bd65fe8c3027a056d4a81

commit r15-9968-g762ca0be09e00d02a72bd65fe8c3027a056d4a81
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Mon Jul 14 12:11:44 2025 +0200

    Ada: Add missing guard before accessing the Underlying_Record_View field

    It is necessary when GNAT extensions are enabled (-gnatX switch).

    gcc/ada/
            PR ada/121056
            * sem_ch4.adb (Try_Object_Operation.Try_Primitive_Operation): Add
            test on Is_Record_Type before accessing Underlying_Record_View.

    gcc/testsuite/
            * gnat.dg/deref4.adb: New test.
            * gnat.dg/deref4_pkg.ads: New helper.