From 91516ee5a7b0910d6728d22936e3f669a877e7b8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 11 Feb 2020 04:07:00 +0100
Subject: testsuite/gna: add a test for #1125

---
 testsuite/gna/issue1125/etest.vhdl   | 29 +++++++++++++++++++++++++++++
 testsuite/gna/issue1125/testsuite.sh | 13 +++++++++++++
 2 files changed, 42 insertions(+)
 create mode 100644 testsuite/gna/issue1125/etest.vhdl
 create mode 100755 testsuite/gna/issue1125/testsuite.sh

(limited to 'testsuite/gna')

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"
-- 
cgit v1.2.3