diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-05 11:46:59 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-10 09:34:58 -0400 |
| commit | c64ac479d37f32198f75eee496d32c175fc4260b (patch) | |
| tree | 85d00dc2b9d555ac89ace0bd3392574976a2e4f2 /gcc/ada/debug.adb | |
| parent | 4322f3d99b7e5875de59c04939c4a4def1ffde5c (diff) | |
| download | gcc-c64ac479d37f32198f75eee496d32c175fc4260b.zip gcc-c64ac479d37f32198f75eee496d32c175fc4260b.tar.gz gcc-c64ac479d37f32198f75eee496d32c175fc4260b.tar.bz2 | |
[Ada] Fold Enum_Rep attribute in evaluation and not in expansion
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* exp_attr.adb (Expand_N_Attribute_Reference): Remove folding
for Enum_Rep attribute.
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Remove
duplicated code for folding Enum_Rep attribute.
* sem_attr.adb (Eval_Attribute): Relax condition for folding
Enum_Rep attribute; previously dead code is now executed when
the attribute prefix is an enumeration literal; refine type in
processing of Enum_Val.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions