[bobbyi]

The usual justification for having a concept of "undefined behavior" at all is specifically to allow compilers to "rule out this possibility" so they can make this sort of optimization.

[eru]

At least that's the modern day retro-active justification. The historical origins of undefined behaviour in eg the C standard are murkier.