Fix bug17127: extend the life of Alloc_Stack variables.

2 files changed, 39 insertions, 0 deletions

diff --git a/testsuite/gna/sr2655/bug.vhdl b/testsuite/gna/sr2655/bug.vhdl
new file mode 100644
index 0000000..682ece5
--- /dev/null
+++ b/testsuite/gna/sr2655/bug.vhdl
@@ -0,0 +1,29 @@
+library ieee;
+use ieee.std_logic_1164.all;
+
+entity bug is
+end;
+
+architecture this of bug is
+  function f return integer is
+    constant v: std_logic_vector := std_logic_vector'("01HLZX-U");
+  begin
+    assert false report "case 2 starts" severity note;
+    for i in v'range loop
+      assert false report "case 2: "&integer'image(i) severity note;
+    end loop;
+    return 0;
+  end;
+begin
+  process
+    constant v: std_logic_vector := std_logic_vector'("01HLZX-U");
+    variable a: integer;
+  begin
+    assert false report "case 1 starts" severity note;
+    for i in v'range loop
+      assert false report "case 1: "&integer'image(i) severity note;
+    end loop;
+    a := f;
+    wait;
+  end process;
+end;
diff --git a/testsuite/gna/sr2655/testsuite.sh b/testsuite/gna/sr2655/testsuite.sh
new file mode 100755
index 0000000..8fe9a94
--- /dev/null
+++ b/testsuite/gna/sr2655/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze bug.vhdl
+elab_simulate bug
+
+clean
+
+echo "Test successful"