1 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/gna/issue1381/repro.vhdl b/testsuite/gna/issue1381/repro.vhdl
new file mode 100644
index 000000000..af3c550fa
--- /dev/null
+++ b/testsuite/gna/issue1381/repro.vhdl
@@ -0,0 +1,21 @@
+entity repro is
+end;
+
+architecture behav of repro is
+  type id_arr is array(bit) of bit;
+
+  constant idc : id_arr := ('0' => '0', '1' => '1');
+
+  function f(a : bit_vector) return bit_vector
+  is
+    variable v : bit_vector(1 to a'length) := a;
+    variable r : bit_vector(1 to a'length);
+  begin
+    for i in v'range loop
+      r(i) := idc(v (i));
+    end loop;
+    return r;
+  end f;
+begin
+  assert f("01") = "01";
+end behav;