From 94b4a64e50d20948176b3f912e65878fb5945231 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 11 Jun 2022 15:00:45 +0200
Subject: testsuite/synth: add a test for #2086

---
 testsuite/synth/issue2086/repro4.vhdl  | 28 ++++++++++++++++++++++++++++
 testsuite/synth/issue2086/testsuite.sh |  7 +++++++
 2 files changed, 35 insertions(+)
 create mode 100644 testsuite/synth/issue2086/repro4.vhdl
 create mode 100755 testsuite/synth/issue2086/testsuite.sh

(limited to 'testsuite/synth')

diff --git a/testsuite/synth/issue2086/repro4.vhdl b/testsuite/synth/issue2086/repro4.vhdl
new file mode 100644
index 000000000..ef4da6a42
--- /dev/null
+++ b/testsuite/synth/issue2086/repro4.vhdl
@@ -0,0 +1,28 @@
+library ieee;
+use ieee.std_logic_1164.all;
+
+entity repro4 is
+  port (
+    rst  : std_logic;
+    clk  : std_logic;
+    de   : std_logic;
+    vs_o : out std_logic);
+end;
+
+architecture synth of repro4 is
+    type mem_t is array(0 to 15) of std_logic;
+
+    signal mem : mem_t;
+    signal addr : integer range mem_t'range;
+begin
+    process(rst, clk)
+    begin
+      if rst = '1' then
+        addr    <= 0;
+      elsif rising_edge(clk) then
+        vs_o <= mem(addr);
+        mem(addr) <= de;
+        addr <= addr+1;
+      end if;
+    end process;
+end;
diff --git a/testsuite/synth/issue2086/testsuite.sh b/testsuite/synth/issue2086/testsuite.sh
new file mode 100755
index 000000000..258102547
--- /dev/null
+++ b/testsuite/synth/issue2086/testsuite.sh
@@ -0,0 +1,7 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+synth_only repro4
+
+echo "Test successful"
-- 
cgit v1.2.3