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 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 testsuite/gna/ticket46/bug.vhdl

(limited to 'testsuite/gna/ticket46/bug.vhdl')

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;
-- 
cgit v1.2.3