diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-03-16 14:22:42 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-16 08:42:06 +0000 |
| commit | 20652c7f22b86d3cd646ecc2227a670f81302509 (patch) | |
| tree | 93320c1f75b8ae11038a9a5c160b9526b1613f85 | |
| parent | b32b51902cd97e3a8a2eede10a847688c5f15cde (diff) | |
| download | gcc-20652c7f22b86d3cd646ecc2227a670f81302509.zip gcc-20652c7f22b86d3cd646ecc2227a670f81302509.tar.gz gcc-20652c7f22b86d3cd646ecc2227a670f81302509.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem_attr.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 55da9ef..b3965f3 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 |