> I have never seen even a single example of "undefined behavior" that I thought was justified That’s the whole point. The compiler doesn’t have to justify its

> I have never seen even a single example of "undefined behavior" that I thought was justified That’s the whole point. The compiler doesn’t have to justify itself on undefined behavior. And no example that was justified? What about a compiler that turns dereferencing a null pointer into a memory access to address 0? Seems like a pretty reasonable translation to me.