diff options
Diffstat (limited to 'testsuite/gna/bug017/call9.vhdl')
-rw-r--r-- | testsuite/gna/bug017/call9.vhdl | 28 |
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; |