From 3b503f2cfdd213cde2ae84004d1e594398e1a656 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 7 Sep 2021 06:01:35 +0200 Subject: testsuite/gna: add a test for #1657 --- testsuite/gna/issue1657/repro.vhdl | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 testsuite/gna/issue1657/repro.vhdl (limited to 'testsuite/gna/issue1657/repro.vhdl') diff --git a/testsuite/gna/issue1657/repro.vhdl b/testsuite/gna/issue1657/repro.vhdl new file mode 100644 index 000000000..17418dd86 --- /dev/null +++ b/testsuite/gna/issue1657/repro.vhdl @@ -0,0 +1,25 @@ +entity repro is +end; + +architecture rtl of repro is +begin + Test_Proc: process + type bit_vector_array is array(natural range <>) of bit_vector; + variable v : bit_vector_array(0 to 3)(7 downto 0) := + (others => (others => '0')); + begin + v := v(1 to 3) & bit_vector'(x"FF"); + + for i in v'range loop + report "V(" & natural'image(i) & ") = " & to_string (v(i)); + end loop; + + assert V(0) = x"00" severity failure; + assert V(1) = x"00" severity failure; + assert V(2) = x"00" severity failure; + assert V(3) = x"FF" severity failure; + + report "TESTING" severity note; + wait; + end process; +end architecture rtl; -- cgit v1.2.3