[Issue 13970] Simple flow analysis should eliminate null uses statically

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13970

--- Comment #3 from Andrei Alexandrescu <andrei at erdani.com> ---
@Adam Discussions with Walter suggest the mechanism used by the optimizer is
unsuitable here.

The closest thing we have is the analysis that makes sure super() is called
exactly once in derived constructors. That is well understood, covers a bunch
of cases, and IIRC is used in Java as well. So using the same analysis for this
purpose seem fit.

--