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/
