Let's hypothesize a bit. What's preventing the C++ compiler from auto-inserting if-checks for NULL pointers, just like a human would? That it wouldn't know wha

Let's hypothesize a bit. What's preventing the C++ compiler from auto-inserting if-checks for NULL pointers, just like a human would? That it wouldn't know what to do in the 'else' block?