interest in Static Analysis for D ?

[Stefan Koch via Digitalmars-d]

On Tuesday, 15 November 2016 at 16:39:22 UTC, Dicebot wrote:
> [ .... ]
> But I'd sincerely advise against any ad-hoc solution that is 
> built into DMD itself.

It seems I did not clearly state this.
I mean to provide the general plumbing that is needed for the 
dmd-fe,
to utilize it for static analysis.
I do not intend to cram all sorts of checking functionality 
inside the compiler.

Though what I am planning will also make it easier to extend the 
optimizer inside dmd, and improve it's efficiency.