Add testcase for #877

1 files changed, 14 insertions, 0 deletions

diff --git a/testsuite/gna/issue877/tb2.vhdl b/testsuite/gna/issue877/tb2.vhdl
new file mode 100644
index 000000000..e590992b0
--- /dev/null
+++ b/testsuite/gna/issue877/tb2.vhdl
@@ -0,0 +1,14 @@
+entity tb is
+end tb;
+
+architecture behav of tb is
+  constant msg : string := "hello world";
+  procedure chk (b : natural)
+  is
+    subtype my_rng is natural range 1 to b;
+  begin
+    assert msg (chk.my_rng) = "hello";
+  end chk;
+begin
+  chk(5);
+end behav;