diff options
Diffstat (limited to 'testsuite/gna/bug21497')
-rwxr-xr-x | testsuite/gna/bug21497/repro.vhdl | 19 | ||||
-rwxr-xr-x | testsuite/gna/bug21497/testsuite.sh | 11 |
2 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/gna/bug21497/repro.vhdl b/testsuite/gna/bug21497/repro.vhdl new file mode 100755 index 000000000..fe6e1c323 --- /dev/null +++ b/testsuite/gna/bug21497/repro.vhdl @@ -0,0 +1,19 @@ +entity tb is + generic (low : integer := 1 ; high : integer := 10); +end; + +architecture behav of tb is +begin + process + type st_arr1 is array (low to high) of integer; + + type st_arr2 is array (low to high) of st_arr1; + constant c_st_arr2 : st_arr2 := (others => (others => 1)); + + type a_st_arr2 is access st_arr2; + variable v_st_arr2 : a_st_arr2 := new st_arr2'(c_st_arr2) ; + begin + assert v_st_arr2.all = c_st_arr2 severity failure; + wait; + end process ; +end behav; diff --git a/testsuite/gna/bug21497/testsuite.sh b/testsuite/gna/bug21497/testsuite.sh new file mode 100755 index 000000000..532242432 --- /dev/null +++ b/testsuite/gna/bug21497/testsuite.sh @@ -0,0 +1,11 @@ +#! /bin/sh + +. ../../testenv.sh + + +analyze repro.vhdl +elab_simulate tb + +clean + +echo "Test successful" |