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 <vinc...@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) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org