Ex falso quodlibet.
Bounding UB would be a nice idea, or at least prohibiting time-traveling UB (and there is an effort in that direction). But properly specifing it is actually hard.
Prohibiting "time-travelling" UB would be horrible as that's a very important mechanism for dead code elimination.
Prohibiting "time-travelling" UB would be horrible as that's a very important mechanism for dead code elimination.