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

[bugzilla-daemon at llvm.org]

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

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
undefined."

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>