diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-09-24 22:25:18 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:15:59 -0500 |
| commit | 02fb12801b18c9d3cfe1c29b5be9f33d2dc77e21 (patch) | |
| tree | f7279e63c49caf15cc4739f0446f7244b6875d82 /gcc/ada/libgnat | |
| parent | 2307a1aeb8ecaf0bac055a13d65eef884cbf22b3 (diff) | |
| download | gcc-02fb12801b18c9d3cfe1c29b5be9f33d2dc77e21.zip gcc-02fb12801b18c9d3cfe1c29b5be9f33d2dc77e21.tar.gz gcc-02fb12801b18c9d3cfe1c29b5be9f33d2dc77e21.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/libgnat')
0 files changed, 0 insertions, 0 deletions