diff mbox series

[COMMITTED] ada: Fix type for SPARK expansion on deep delta aggregates

Message ID 20231121100042.1964772-1-poulhies@adacore.com
State Committed
Commit 2d8dc17101260f578a6d591fa03187aa4c2908d7
Headers
Series [COMMITTED] ada: Fix type for SPARK expansion on deep delta aggregates |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_gcc_build--master-arm warning Patch is already merged
linaro-tcwg-bot/tcwg_gcc_build--master-aarch64 warning Patch is already merged

Commit Message

Marc Poulhiès Nov. 21, 2023, 10 a.m. UTC 
  From: Yannick Moy <moy@adacore.com>

gcc/ada/

	* exp_spark.adb (Expand_SPARK_Delta_Or_Aggregate): Fix type.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/exp_spark.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff mbox series

Patch

diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb
index c19aa201bde..ae0e616c797 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)