From 358323160ff607b668539f8e4a8d3f2156ad9e37 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 10 May 2015 20:54:35 +0200
Subject: Ticket 46 reproducer.

---
 testsuite/gna/ticket46/bug.vhdl     | 24 ++++++++++++++++++++++++
 testsuite/gna/ticket46/testsuite.sh | 11 +++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 testsuite/gna/ticket46/bug.vhdl
 create mode 100755 testsuite/gna/ticket46/testsuite.sh

diff --git a/testsuite/gna/ticket46/bug.vhdl b/testsuite/gna/ticket46/bug.vhdl
new file mode 100644
index 000000000..1f2b8198c
--- /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 000000000..ea37bb64d
--- /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"
-- 
cgit v1.2.3