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

Vincent Lefevre vincent at vinc17.net
Tue Aug 27 08:56:38 UTC 2013

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:


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)

More information about the Pkg-llvm-team mailing list