On 7/16/2016 7:03 PM, Andrew Godfrey wrote:
I'm thinking:
1) Static analysis tools still have relevance even in D code.
I agree, but their utility is greatly reduced, meaning the payback for the
effort makes for a small benefit/cost ratio.
2) I wonder if an "uninitialized" feature would be worthwhile. That is, a value
you can initialize a variable to, equal to 'init', but that static analyzers
know you don't mean to ever use.
There is the `= void;` initialization. A static analyzer could flag any attempts
to use a void initialized variable/field that is live.