[Bug c/26824] optimisation bug with -0x80000000

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-03-23 15:15 -------
(In reply to comment #5)
> I see your point, but I still think there's a bug.  Let me change the code
> slightly:
The code is still undefined, as you are comparing an overflowed variable to
something.

-x is still undefined for x being 0x80000000 as it overflows and overflow
signed integer is undefined runtime code.


-- 


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