[Ada] Remove useless code related to current value propagation
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 16 Mar 2022 13:22:42 +0000 (14:22 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:06 +0000 (08:42 +0000)
commit20652c7f22b86d3cd646ecc2227a670f81302509
tree93320c1f75b8ae11038a9a5c160b9526b1613f85
parentb32b51902cd97e3a8a2eede10a847688c5f15cde
[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.
gcc/ada/sem_attr.adb