public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r14-5656] ada: Fix type for SPARK expansion on deep delta aggregates
@ 2023-11-21  9:59 Marc Poulhi?s
  0 siblings, 0 replies; only message in thread
From: Marc Poulhi?s @ 2023-11-21  9:59 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:2d8dc17101260f578a6d591fa03187aa4c2908d7

commit r14-5656-g2d8dc17101260f578a6d591fa03187aa4c2908d7
Author: Yannick Moy <moy@adacore.com>
Date:   Mon Oct 30 10:25:46 2023 +0100

    ada: Fix type for SPARK expansion on deep delta aggregates
    
    gcc/ada/
    
            * exp_spark.adb (Expand_SPARK_Delta_Or_Aggregate): Fix type.

Diff:
---
 gcc/ada/exp_spark.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)

^ permalink raw reply	[flat|nested] only message in thread
only message in thread, other threads:[~2023-11-21  9:59 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-11-21  9:59 [gcc r14-5656] ada: Fix type for SPARK expansion on deep delta aggregates Marc Poulhi?s

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).