testsuite/synth: add a test for #2033

3 files changed, 22 insertions, 0 deletions

diff --git a/testsuite/synth/issue2033/cdc_fifo.vhdl b/testsuite/synth/issue2033/cdc_fifo.vhdl
new file mode 100644
index 000000000..290d80be4
--- /dev/null
+++ b/testsuite/synth/issue2033/cdc_fifo.vhdl
@@ -0,0 +1,7 @@
+ENTITY cdc_fifo IS
+END ENTITY;
+
+ARCHITECTURE rtl OF cdc_fifo IS
+BEGIN
+END ARCHITECTURE;
+
diff --git a/testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl b/testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl
new file mode 100644
index 000000000..e2dfeae5c
--- /dev/null
+++ b/testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl
@@ -0,0 +1,7 @@
+
+library ieee;
+use ieee.std_logic_1164.all;
+
+vunit cdc_fifo_rtl_formal (cdc_fifo(rtl)) {
+    SUBTYPE f_t_ram_word IS std_logic_vector(1 DOWNTO 0);
+}
diff --git a/testsuite/synth/issue2033/testsuite.sh b/testsuite/synth/issue2033/testsuite.sh
new file mode 100755
index 000000000..388377739
--- /dev/null
+++ b/testsuite/synth/issue2033/testsuite.sh
@@ -0,0 +1,8 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+synth cdc_fifo.vhdl cdc_fifo_rtl_formal.psl -e > syn_cdc_fifo.vhdl
+
+echo "Test successful"