Some systems allow you to dereference NULL For example inside the Linux kernel. GCC has the special switch "-fno-delete-null-pointer-checks" that turns off the

Some systems allow you to dereference NULL For example inside the Linux kernel. GCC has the special switch "-fno-delete-null-pointer-checks" that turns off the assumption that a dereferenced pointer is never null: https://homes.cs.washington.edu/~akcheung/papers/apsys12.html https://homes.cs.washington.edu/~akcheung/papers/apsys12.htm...