safety: null checks

[Paul Backus]

On Monday, 23 November 2020 at 16:50:44 UTC, Johan Engelen wrote:
> On Monday, 23 November 2020 at 12:03:49 UTC, Paul Backus wrote:
>>
>> Then LDC allows memory corruption in @safe code,
>
> Correct. And so do all other D compilers. Completely 
> independent of optimization level.
>
>> which is a bug.
>
> Without explicit null pointer checking, this is effectively a 
> "won't fix".

Maybe it is for LDC. I suspect Walter puts a high enough priority 
on memory-safety that he would accept a fix for this issue into 
DMD.