From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada 2012 : aliased parameters ?
Date: Mon, 28 Mar 2011 22:04:53 -0500
Date: 2011-03-28T22:04:53-05:00 [thread overview]
Message-ID: <imri8p$3db$1@munin.nbi.dk> (raw)
In-Reply-To: fkeyxg5zhwig.1hrc0cluxh1r2$.dlg@40tude.net
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 794 bytes --]
"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.
next prev parent reply other threads:[~2011-03-29 3:04 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-28 11:47 Ada 2012 : aliased parameters ? Yannick Duchêne (Hibou57)
2011-03-28 11:56 ` Dmitry A. Kazakov
2011-03-29 3:04 ` Randy Brukardt [this message]
2011-03-28 11:56 ` AdaMagica
2011-03-29 18:22 ` Florian Weimer
2011-03-29 18:34 ` Shark8
2011-03-29 19:35 ` Florian Weimer
2011-03-30 0:12 ` Randy Brukardt
2011-03-29 3:16 ` Randy Brukardt
2011-03-29 7:34 ` Maciej Sobczak
2011-03-30 0:09 ` Randy Brukardt
2011-03-30 19:44 ` Randy Brukardt
2011-04-23 18:47 ` Florian Weimer
2011-04-25 7:19 ` Randy Brukardt
2011-04-28 19:47 ` Florian Weimer
2011-04-28 23:54 ` Randy Brukardt
2011-04-30 18:32 ` Florian Weimer
2011-04-30 23:46 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox