summaryrefslogtreecommitdiff
path: root/testsuite/gna/bug017/call9.vhdl
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/gna/bug017/call9.vhdl')
-rw-r--r--testsuite/gna/bug017/call9.vhdl28
1 files changed, 28 insertions, 0 deletions
diff --git a/testsuite/gna/bug017/call9.vhdl b/testsuite/gna/bug017/call9.vhdl
new file mode 100644
index 0000000..a6d6100
--- /dev/null
+++ b/testsuite/gna/bug017/call9.vhdl
@@ -0,0 +1,28 @@
+entity call9 is
+end;
+
+use std.textio.all;
+architecture behav of call9 is
+ procedure check_acc (l1, l2 : inout line) is
+ begin
+ assert l1 = null;
+ assert l2 = null;
+
+ l1 := new string'("Hello world");
+ assert l1 /= null;
+ assert l2 = null report "incorrect aliasing";
+
+ l2 := new string'("second");
+ assert l2 /= null;
+ assert l2 /= l1 report "incorrect aliasing";
+ end check_acc;
+begin
+ process
+ variable l : line;
+ begin
+ check_acc (l, l);
+ report "SUCCESS" severity note;
+ wait;
+ end process;
+
+end behav;