Add testcase for #666

3 files changed, 52 insertions, 0 deletions

diff --git a/testsuite/gna/issue666/tb.vhdl b/testsuite/gna/issue666/tb.vhdl
new file mode 100644
index 000000000..cb3b338de
--- /dev/null
+++ b/testsuite/gna/issue666/tb.vhdl
@@ -0,0 +1,21 @@
+entity tb is
+end entity;
+architecture bench of tb is
+	constant kill_size : positive := 50331648;
+	signal s : string(1 to kill_size);
+
+	function fun return string is
+		variable v : string(1 to kill_size);
+	begin
+		return "hello";
+	end;
+begin
+	proc: process
+		-- Segmentation fault occurs for variable too, but much faster
+--		variable s : string(1 to kill_size);
+	begin
+--		s := fun;
+		s <= fun;
+		report "pass" severity failure;
+	end process;
+end bench;
diff --git a/testsuite/gna/issue666/tb2.vhdl b/testsuite/gna/issue666/tb2.vhdl
new file mode 100644
index 000000000..c7c5a35f8
--- /dev/null
+++ b/testsuite/gna/issue666/tb2.vhdl
@@ -0,0 +1,21 @@
+entity tb2 is
+end entity;
+architecture bench of tb2 is
+	constant kill_size : positive := 50331648;
+--	signal s : string(1 to kill_size);
+
+	function fun return string is
+		variable v : string(1 to kill_size);
+	begin
+		return "hello";
+	end;
+begin
+	proc: process
+		-- Segmentation fault occurs for variable too, but much faster
+		variable s : string(1 to kill_size);
+	begin
+		s := fun;
+--		s <= fun;
+		report "pass" severity failure;
+	end process;
+end bench;
diff --git a/testsuite/gna/issue666/testsuite.sh b/testsuite/gna/issue666/testsuite.sh
new file mode 100755
index 000000000..7a6bed293
--- /dev/null
+++ b/testsuite/gna/issue666/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze tb.vhdl
+analyze tb2.vhdl
+
+clean
+
+echo "Test successful"