[Bug c/39231] Optimized code gives wrong result

Wed Feb 18 14:37:00 GMT 2009

------- Comment #1 from rguenth at gcc dot gnu dot org  2009-02-18 14:37 -------
gcc -o t t.c -O2 -Wstrict-overflow
t.c: In function Â‘mainÂ’:
t.c:13: warning: assuming signed overflow does not occur when simplifying
conditional to constant

negating signed 0x80000000 invokes undefined behavior.

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID

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