Null references redux

[Jeremie Pelletier]

bearophile wrote:
> Jeremie Pelletier:
> 
>> The focus should be 
>> about implementing variable initialization checks to the compiler, since 
>> this solves the issue with any variable, not just references. The flow 
>> analysis can also be reused for many other optimizations.
> 
> Are you willing to give your help to implement about 5-10% if this feature? :-)
> 
> Bye,
> bearophile

Sure, I would love to help implement flow analysis, I don't know enough 
of the current dmd semantic analysis internals yet, but I'm slowly 
getting there.

Jeremie