[Bug middle-end/23294] fold does not fold a*C+a to a*(C+1) or a*C-a to a*(C-1)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-10 10:26 -------
(In reply to comment #3)
> I believe we can only do so for -fwrapv (but we don't) or for unsigned (which we
> also don't do).  I may look at this somewhen in the future.

Why do you believe that with -fno-wrapv, overflow is undefined so anything can happen.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23294