Bug#720935: clang-3.3: sanitizer regards IEC 60559 division by zero as undefined

[Vincent Lefevre]

Control: retitle -1 Some -fsanitize arguments are not mentioned/documented in clang --help
Control: forwarded -1 http://llvm.org/bugs/show_bug.cgi?id=19732
Control: found -1 1:3.4.1-2

On 2013-08-26 14:46:47 +0200, Vincent Lefevre wrote:
> Annex F of the C standard (IEC 60559 / IEEE 754 support) defines the
> floating-point division by zero, but clang regards it as undefined.

Upstream says that IEEE 754 is not regarded as (completely) supported.
However -f[no-]sanitize=float-divide-by-zero is available[*], so that
the feature is actually present (and is working). I didn't know that
because it is not documented (not even mentioned) in "clang --help"
output, while some other -fsanitize arguments are documented. This is
the real bug, and I've reported it upstream (see the new forwarded URL).

[*] http://llvm.org/bugs/show_bug.cgi?id=11854#c3

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)