testsuite/gna: add a test for #1125

2 files changed, 42 insertions, 0 deletions

diff --git a/testsuite/gna/issue1125/etest.vhdl b/testsuite/gna/issue1125/etest.vhdl
new file mode 100644
index 000000000..dd09ef250
--- /dev/null
+++ b/testsuite/gna/issue1125/etest.vhdl
@@ -0,0 +1,29 @@
+library IEEE;
+   use IEEE.std_logic_1164.all;
+   use IEEE.numeric_std.all;
+
+entity etest is
+end;
+
+architecture atest of etest is 
+
+function foo(a : std_logic_vector) return unsigned is
+variable v : unsigned(3 downto 0):=(others=>'0') ;
+begin
+    v := v + unsigned(a(1 downto 1));
+    return v;
+end;
+
+begin
+
+    test : process
+    variable v : std_logic_vector(3 downto 0) ;
+    variable w : std_logic_vector(0 to 3);
+    variable x : unsigned(3 downto 0) ;
+    begin
+        x := foo(w);
+        -- x := x + unsigned(w(0 downto 0)) ;
+        wait;
+    end process ; -- test
+
+end;
diff --git a/testsuite/gna/issue1125/testsuite.sh b/testsuite/gna/issue1125/testsuite.sh
new file mode 100755
index 000000000..a58160e59
--- /dev/null
+++ b/testsuite/gna/issue1125/testsuite.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze etest.vhdl
+elab_simulate_failure etest > etest.err
+grep "slice direction" etest.err
+
+clean
+rm -f etest.err
+
+echo "Test successful"