[Bug c/120578] Loop termination check eliminated under -O2/-O3/Os when int overflow occurs

[sjames at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120578

--- Comment #4 from Sam James <sjames at gcc dot gnu.org> ---
> violating the Semantic Preservation Principle

No such principle applies for UB.