Testcase for duplicate subprogram body.

4 files changed, 36 insertions, 0 deletions

diff --git a/testsuite/gna/bug14/bug.vhdl b/testsuite/gna/bug14/bug.vhdl
new file mode 100644
index 000000000..bb0c4a1bf
--- /dev/null
+++ b/testsuite/gna/bug14/bug.vhdl
@@ -0,0 +1,15 @@
+package pkg is
+  function f (a : integer) return integer;
+end pkg;
+
+package body pkg is
+  function f (a : integer) return integer is
+  begin
+   return 1;
+  end f;
+
+  function f (a : integer) return integer is
+  begin
+   return 1;
+  end f;
+end pkg;
diff --git a/testsuite/gna/bug14/bug2.vhdl b/testsuite/gna/bug14/bug2.vhdl
new file mode 100644
index 000000000..4e03e6c04
--- /dev/null
+++ b/testsuite/gna/bug14/bug2.vhdl
@@ -0,0 +1,4 @@
+package pkg2 is
+  function f (a : integer) return integer;
+  function f (a : integer) return integer;
+end pkg2;
diff --git a/testsuite/gna/bug14/bug3.vhdl b/testsuite/gna/bug14/bug3.vhdl
new file mode 100644
index 000000000..a94da5781
--- /dev/null
+++ b/testsuite/gna/bug14/bug3.vhdl
@@ -0,0 +1,7 @@
+package pkg3 is
+  function f (a : integer) return integer;
+  function f (a : integer) return integer is
+  begin
+   return 1;
+  end f;
+end pkg3;
diff --git a/testsuite/gna/bug14/testsuite.sh b/testsuite/gna/bug14/testsuite.sh
new file mode 100755
index 000000000..27deff22e
--- /dev/null
+++ b/testsuite/gna/bug14/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze_failure bug.vhdl
+analyze_failure bug2.vhdl
+analyze_failure bug3.vhdl
+clean
+
+echo "Test successful"