762ca0be09e00d02a72bd65fe8c3027a056d4a81 - gcc

commit: 762ca0be09e00d02a72bd65fe8c3027a056d4a81
[log]
author: Eric Botcazou <ebotcazou@adacore.com>
Mon Jul 14 12:11:44 2025 +0200
committer: Eric Botcazou <ebotcazou@adacore.com>
Mon Jul 14 13:46:57 2025 +0200
tree: f4ae20824443b7f5b93485766dc2ae85c1704dcf
parent: fcc6ce1a4934a45bfd4e8e21e118d3f1046d3d85 [diff]

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.

gcc/ada/sem_ch4.adb[diff]
gcc/testsuite/gnat.dg/deref4.adb[Added - diff]
gcc/testsuite/gnat.dg/deref4_pkg.ads[Added - diff]

3 files changed

tree: f4ae20824443b7f5b93485766dc2ae85c1704dcf