From f4976c9f41903ef09b0225977129660a6391042b Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 29 Dec 2013 03:27:39 +0100
Subject: Add gna tests

---
 testsuite/gna/bug15638/15368.vhd    | 35 +++++++++++++++++++++++++++++++++++
 testsuite/gna/bug15638/testsuite.sh | 10 ++++++++++
 2 files changed, 45 insertions(+)
 create mode 100644 testsuite/gna/bug15638/15368.vhd
 create mode 100755 testsuite/gna/bug15638/testsuite.sh

(limited to 'testsuite/gna/bug15638')

diff --git a/testsuite/gna/bug15638/15368.vhd b/testsuite/gna/bug15638/15368.vhd
new file mode 100644
index 000000000..0c8a50827
--- /dev/null
+++ b/testsuite/gna/bug15638/15368.vhd
@@ -0,0 +1,35 @@
+entity bug is 
+end entity;
+
+architecture a of bug is
+  component cmp is
+    port(o :out bit_vector);
+  end component;
+
+signal o:bit_vector(4 downto 0);
+
+begin
+  i_exp: cmp port map(o);
+
+  process(o)
+  begin
+     report "o event" severity note;
+  end process;
+
+end architecture;
+
+entity cmp is
+  port(o :out bit_vector);
+end entity;
+
+architecture a of cmp is
+  signal big_o:bit_vector(255 downto 0);
+  signal a:bit_vector(4 downto 0);
+begin
+
+  o <= big_o(a'range);
+
+  big_o <= (others => '1') after 5 ns, (others => '0') after 10 ns;
+  a     <= (others => '1') after 20 ns, (others => '0') after 30 ns;
+
+end architecture; 
diff --git a/testsuite/gna/bug15638/testsuite.sh b/testsuite/gna/bug15638/testsuite.sh
new file mode 100755
index 000000000..9de7543d3
--- /dev/null
+++ b/testsuite/gna/bug15638/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze 15368.vhd
+elab_simulate bug
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3