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

[Sylvestre Ledru]

On 27/08/2013 10:56, Vincent Lefevre wrote:
> 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.
> 
Thanks for the feedback

S