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

[Vincent Lefevre]

Bug 17000 was closed by upstream because floating-point division by zero
is really regarded as undefined, Annex F being optional. I've opened a
new upstream bug for IEEE 754 (and more generally Annex F) support:

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

It is particularly important for Debian if clang is considered as an
alternative to gcc: http://clang.debian.net/

Though errors don't show up, some software may need basic IEEE 754
features, and if some operations are undefined due to the lack of
IEEE 754 support from the compiler (allowing unsafe optimizations),
errors won't necessarily be noticed in tests, or may appear later
when new optimizations are introduced.

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