Add testcase from #713

1 files changed, 22 insertions, 0 deletions

diff --git a/testsuite/gna/issue713/e.vhdl b/testsuite/gna/issue713/e.vhdl
new file mode 100644
index 000000000..090e959d5
--- /dev/null
+++ b/testsuite/gna/issue713/e.vhdl
@@ -0,0 +1,22 @@
+entity e is
+end entity;
+
+architecture a of e is
+	function foo(n : positive) return bit_vector is
+	begin
+		return (n downto 0 => '0');
+	end function;
+begin
+	process
+	begin
+		for i in foo(3)'range loop
+			report integer'image(i);
+		end loop;
+		
+		for i in foo(2)'reverse_range loop
+			report integer'image(i + foo(4)'length);
+		end loop;
+		
+		wait; --forever
+	end process;
+end architecture;