summaryrefslogtreecommitdiff
path: root/testsuite/gna/bug15638
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/gna/bug15638')
-rw-r--r--testsuite/gna/bug15638/15368.vhd35
-rwxr-xr-xtestsuite/gna/bug15638/testsuite.sh10
2 files changed, 45 insertions, 0 deletions
diff --git a/testsuite/gna/bug15638/15368.vhd b/testsuite/gna/bug15638/15368.vhd
new file mode 100644
index 0000000..0c8a508
--- /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 0000000..9de7543
--- /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"