[Bug middle-end/23666] Fold does not reduce C - ~a into a + (C+1)

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

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #11 from Jeffrey A. Law <law at gcc dot gnu.org> ---
The transformation asked for in this BZ is invalid except when we're allowing
signed overflows (aka -fwrapv).  And with -fwrapv other code takes care of this
simplification.

Closing as INVALID.  Andrew/Richi, if y'all disagree, please chime in.