diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-09-23 16:38:10 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-27 05:19:33 -0400 |
| commit | a026b59e7711ffa23137a1255f1acc5c73589412 (patch) | |
| tree | b5b948f5f9f12583a34c33431655d4e3c46d6fd1 /gcc/expr.c | |
| parent | fb00cc7032bf1129373edd2bd99cf02fe03fd1d8 (diff) | |
| download | gcc-a026b59e7711ffa23137a1255f1acc5c73589412.zip gcc-a026b59e7711ffa23137a1255f1acc5c73589412.tar.gz gcc-a026b59e7711ffa23137a1255f1acc5c73589412.tar.bz2 | |
[Ada] Fix GNATprove support for iterated_component_associations
gcc/ada/
* exp_spark.adb (Expand_SPARK_Array_Aggregate): Dedicated
routine for array aggregates; mostly reuses existing code, but
calls itself recursively for multi-dimensional array aggregates.
(Expand_SPARK_N_Aggregate): Call Expand_SPARK_Array_Aggregate to
do the actual expansion, starting from the first index of the
array type.
Diffstat (limited to 'gcc/expr.c')
0 files changed, 0 insertions, 0 deletions