From 476405344556e854c03c33dc4698b5a78b006b47 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 1 Feb 2023 21:10:52 +0100
Subject: testsuite/gna: add a test for #2337

---
 testsuite/gna/issue2337/repro2_tb.vhdl | 30 ++++++++++++++++++++++++++++
 testsuite/gna/issue2337/repro_tb.vhdl  | 36 ++++++++++++++++++++++++++++++++++
 testsuite/gna/issue2337/testsuite.sh   | 14 +++++++++++++
 3 files changed, 80 insertions(+)
 create mode 100644 testsuite/gna/issue2337/repro2_tb.vhdl
 create mode 100644 testsuite/gna/issue2337/repro_tb.vhdl
 create mode 100755 testsuite/gna/issue2337/testsuite.sh

diff --git a/testsuite/gna/issue2337/repro2_tb.vhdl b/testsuite/gna/issue2337/repro2_tb.vhdl
new file mode 100644
index 000000000..d2af7d4a8
--- /dev/null
+++ b/testsuite/gna/issue2337/repro2_tb.vhdl
@@ -0,0 +1,30 @@
+entity repro2_tb is
+end entity repro2_tb;
+
+architecture sim of repro2_tb is
+    type Test_Record_t is record
+        test     : bit_vector(8 downto 0);
+        expected  : bit_vector(8 downto 0);
+    end record;
+
+    type SLV_vector is array (natural range <>) of bit_vector;
+
+    -- Want to create an array of test values without explicitely stating the size
+    -- The following line breaks GHDL, if I replace "open" with "0 to 1" everything works as expected.
+    constant TEST_VALUES : SLV_vector(open)(7 downto 0) := (
+        x"AD",
+        x"12"
+    );
+
+    constant TEST_VEC : Test_Record_t := (
+        test      => "0" & TEST_VALUES(0), -- The concatenation is somehow necessary to reproduce the issue
+        expected  => "0" & TEST_VALUES(0)
+    );
+begin
+    test_runner : process
+    begin
+        assert TEST_VEC.test = TEST_VEC.expected report "Should be equal" severity failure;
+        wait;
+    end process test_runner;
+
+end architecture sim;
diff --git a/testsuite/gna/issue2337/repro_tb.vhdl b/testsuite/gna/issue2337/repro_tb.vhdl
new file mode 100644
index 000000000..a8dde9daf
--- /dev/null
+++ b/testsuite/gna/issue2337/repro_tb.vhdl
@@ -0,0 +1,36 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+use std.env.finish;
+
+entity repro_tb is
+end entity repro_tb;
+
+architecture sim of repro_tb is
+    type Test_Record_t is record
+        test     : std_logic_vector(8 downto 0);
+        expected  : std_logic_vector(8 downto 0);
+    end record;
+
+    type SLV_vector is array (natural range <>) of std_logic_vector;
+
+    -- Want to create an array of test values without explicitely stating the size
+    -- The following line breaks GHDL, if I replace "open" with "0 to 1" everything works as expected.
+    constant TEST_VALUES : SLV_vector(open)(7 downto 0) := (
+        x"AD",
+        x"12"
+    );
+
+    constant TEST_VEC : Test_Record_t := (
+        test      => "0" & TEST_VALUES(0), -- The concatenation is somehow necessary to reproduce the issue
+        expected  => "0" & TEST_VALUES(0)
+    );
+begin
+    test_runner : process
+    begin
+        assert TEST_VEC.test = TEST_VEC.expected report "Should be equal" severity failure;
+        finish;
+    end process test_runner;
+
+end architecture sim;
diff --git a/testsuite/gna/issue2337/testsuite.sh b/testsuite/gna/issue2337/testsuite.sh
new file mode 100755
index 000000000..a625378ce
--- /dev/null
+++ b/testsuite/gna/issue2337/testsuite.sh
@@ -0,0 +1,14 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze repro_tb.vhdl
+elab_simulate repro_tb
+
+analyze repro2_tb.vhdl
+elab_simulate repro2_tb
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3