On 4/2/2014 1:54 PM, Dmitry Olshansky wrote:
If we can alter semantics of return foo(arg); to _always_ be a goto, guarantee a jump and reuse of the stack, then I'm all for it.
I don't see why not. Note that we couldn't do this for extern(C) functions, or variadics, or caller functions with parameters that need destruction, or parameters that may refer to any locals. That last constraint might be a doozy, however.
Why not submit an enhancement request to bugzilla?