From 5f0a381801b754dbbd52695bbdbe48967211659c Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Tue, 8 Oct 2024 15:17:27 +0200 Subject: [PATCH] Add regression test gcc/testsuite/ PR ada/116190 * gnat.dg/aggr31.adb: New test. --- gcc/testsuite/gnat.dg/aggr31.adb | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/aggr31.adb diff --git a/gcc/testsuite/gnat.dg/aggr31.adb b/gcc/testsuite/gnat.dg/aggr31.adb new file mode 100644 index 000000000000..8e95f808d88e --- /dev/null +++ b/gcc/testsuite/gnat.dg/aggr31.adb @@ -0,0 +1,17 @@ +-- { dg-do run } +-- { dg-options "-gnat2022" } + +with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; + +procedure Aggr31 is + + My_Array : constant array (1 .. 5) of Unbounded_String := + [others => To_Unbounded_String ("Test")]; + + This_Crashes : constant array (Natural range <>) of Unbounded_String := + [for I of My_Array => I]; + +begin + null; +end; + -- 2.47.2