From dad97747b2cbc66f465d89aa4d262f1780aaac73 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 28 Jul 2020 22:31:07 +0200
Subject: testsuite/gna: add a test for previous commit.

---
 testsuite/gna/issue156/repro1.vhdl  | 24 ++++++++++++++++++++++++
 testsuite/gna/issue156/testsuite.sh |  1 +
 2 files changed, 25 insertions(+)
 create mode 100644 testsuite/gna/issue156/repro1.vhdl

diff --git a/testsuite/gna/issue156/repro1.vhdl b/testsuite/gna/issue156/repro1.vhdl
new file mode 100644
index 000000000..6dc060c2e
--- /dev/null
+++ b/testsuite/gna/issue156/repro1.vhdl
@@ -0,0 +1,24 @@
+entity repro1 is
+port (
+  in_valid   : in  bit;
+  in_ready   : out bit);
+end;
+
+architecture rtl of repro1 is
+  subtype ret_split_t is integer range 1 to 2;
+
+  signal ready: bit_vector(0 to 3);
+  signal valid: bit_vector(0 to 3);
+
+  procedure split_stream (
+    signal outcomb    : out bit_vector;
+    signal incomb     : in bit_vector)
+  is
+  begin
+    outcomb <= (outcomb'range => '1');
+  end procedure split_stream;
+
+begin
+  split_stream (outcomb => valid(ret_split_t),
+                incomb  => ready(ret_split_t));
+end rtl;
diff --git a/testsuite/gna/issue156/testsuite.sh b/testsuite/gna/issue156/testsuite.sh
index 77e8d7f9e..5cfa5f597 100755
--- a/testsuite/gna/issue156/testsuite.sh
+++ b/testsuite/gna/issue156/testsuite.sh
@@ -3,6 +3,7 @@
 . ../../testenv.sh
 
 analyze compile_error.vhdl
+analyze repro1.vhdl
 clean
 
 echo "Test successful"
-- 
cgit v1.2.3