I'm saying that it violates the spec if you enable it. It's not undefined behavior in the spec. If you want a good example of undefined behavior enabling optim

I'm saying that it violates the spec if you enable it. It's not undefined behavior in the spec. If you want a good example of undefined behavior enabling optimizations, you can eliminate loop bounds checks by assuming that integers will never overflow.