Add a reproducer for foreign procedures.

1 files changed, 20 insertions, 0 deletions

diff --git a/testsuite/gna/bug026/xb.vhd b/testsuite/gna/bug026/xb.vhd
new file mode 100644
index 0000000..53877a6
--- /dev/null
+++ b/testsuite/gna/bug026/xb.vhd
@@ -0,0 +1,20 @@
+package body dosomething is
+
+  procedure dosomething_c_hello (
+    constant r            : in    dosomething_t);
+
+  attribute foreign of dosomething_c_hello : procedure is "VHPIDIRECT dosomething_c_hello";
+
+  procedure dosomething_c_hello (
+    constant r            : in    dosomething_t) is
+  begin
+    assert false severity failure;
+  end dosomething_c_hello;
+
+  procedure dosomething_hello (
+    variable r : inout dosomething_t) is
+  begin
+    dosomething_c_hello(r);
+  end dosomething_hello;
+
+end dosomething;