Re: Limited_Controlled types as 'out' arguments

["Martin Dowie" <martin.dowie@baesystems.com>]

"Lutz Donnerhacke" <lutz@iks-jena.de> wrote in message
news:slrnbifg8q.o6.lutz@taranis.iks-jena.de...
> * Martin Dowie wrote:
> > Shouldn't this actually copy something out of 'from'?
>
> For examples you cut your real world problem until it's small.
> Yes, it's sufficent to call 'procedure example(a : out Test)'.

Sorry, it just looked like confusion over 'where' the '0'&'3' values had
gone - and they had simply been overwitten.

But of course there a memory leak - it's here:

procedure Copy(to : out Test; from : Test) is
   begin
      to.a := new Character'(global);   ---- <<<<<<<<<

You've over writen what "to.a" did point to with something else.

Perhaps you meant "to.a.all := Global;"