"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:fkeyxg5zhwig.1hrc0cluxh1r2$.dlg@40tude.net...
> On Mon, 28 Mar 2011 13:47:22 +0200, Yannick Duch�ne (Hibou57) wrote:
>
>>      Quote from Ada 2012:
>>
>>      Parameters can now be explicitly aliased, allowing parts of
>>      function results to designate parameters and forcing
>>      by-reference parameter passing.
>
> Interesting. How to force by-reference something allocated in a register?

The thing passed has to be aliased or tagged (of course), so the compiler 
just has to avoid allocating them in a register. Standard stuff.

> Yes one could copy the actual value and then pass a reference to the copy,
> but that is not what I would call "by-reference."

Neither do we.

                        Randy.