[LLVMbugs] [Bug 20155] O3 icmp combiner bug: (sgt icmt x+1, 0) == (sge icmp x, 0) fail in case x==0x7f ff ff ff

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=20155

Benjamin Kramer <benny.kra at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |benny.kra at gmail.com
         Resolution|---                         |INVALID

--- Comment #1 from Benjamin Kramer <benny.kra at gmail.com> ---
Signed overflow is undefined behavior, optimizing your code is allowed by the C
standard. You can add -fwrapv on the command line to disable optimizations
based on signed integer overflow.

http://blog.llvm.org/2011/05/what-every-c-programmer-should-know.html

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140628/dce996c9/attachment.html>