Add a testcase about visibility.

2 files changed, 35 insertions, 0 deletions

diff --git a/testsuite/gna/bug098/loopy.vhdl b/testsuite/gna/bug098/loopy.vhdl
new file mode 100644
index 000000000..16d3c1af3
--- /dev/null
+++ b/testsuite/gna/bug098/loopy.vhdl
@@ -0,0 +1,26 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+entity loopy is
+end loopy;
+
+architecture foo of loopy is
+    constant R: integer := 4;
+    constant L: integer := 16;
+    constant W: integer := 16;
+    constant M: integer := 4;
+    type  t_reg_x is array ( 0 to L-1 ) of signed( W-1 downto 0 );
+    signal reg_x : t_reg_x  := ( others => ( others => '0' ) );
+    type t_mux_in_x is array ( 0 to L - 1 ) of signed( W - 1 downto 0 );
+    signal mux_in_x: t_mux_in_x :=  ( others => ( others => '0') );
+begin
+    process (reg_x)
+    begin
+        for r in 0 to R-1 loop
+            for m in 0 to M-1 loop
+                mux_in_x(r * M + m) <= reg_x(m * R + r);
+            end loop;
+        end loop;
+    end process;
+end architecture;
diff --git a/testsuite/gna/bug098/testsuite.sh b/testsuite/gna/bug098/testsuite.sh
new file mode 100755
index 000000000..b8c1c32a8
--- /dev/null
+++ b/testsuite/gna/bug098/testsuite.sh
@@ -0,0 +1,9 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze_failure loopy.vhdl
+
+clean
+
+echo "Test successful"