[Bug rtl-optimization/64294] invalid code, zero check gets optimized away

[gcc at breakpoint dot cc]

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

Sebastian Andrzej Siewior <gcc at breakpoint dot cc> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #11 from Sebastian Andrzej Siewior <gcc at breakpoint dot cc> ---
(In reply to Mikael Pettersson from comment #10)
> You're invoking undefined behaviour due to overflow in signed integer
> arithmetic.

Sir, you made my day. So it is undefained behaviour and showed me even how to
catch those things. Thank you.