testsuite/gna: add a test for #1443

close #1443

2 files changed, 34 insertions, 0 deletions

diff --git a/testsuite/gna/issue1443/e.vhdl b/testsuite/gna/issue1443/e.vhdl
new file mode 100644
index 000000000..91ee057cf
--- /dev/null
+++ b/testsuite/gna/issue1443/e.vhdl
@@ -0,0 +1,23 @@
+library ieee;
+use ieee.std_logic_1164.all;
+
+entity e is
+    port (p1 : out std_logic_vector((3+1)+1 downto 0);
+          p2 : out std_logic_vector((3-1)+1 downto 0);
+          p3 : out std_logic_vector((3  )+1 downto 0));
+end e;
+
+architecture rtl of e is
+    function f (a : integer) return integer is
+    begin
+        return a;
+    end function;
+
+    signal s1 : std_logic_vector(3+1 downto 0) := (others=>'0');
+    signal s2 : std_logic_vector(3-1 downto 0) := (others=>'0');
+    signal s3 : std_logic_vector(f(3) downto 0) := (others=>'0');
+begin
+    p1 <= ('0',s1);
+    p2 <= ('0',s2);
+    p3 <= ('0',s3);
+end architecture;
diff --git a/testsuite/gna/issue1443/testsuite.sh b/testsuite/gna/issue1443/testsuite.sh
new file mode 100755
index 000000000..1a4b10413
--- /dev/null
+++ b/testsuite/gna/issue1443/testsuite.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze e.vhdl
+elab_simulate e
+
+clean
+
+echo "Test successful"