diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-09 07:54:10 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:54:10 +0000 |
| commit | dd9290ec5334de4426f4a510f4a32fd02e012f04 (patch) | |
| tree | 1f54e5a11b614ceeb8945d3f343e62788e98e341 /libcpp | |
| parent | a74d1bf6af0aaeb693cdbddf924c9af53f92b549 (diff) | |
| download | gcc-dd9290ec5334de4426f4a510f4a32fd02e012f04.zip gcc-dd9290ec5334de4426f4a510f4a32fd02e012f04.tar.gz gcc-dd9290ec5334de4426f4a510f4a32fd02e012f04.tar.bz2 | |
[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.
From-SVN: r273276
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions