This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r273276 - in /trunk/gcc/ada: ChangeLog exp_spar...
- From: pmderodat at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 09 Jul 2019 07:54:10 -0000
- Subject: r273276 - in /trunk/gcc/ada: ChangeLog exp_spar...
Author: pmderodat
Date: Tue Jul 9 07:54:10 2019
New Revision: 273276
URL: https://gcc.gnu.org/viewcvs?rev=273276&root=gcc&view=rev
Log:
[Ada] Expand Enum_Rep attribute reference in GNATprove mode
In the special GNATprove mode for proof of programs, expand the Enum_Rep
attribute reference so that a suitable static integer is in the AST
where required by the rest of analysis.
There is no impact on compilation.
2019-07-09 Yannick Moy <moy@adacore.com>
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Expand
attribute reference on Enum_Rep.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_spark.adb