projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c64ac47) | patch
[Ada] Revert workaround for expansion of Enum_Rep in GNATprove mode
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 5 Mar 2020 10:57:50 +0000 (11:57 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 10 Jun 2020 13:34:58 +0000 (09:34 -0400)
commit8ecc34842c6884a508aaf56328ee76576c348cf7
treefe357640ced2876f5962e00bd972ee13a158eb41tree
parentc64ac479d37f32198f75eee496d32c175fc4260bcommit | diff
[Ada] Revert workaround for expansion of Enum_Rep in GNATprove mode

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

gcc/ada/

* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Remove
expansion of First and Last attributes.
gcc/ada/exp_spark.adb diff | blob | history