diff options
| -rw-r--r-- | testsuite/gna/bug15933/crash.vhd | 14 | ||||
| -rwxr-xr-x | testsuite/gna/bug15933/testsuite.sh | 9 |
2 files changed, 23 insertions, 0 deletions
diff --git a/testsuite/gna/bug15933/crash.vhd b/testsuite/gna/bug15933/crash.vhd new file mode 100644 index 0000000..a4fe381 --- /dev/null +++ b/testsuite/gna/bug15933/crash.vhd @@ -0,0 +1,14 @@ +entity crash is end; + +architecture behav of crash is + constant data_width : natural := 8; + type data_type is record + data: bit_vector(data_width-1 downto 0); + enable: bit; + end record data_type; + type port_type is array(0 to 15) of data_type; + signal s : port_type; +begin + s(s'range).enable <= '0'; +end behav; + diff --git a/testsuite/gna/bug15933/testsuite.sh b/testsuite/gna/bug15933/testsuite.sh new file mode 100755 index 0000000..0eeffca --- /dev/null +++ b/testsuite/gna/bug15933/testsuite.sh @@ -0,0 +1,9 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze_failure crash.vhd + +clean + +echo "Test successful" |