diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-08-04 19:18:20 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-23 04:24:56 -0400 |
| commit | f2668d9058fd2f6299d2f4b3d5fff590d819361f (patch) | |
| tree | 0c9e156787cc4bd47f17f005b0b20dba05159136 /gcc/tree-inline.c | |
| parent | 955886d1a2c75d16b41df1c97d04387bd7436dab (diff) | |
| download | gcc-f2668d9058fd2f6299d2f4b3d5fff590d819361f.zip gcc-f2668d9058fd2f6299d2f4b3d5fff590d819361f.tar.gz gcc-f2668d9058fd2f6299d2f4b3d5fff590d819361f.tar.bz2 | |
[Ada] Decorate iterated_component_association in SPARK expansion
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Aggregate,
Expand_SPARK_Delta_Or_Update): Expand
Iterated_Component_Association occurring within delta
aggregates.
(Expand_SPARK): Apply SPARK-specific expansion to ordinary
aggregates.
Diffstat (limited to 'gcc/tree-inline.c')
0 files changed, 0 insertions, 0 deletions