2 files changed, 35 insertions, 0 deletions
diff --git a/testsuite/gna/ticket46/bug.vhdl b/testsuite/gna/ticket46/bug.vhdl
new file mode 100644
index 0000000..1f2b819
--- /dev/null
+++ b/testsuite/gna/ticket46/bug.vhdl
@@ -0,0 +1,24 @@
+entity ent is
+end entity;
+
+architecture a of ent is
+  type boolean_vec_t is array (integer range <>) of boolean;
+
+  function resolved(vec : boolean_vec_t) return boolean is
+  begin
+    return true;
+  end function;
+
+  subtype resolved_boolean_t is resolved boolean;
+
+  signal sig : resolved_boolean_t;
+
+begin
+  main : process
+  begin
+    if sig then
+    end if;
+
+    wait until sig;
+  end process;
+end architecture;
diff --git a/testsuite/gna/ticket46/testsuite.sh b/testsuite/gna/ticket46/testsuite.sh
new file mode 100755
index 0000000..ea37bb6
--- /dev/null
+++ b/testsuite/gna/ticket46/testsuite.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze --std=02 bug.vhdl
+analyze --std=08 bug.vhdl
+
+GHDL_STD_FLAGS=--std=02 clean
+GHDL_STD_FLAGS=--std=08 clean
+
+echo "Test successful"