Dereferencing a pointer to memory that doesn't point to a live valid object is undefined behaviour. You couldn't possibly specify what this does without instrumenting every single access to memory, like asan or valgrind does.

As I said, behaviour that could be unspecified rather than undefined.

This is an example of something that cannot be anything other than UB.

https://www.youtube.com/watch?v=yG1OZ69H_-o is a great talk on this