On Saturday, 19 April 2014 at 10:49:22 UTC, Iain Buclaw wrote:
Hi,
I'm currently testing out a GCC optimisation that allows you to
set call argument flags. The current assumptions being:
in parameters => Assume no escape, no clobber (read-only).
ref parameters, classes and pointers => Assume worst case.
default => Assume no escape.
That should read:
ref parameters, inout parameters, classes and pointers.
The default of assuming no escape is an experiment - I may limit
this to only scalar types, and parameters marked as 'scope' (So
long as no one plans on deprecating it soon :)
