projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33defa7) | patch
[Ada] SPARK: disable expansion of Enum_Rep
authorYannick Moy <moy@adacore.com>
Mon, 12 Aug 2019 08:59:37 +0000 (08:59 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 12 Aug 2019 08:59:37 +0000 (08:59 +0000)
commit08c8696d4884425839fc5cd14a8788fe53f031e4
treec73fa96b43f78ae4049239e197a1d844430813d4tree
parent33defa7c6c36c0671b81b4785fbb250430a4a953commit | diff
[Ada] SPARK: disable expansion of Enum_Rep

Disable expansion of Enum_Rep into a type conversion as it is incorrect
in SPARK.

2019-08-12  Yannick Moy  <moy@adacore.com>

gcc/ada/

* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Only
expand Enum_Rep attribute when its parameter is a literal.

From-SVN: r274289
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_spark.adb diff | blob | history