From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 16 Mar 2022 13:22:42 +0000 (+0100)
Subject: [Ada] Remove useless code related to current value propagation
X-Git-Tag: basepoints/gcc-14~6707
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=20652c7f22b86d3cd646ecc2227a670f81302509;p=thirdparty%2Fgcc.git

[Ada] Remove useless code related to current value propagation

The current value propagation applies only to assignable objects and
doesn't make sense for subprogram entities. This was a mistake
introduced when extending the current value propagation years ago.

Cleanup related to fixing interference between expansion of attribute
Loop_Entry and current value propagation.

gcc/ada/

	* sem_attr.adb (Address_Checks): Remove call to
	Kill_Current_Values for subprogram entities, because this
	routine only does something for object entities.
---

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 55da9ef73f2..b3965f3664e 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -504,7 +504,6 @@ package body Sem_Attr is
             begin
                if Is_Subprogram (Ent) then
                   Set_Address_Taken (Ent);
-                  Kill_Current_Values (Ent);
 
                   --  An Address attribute is accepted when generated by the
                   --  compiler for dispatching operation, and an error is