[marssaxman]

> So yes, the spec does say that compilers are allowed to assume UB doesn't happen.

They are allowed to do so, but in practice this choice is not helpful.

[saagarjha]

On the contrary, it is quite helpful–it is how C optimizers reason.