Add bug15933.

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"