Correctly handle floating-point exceptions: +/-NaN, +/-Inf, NaN with payload

edf-hpc / verrou

floating-point errors checker

https://edf-hpc.github.io/verrou/vr-manual.html

GNU General Public License v2.0

54 stars 13 forks source link

Correctly handle floating-point exceptions: +/-NaN, +/-Inf, NaN with payload #4

Closed ffevotte closed 6 years ago

ffevotte commented 7 years ago

From here: https://sourceforge.net/p/valgrind/mailman/message/35871131/

Another issue is to make sure things like +nan/-nan and NaNs with payloads work correctly with your tool since there are lots of applications which use this kind of stuff for error ("error" as in "error message") propagation.

ffevotte commented 6 years ago

This should have been fixed in f6a8796