From 2cbdb96ba311d269035e5a673a0f0258cfbc400b Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 11 Feb 2020 19:11:34 +0100
Subject: testsuite/synth: add test for #1133

---
 testsuite/synth/issue1133/foo.vhdl     | 24 ++++++++++++++++++++++++
 testsuite/synth/issue1133/testsuite.sh | 12 ++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 testsuite/synth/issue1133/foo.vhdl
 create mode 100755 testsuite/synth/issue1133/testsuite.sh

(limited to 'testsuite')

diff --git a/testsuite/synth/issue1133/foo.vhdl b/testsuite/synth/issue1133/foo.vhdl
new file mode 100644
index 000000000..32a972cda
--- /dev/null
+++ b/testsuite/synth/issue1133/foo.vhdl
@@ -0,0 +1,24 @@
+library ieee;
+use ieee.std_logic_1164.all;
+
+entity foo is
+  port (
+    input        : in std_logic_vector(7 downto 0);
+    output_ok    : out std_logic_vector(7 downto 0);
+    output_error : out std_logic_vector(7 downto 0)
+  );
+end foo;
+
+architecture foo of foo is
+
+  signal null_vector : std_logic_vector(-1 downto 0) := (others => '0');
+
+begin
+
+  -- This works fine
+  null_vector  <= input(null_vector'range);
+  output_ok    <= null_vector & (7 downto 0 => '0');
+  -- This doesn't
+  output_error <= input(-1 downto 0) & (7 downto 0 => '0');
+
+end foo;
diff --git a/testsuite/synth/issue1133/testsuite.sh b/testsuite/synth/issue1133/testsuite.sh
new file mode 100755
index 000000000..14c13c743
--- /dev/null
+++ b/testsuite/synth/issue1133/testsuite.sh
@@ -0,0 +1,12 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+for t in foo; do
+  synth $t.vhdl -e $t > syn_$t.vhdl
+  analyze syn_$t.vhdl
+done
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3