[adrianN]

Compilers regularly delete null pointer checks when they can see that the pointer is dereferenced.

[Smaug123]

(GCC controls this with `-fno-delete-null-pointer-checks` https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#ind... )