[Ada] Port a modified expansion of Enum_Rep from GNAT to GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 17 Feb 2020 17:00:41 +0000 (18:00 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:51:12 +0000 (03:51 -0400)
commit5351d617ec82bc2795a514e9de815484fb8cd0fc
tree83d573643cf7bd7bdf6a3d4e4e57e049027ad92f
parente344ec2553320fa95414e39001435076f277e335
[Ada] Port a modified expansion of Enum_Rep from GNAT to GNATprove

2020-06-08  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Port
changes in frontend expander.
gcc/ada/exp_spark.adb