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