This is undefined behavior in my understanding, it just happens to work until it doesn't. I wouldn't be surprised if any null check against this would be erase

This is undefined behavior in my understanding, it just happens to work until it doesn't. I wouldn't be surprised if any null check against this would be erased by the optimizer for example as the parent comment mentioned. Sanitizers might check for null this too.