projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2307a1a) | patch
[Ada] Remove SPARK-specific expansion of array aggregates
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 24 Sep 2020 20:25:18 +0000 (22:25 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 24 Nov 2020 10:15:59 +0000 (05:15 -0500)
commit02fb12801b18c9d3cfe1c29b5be9f33d2dc77e21
treef7279e63c49caf15cc4739f0446f7244b6875d82tree
parent2307a1aeb8ecaf0bac055a13d65eef884cbf22b3commit | diff
[Ada] Remove SPARK-specific expansion of array aggregates

gcc/ada/

* exp_spark.adb (Expand_SPARK_Array_Aggregate,
Expand_SPARK_N_Aggregate): Remove, no longer needed.
* sem_aggr.adb (Resolve_Iterated_Component_Association): Only
remove references in the analyzed expression when generating
code and the expression needs to be analyzed anew after being
rewritten into a loop.
gcc/ada/exp_spark.adb diff | blob | history
gcc/ada/sem_aggr.adb diff | blob | history