Should we warn if we detect null derefernces or void value uses ?

[qznc via Digitalmars-d]

On Monday, 5 December 2016 at 04:41:55 UTC, Stefan Koch wrote:
>  This requires data-flow analysis (The same kind that tells you 
> if you are skipping a statement)
> And will slow down compilation a little if we enable such a 
> warning.


I would rather see a separate tool for stuff like this. It can be 
much slower and do much more analysis.

Compare: clang-analyzer http://clang-analyzer.llvm.org/