On Thursday, 8 December 2016 at 08:52:45 UTC, qznc wrote:
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/
Due to D's stronger focus on correctness,
something like the clang static analyzer has importance in D then
it has in C++.
Also If we don't stick to unambiguous errors, there will be a LOT
of false positives.
