Add testcase for #735

2 files changed, 23 insertions, 0 deletions

diff --git a/testsuite/gna/issue735/ent.vhdl b/testsuite/gna/issue735/ent.vhdl
new file mode 100644
index 000000000..f44d5dab2
--- /dev/null
+++ b/testsuite/gna/issue735/ent.vhdl
@@ -0,0 +1,12 @@
+entity ent is
+end entity;
+
+architecture impl of ent is
+  type bool_vector is array(0 downto 0) of boolean;
+  signal baz: bool_vector;
+begin
+
+assert baz(0)
+  severity note;
+
+end architecture;
diff --git a/testsuite/gna/issue735/testsuite.sh b/testsuite/gna/issue735/testsuite.sh
new file mode 100755
index 000000000..bda8f5d14
--- /dev/null
+++ b/testsuite/gna/issue735/testsuite.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze ent.vhdl
+elab_simulate ent
+
+clean
+
+echo "Test successful"