From dd340008ba64eaf2a48e4bbda8011f757df9539c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 7 Sep 2021 21:32:51 +0200
Subject: testsuite/gna: add a test for #1523

---
 testsuite/gna/issue1523/repro.vhdl   | 51 ++++++++++++++++++++++++++++++++++++
 testsuite/gna/issue1523/testsuite.sh | 11 ++++++++
 2 files changed, 62 insertions(+)
 create mode 100644 testsuite/gna/issue1523/repro.vhdl
 create mode 100755 testsuite/gna/issue1523/testsuite.sh

diff --git a/testsuite/gna/issue1523/repro.vhdl b/testsuite/gna/issue1523/repro.vhdl
new file mode 100644
index 000000000..edf10bf26
--- /dev/null
+++ b/testsuite/gna/issue1523/repro.vhdl
@@ -0,0 +1,51 @@
+library ieee;
+use ieee.std_logic_1164.all;
+
+package package1 is
+    type InnerRecordType is record
+        inner2a : std_logic_vector(3 downto 0); -- NOTE: deleting me makes test pass
+        inner2b : std_logic_vector;
+    end record;
+    
+    type OuterRecordType is record
+        inner1 : InnerRecordType;
+    end record;
+end package;
+
+library ieee;
+use ieee.std_logic_1164.all;
+
+use work.package1.all;
+
+entity entity1 is
+    generic (WIDTH : integer);
+    port (port1 : in OuterRecordType(inner1(inner2b(WIDTH-1 downto 0))));
+end entity;
+
+architecture arc of entity1 is
+begin
+    process is
+    begin
+        wait for 10 ns;
+        assert port1.inner1.inner2b = x"ffff" severity failure;
+        report "PASS";
+        wait;
+    end process;
+end architecture;
+
+library ieee;
+use ieee.std_logic_1164.all;
+
+use work.package1.all;
+
+entity ghdl_bug_repro is
+end entity;
+
+architecture arc of ghdl_bug_repro is
+    constant WIDTH : integer := 16;
+    
+    signal sig1 : OuterRecordType(inner1(inner2b(WIDTH-1 downto 0)));
+begin
+    ENTITY1_INST : entity work.entity1 generic map (WIDTH => WIDTH) port map (port1 => sig1);
+    sig1.inner1.inner2b <= x"ffff";
+end architecture;
diff --git a/testsuite/gna/issue1523/testsuite.sh b/testsuite/gna/issue1523/testsuite.sh
new file mode 100755
index 000000000..9f653c817
--- /dev/null
+++ b/testsuite/gna/issue1523/testsuite.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze repro.vhdl
+elab_simulate ghdl_bug_repro
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3