[Bug rtl-optimization/323] optimized code gives strange floating point results

[David dot Monniaux at ens dot fr]

------- Comment #96 from David dot Monniaux at ens dot fr  2007-04-20 21:19 -------
The following paper explains how this kind of behaviour occurs, why it is
"correct", why it is difficult to fix but how it can be partly fixed, and how
this breaks many testing and proving techniques:

http://hal.archives-ouvertes.fr/hal-00128124


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=323