[LLVMbugs] [Bug 17000] clang sanitizer regards IEC 60559 floating-point division by zero as undefined

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Mon Aug 26 09:52:16 PDT 2013


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

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

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

--- Comment #1 from Richard Smith <richard-llvm at metafoo.co.uk> ---
(In reply to comment #0)
> Annex F of the C standard (IEC 60559 / IEEE 754 support) defines the
> floating-point division by zero, but clang (3.3 and 3.4 Debian snapshot)
> regards it as undefined. This is incorrect:

Support for Annex F is optional, and we do not support it.

> #if __STDC_IEC_559__

This macro is being defined by your system headers, not by us; this is a bug in
your system headers. (FWIW, GCC does not fully support Annex F either, IIRC, so
it's not even a Clang-specific bug.)

-- 
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/20130826/b691093e/attachment.html>


More information about the llvm-bugs mailing list