That's another argument in favour of implementation defined behaviour, not undefined behaviour.

Btw, a pointer in C doesn't necessarily need to mean an address (invalid or not) in your underlying machine. C is a formally defined abstract language, not portable assembly.