From e053480a1adc2d170ab2b4434413e0e56e0e27a1 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 29 Dec 2013 03:55:27 +0100
Subject: Add bug18359

---
 testsuite/gna/bug18359/testcase.vhdl | 28 ++++++++++++++++++++++++++++
 testsuite/gna/bug18359/testsuite.sh  | 10 ++++++++++
 2 files changed, 38 insertions(+)
 create mode 100644 testsuite/gna/bug18359/testcase.vhdl
 create mode 100755 testsuite/gna/bug18359/testsuite.sh

(limited to 'testsuite')

diff --git a/testsuite/gna/bug18359/testcase.vhdl b/testsuite/gna/bug18359/testcase.vhdl
new file mode 100644
index 000000000..4302e942a
--- /dev/null
+++ b/testsuite/gna/bug18359/testcase.vhdl
@@ -0,0 +1,28 @@
+entity testcase is
+end entity testcase;
+
+architecture non_conformity of testcase is
+  function some_function return integer is
+    variable my : integer := 0;
+  begin
+    my := my + 1;
+    return my;
+  end function some_function;
+begin
+
+  stuff: process
+    variable last_value : integer;
+  begin
+    for i in 1 to 4 loop
+      report "Count: " & integer'image(some_function)
+        severity NOTE;
+    end loop;
+    last_value := some_function;
+    assert last_value = 5
+      report "Counter's last value is " & integer'image(last_value)
+      &      " but expected 5"
+      severity ERROR;
+    wait;
+  end process;
+
+end architecture non_conformity;
diff --git a/testsuite/gna/bug18359/testsuite.sh b/testsuite/gna/bug18359/testsuite.sh
new file mode 100755
index 000000000..6846fea28
--- /dev/null
+++ b/testsuite/gna/bug18359/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze testcase.vhdl
+elab_simulate testcase
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3