maybe "because the compiler cannot tell the pointers are valid" (since it would be undefined behaviour and incorrect if the pointers weren't valid: i.e. the human has to be sure they are).