[Bug tree-optimization/95433] Failure to completely optimize simple compare after operations

[joseph at codesourcery dot com]

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).