[LLVMbugs] [Bug 19535] UBSan: Floating point division by zero is not undefined

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Wed Apr 23 14:22:00 PDT 2014


Richard Smith <richard-llvm at metafoo.co.uk> changed:

           What    |Removed                     |Added
             Status|NEW                         |RESOLVED
                 CC|                            |richard-llvm at metafoo.co.uk
         Resolution|---                         |INVALID

--- Comment #1 from Richard Smith <richard-llvm at metafoo.co.uk> ---
C++11 5.6/4: "If the second operand of / or % is zero the behavior is

Turn this UBSan error off (with -fno-sanitize=float-divide-by-zero) if you
don't want to check this, and you should get the +/-inf answer you're expecting
(I'm reasonably confident we don't optimize on the basis of this being
undefined behavior).

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/20140423/b7823afa/attachment.html>

More information about the llvm-bugs mailing list