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.

Reply via email to