testsuite/gna: add tests for #1549

1 files changed, 28 insertions, 0 deletions

diff --git a/testsuite/gna/issue1549/ent6.vhdl b/testsuite/gna/issue1549/ent6.vhdl
new file mode 100644
index 000000000..eed31b5f5
--- /dev/null
+++ b/testsuite/gna/issue1549/ent6.vhdl
@@ -0,0 +1,28 @@
+entity ent6 is
+  generic (
+    WIDTH : natural := 1);
+end ent6;
+
+architecture ent of ent6 is
+  type bv_array_t is array (natural range <>) of bit_vector;
+  subtype bv_array2_t is bv_array_t(open)(WIDTH - 1 downto 0);
+
+  procedure write_data (constant c : bv_array2_t) is
+  begin
+    for i in c'range loop
+      report integer'image(i) & " =>" & to_string(c(i));
+    end loop;
+
+    assert c(1)(0) = '1'; -- <<<<<====== This should not fail
+  end procedure;
+
+begin
+  process
+    variable data2 : bv_array2_t(0 to 1);
+  begin
+    data2(0) := "0";
+    data2(1) := "1";
+    write_data(data2);
+    wait;
+  end process;
+end ent;