bearophile wrote:
Jeremie Pelletier:
Flow analysis must be implemented by the compiler, nonnull references
can be enforced by a runtime wrapper
The point of nonnull references is all in its compile-time enforced constraints.
Besides DMD must have some basic flow analysis already since it does
notice when a code path does not return, it just need to be extended to
include unitialized variables.
You have probably missed them, but flow analysis in D was discussed a lot in
the past. I don't think Walter wants to implement it. If you help implement it,
showing that it can be done, he may change his mind.
Bye,
bearophile
I'll try and hack at it in a few weeks when I get some free time. Its
definitely standing high on my D wishlist.
Jeremie
