From 4528ed26b1b22562a4552368459f5d5acf5c3847 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 20 May 2015 06:57:45 +0200
Subject: Testcase for ticket 71.

---
 testsuite/gna/ticket71/bug.vhdl     | 43 +++++++++++++++++++++++++++++++++++++
 testsuite/gna/ticket71/testsuite.sh | 13 +++++++++++
 2 files changed, 56 insertions(+)
 create mode 100644 testsuite/gna/ticket71/bug.vhdl
 create mode 100755 testsuite/gna/ticket71/testsuite.sh

(limited to 'testsuite')

diff --git a/testsuite/gna/ticket71/bug.vhdl b/testsuite/gna/ticket71/bug.vhdl
new file mode 100644
index 000000000..e9955d55a
--- /dev/null
+++ b/testsuite/gna/ticket71/bug.vhdl
@@ -0,0 +1,43 @@
+package pkg is
+  procedure proc(signal sig : in integer; msg : string);
+end package;
+
+package body pkg is
+  procedure proc(signal sig : in integer; msg : string) is
+  begin
+    loop
+      wait on sig;
+      report integer'image(sig) & " : " & msg;
+    end loop;
+  end procedure;
+end package body;
+
+use work.pkg.all;
+
+entity ent2 is
+  port (
+    prt : out integer);
+begin
+  proc(prt, "entity");
+end entity;
+
+architecture a of ent2 is
+begin
+  proc(prt, "architecture");
+  main : process
+  begin
+    prt <= 1;
+    wait for 1 ns;
+    prt <= 2;
+    wait;
+  end process;
+end architecture;
+
+entity ent is
+end entity;
+
+architecture a of ent is
+  signal sig : integer;
+begin
+  ent2_inst : entity work.ent2 port map(prt => sig);
+end architecture;
diff --git a/testsuite/gna/ticket71/testsuite.sh b/testsuite/gna/ticket71/testsuite.sh
new file mode 100755
index 000000000..892a43602
--- /dev/null
+++ b/testsuite/gna/ticket71/testsuite.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze_failure bug.vhdl
+clean
+
+GHDL_STD_FLAGS=--std=08
+analyze bug.vhdl
+elab_simulate ent
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3