[Issue 4595] [tdpl] Accessing non-static member of a null reference compiles

[via Digitalmars-d-bugs]

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

Andrej Mitrovic <andrej.mitrovich at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 OS|Windows                     |All

--- Comment #17 from Andrej Mitrovic <andrej.mitrovich at gmail.com> ---
Well, six years after filing this I'm having second thoughts.

Is anyone aware of competing language compilers which do this type of analysis
at compile-time?

I'm aware of static analysis tools (like pvs-studio), which make me think we
should have something like that for D. A tool, rather than something built-in
to the compiler. I can imagine having this in the compiler would be complicated
to implement and have a lot of missed cases, or worse, false-positives.

--