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

[via Digitalmars-d-bugs]

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

Adam D. Ruppe <destructionator at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |destructionator at gmail.com

--- Comment #2 from Adam D. Ruppe <destructionator at gmail.com> ---
I believe this is done in dmd -O builds already

void main() {
    Object o;
    o.toString();
}

$ dmd n -O 
n.d(3): Error: null dereference in function _Dmain 

So the backend already does it, maybe the frontend can borrow that too.

--