[llvm-bugs] [Bug 19535] UBSan: Floating point division by zero is not undefined

via llvm-bugs llvm-bugs at lists.llvm.org
Thu Dec 8 22:08:35 PST 2016


Rich Felker <bugdal at aerifal.cx> changed:

           What    |Removed                     |Added
             Status|RESOLVED                    |REOPENED
                 CC|                            |bugdal at aerifal.cx
         Resolution|INVALID                     |---

--- Comment #4 from Rich Felker <bugdal at aerifal.cx> ---
Comment 1 is wrong; the quoted text only applies to implementations which do
not attempt to conform to Annex F, whereas clang/llvm does. The directly
relevant text is F.3 ΒΆ1: "The +, -, *, and / operators provide the IEC 60559
add, subtract, multiply, and divide operations."

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/20161209/75b44279/attachment.html>

More information about the llvm-bugs mailing list