https://gcc.gnu.org/g:5f0a381801b754dbbd52695bbdbe48967211659c
commit r15-4182-g5f0a381801b754dbbd52695bbdbe48967211659c
Author: Eric Botcazou <ebotca...@adacore.com>
Date: Tue Oct 8 15:17:27 2024 +0200
Add regression test
gcc/testsuite/
PR ada/116190
* gnat.dg/aggr31.adb: New test.
Diff:
---
gcc/testsuite/gnat.dg/aggr31.adb | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
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;
+
