On 11/10/2012 05:21 PM, bearophile wrote:
Timon Gehr:

It is strongly pure regardless of potential aliasing in the return
value. This is a bug.

This can't be strongly pure:


int[] foo2(int[] a) pure {
     a[0]++;
     return a;
}


Bye,
bearophile

The point was that the code you gave should work even without your proposed enhancement.

Reply via email to