]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Tweak Kill_Current_Values
authorRonan Desplanques <desplanques@adacore.com>
Thu, 27 Feb 2025 10:25:45 +0000 (11:25 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 9 Jun 2025 06:32:03 +0000 (08:32 +0200)
commitacc54e0cf014b01b4e8b2579002729316fe93834
tree6494967cca2029e500cc75a1c443a6fa7b827089
parent109ea2d2884eac0297847af1b3a41fede3b671cc
ada: Tweak Kill_Current_Values

Is_Object returns True for "record field" entities, which might make
sense in some contexts but not when Kill_Current_Values is called in a
default expression of a record component. This patch refines the choice
of considered entities in Kill_Current_Values accordingly.

gcc/ada/ChangeLog:

* sem_util.adb (Kill_Current_Values): Tweak condition.
gcc/ada/sem_util.adb