diff options
| author | Yannick Moy <moy@adacore.com> | 2023-10-30 10:25:46 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-21 10:57:42 +0100 |
| commit | 2d8dc17101260f578a6d591fa03187aa4c2908d7 (patch) | |
| tree | 9f6061fdec00e6af8175d6d67a0ab45f450606d6 | |
| parent | 706535a9a2a726c388a3127fffc0848fb33bb951 (diff) | |
| download | gcc-2d8dc17101260f578a6d591fa03187aa4c2908d7.zip gcc-2d8dc17101260f578a6d591fa03187aa4c2908d7.tar.gz gcc-2d8dc17101260f578a6d591fa03187aa4c2908d7.tar.bz2 | |
ada: Fix type for SPARK expansion on deep delta aggregates
gcc/ada/
* exp_spark.adb (Expand_SPARK_Delta_Or_Aggregate): Fix type.
| -rw-r--r-- | gcc/ada/exp_spark.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb index c19aa20..ae0e616 100644 --- a/gcc/ada/exp_spark.adb +++ b/gcc/ada/exp_spark.adb @@ -200,7 +200,7 @@ package body Exp_SPARK is begin loop if Nkind (Pref) = N_Indexed_Component then - Index := First (Expressions (Choice)); + Index := First (Expressions (Pref)); Apply_Scalar_Range_Check (Index, Etype (Index)); elsif Is_Array_Type (Typ) |