> "perform UB, then check whether it happened" doesn't actually work This raises an interesting point, because in many cases, assuming 2's complement and wrapp

> "perform UB, then check whether it happened" doesn't actually work This raises an interesting point, because in many cases, assuming 2's complement and wrapping around, checking for overflow after the fact, as opposed to preventing it from happening in the first place, is actually easier. (And actually works if you use the `-fwrap` flag.) The right thing should be easier to do than the wrong thing. It's a shame this is not the case here.