Add reproducer for #395

3 files changed, 25 insertions, 0 deletions

diff --git a/testsuite/gna/issue395/e.vhdl b/testsuite/gna/issue395/e.vhdl
new file mode 100644
index 000000000..bf1591d80
--- /dev/null
+++ b/testsuite/gna/issue395/e.vhdl
@@ -0,0 +1,8 @@
+entity e is end entity;
+architecture a of e is
+  function f(b:integer:=0) return string is begin return "abc"; end function;
+  function f               return string is begin return "def"; end function;
+  subtype r is integer range 1 to 2;
+begin
+  assert false report "x: " & f(r) severity note;
+end architecture;
diff --git a/testsuite/gna/issue395/e1.vhdl b/testsuite/gna/issue395/e1.vhdl
new file mode 100644
index 000000000..ec291ad51
--- /dev/null
+++ b/testsuite/gna/issue395/e1.vhdl
@@ -0,0 +1,7 @@
+entity e is end entity;
+architecture a of e is
+  function f(b:integer:=0) return string is begin return "abc"; end function;
+  function f               return string is begin return "def"; end function;
+begin
+  assert false report "x: " & f(1 to 2) severity note;
+end architecture;
diff --git a/testsuite/gna/issue395/testsuite.sh b/testsuite/gna/issue395/testsuite.sh
new file mode 100755
index 000000000..73c53cefc
--- /dev/null
+++ b/testsuite/gna/issue395/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze_failure e.vhdl
+analyze_failure e1.vhdl
+
+clean
+
+echo "Test successful"