summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/gna/bug037/repro.vhdl14
-rwxr-xr-xtestsuite/gna/bug037/testsuite.sh10
2 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/gna/bug037/repro.vhdl b/testsuite/gna/bug037/repro.vhdl
new file mode 100644
index 0000000..49e80dd
--- /dev/null
+++ b/testsuite/gna/bug037/repro.vhdl
@@ -0,0 +1,14 @@
+entity repro is
+end;
+
+architecture behav of repro is
+ subtype byte is bit_vector (7 downto 0);
+ type byte_array is array (1 to 10, boolean, 'a' to 'c') of byte;
+
+ signal s : byte_array;
+begin
+ process
+ begin
+ wait;
+ end process;
+end behav;
diff --git a/testsuite/gna/bug037/testsuite.sh b/testsuite/gna/bug037/testsuite.sh
new file mode 100755
index 0000000..ea3e4df
--- /dev/null
+++ b/testsuite/gna/bug037/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze repro.vhdl
+elab_simulate repro --dump-rti
+
+clean
+
+echo "Test successful"