DIP 1021--Argument Ownership and Function Calls--Community Review Round 1

Walter Bright newshound2 at digitalmars.com
Fri Aug 2 08:09:22 UTC 2019


On 7/15/2019 1:31 PM, Max Haughton wrote:
> I think this DIP should at least consider expanding its scope to use the 
> reaching definition analysis.
> 
> It seems slightly pointless if, even if it's already opt in, that we can bypass 
> it so easily e.g. by assigning a temporary.
> 
> Or is it really *that* complicated to allow the compiler to analyse this?

This is what will happen in a later proposal which will do comprehensive data 
flow analysis per function.


More information about the Digitalmars-d mailing list