Add testcase for #616

1 files changed, 16 insertions, 0 deletions

diff --git a/testsuite/gna/issue616/repro1.vhdl b/testsuite/gna/issue616/repro1.vhdl
new file mode 100644
index 000000000..9df4513ff
--- /dev/null
+++ b/testsuite/gna/issue616/repro1.vhdl
@@ -0,0 +1,16 @@
+package repro1 is
+  function return_true return boolean;
+end repro1;
+
+package body repro1 is
+  function slv_ones(constant width : in integer) return bit_vector is
+  begin
+    return (1 to width => '1');
+  end function;
+  
+  function return_true return boolean is
+    constant ones_c : bit_vector(31 downto 0) := (others => '1');
+  begin
+    return ones_c = slv_ones(32);
+  end function;
+end repro1;