The problem is the compiler cannot prove UB actually happens. The point of these "use UB to optimize" approaches isn't to screw over simple programs with bugs.

The problem is the compiler cannot prove UB actually happens. The point of these "use UB to optimize" approaches isn't to screw over simple programs with bugs. It's to better optimize larger, correct programs where higher levels of logic that the compiler is unaware of ensure UB never happens.