safety: null checks

Ola Fosheim Grostad ola.fosheim.grostad at gmail.com
Sun Nov 22 23:46:23 UTC 2020


On Sunday, 22 November 2020 at 23:28:26 UTC, Paul Backus wrote:
> Then that's a bug in the compiler. A @safe D program is allowed 
> to dereference null, so a spec-conformant D compiler *must* 
> ensure that dereferencing null has defined behavior.

Where does it say that? This won't work on embedded platforms.

Not being allowed to reject buggy code would be bad...


More information about the Digitalmars-d mailing list