aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna/bug0117/repro13.vhdl
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/gna/bug0117/repro13.vhdl')
-rw-r--r--testsuite/gna/bug0117/repro13.vhdl26
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/gna/bug0117/repro13.vhdl b/testsuite/gna/bug0117/repro13.vhdl
new file mode 100644
index 000000000..fbd18122d
--- /dev/null
+++ b/testsuite/gna/bug0117/repro13.vhdl
@@ -0,0 +1,26 @@
+entity repro13 is
+end;
+
+architecture behav of repro13 is
+ type my_arr is array (natural range <>) of bit_vector;
+
+ procedure assign (signal v : inout my_arr; d : my_arr) is
+ begin
+ v (d'length - 1 downto 0) <= d;
+ end assign;
+ signal s1 : my_arr (2 downto 0)(3 downto 0);
+begin
+ process
+ variable v0 : my_arr (1 downto 0)(3 downto 0);
+ begin
+ v0 := (x"1", x"2");
+ s1 <= (x"5", x"4", x"3");
+ wait for 1 ns;
+ assign (s1, v0);
+ wait for 1 ns;
+ assert s1(2) = x"5";
+ assert s1(1) = x"1";
+ assert s1(0) = x"2";
+ wait;
+ end process;
+end behav;