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

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