https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95433
--- Comment #3 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- This is of course only valid because signed overflow is undefined; it wouldn't be a valid optimization with -fwrapv (unless x were narrower than int so no overflow could occur).