Performance improvements for D / DMD compiler.

[Andrei Alexandrescu (See Website For Email)]

janderson wrote:
> Walter Bright wrote:
>> Andrei Alexandrescu (See Website For Email) wrote:
>>> No, and for a good reason:
>>>
>>> foo(LargeStruct s1, LargeStruct s2)
>>> {
>>>   ...
>>> }
>>> ...
>>> LargeStruct s;
>>> foo(s, s);
>>>
>>> Nobody would enjoy hidden aliasing of s1 and s2.
> 
> I think you mean more like:
> 
> 
> foo(LargeStruct s1, LargeStruct inout s2)
> {
>    ...
> }
> ...
> LargeStruct s;
> foo(s, s);

I meant what I wrote, although your example is just as relevant. If the 
compiler takes initiative in passing things by reference, there is risk 
of unintended aliasing.


Andrei