projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 955886d) | patch
[Ada] Decorate iterated_component_association in SPARK expansion
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 4 Aug 2020 17:18:20 +0000 (19:18 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 23 Oct 2020 08:24:56 +0000 (04:24 -0400)
commitf2668d9058fd2f6299d2f4b3d5fff590d819361f
tree0c9e156787cc4bd47f17f005b0b20dba05159136tree
parent955886d1a2c75d16b41df1c97d04387bd7436dabcommit | diff
[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.
gcc/ada/exp_spark.adb diff | blob | history