Events | Severity | ||
---|---|---|---|
Infinity (+)
This is detected when operations produce positive infinity, such as 1.0 / 0.0.
Infinities propagate through calculations: for example, 2 + ∞ = ∞.
|
0 | ||
Infinity (-)
This is detected when operations produce negative infinity.
|
0 | ||
NaN
NaN (not a number) are the result of invalid operations, such as 0/0 or sqrt(-1).
|
0 | ||
Division by zero
This occurs when a finite nonzero number is divided by zero. This typically produce an infinity.
|
0 | ||
Underflow (subnormal)
Underflows are detected when an operation produces a subnormal number
because the result was not representable as a normal number. Certain compiler optimizations
can produce unexpected results when operands are subnormal numbers.
|
0 | ||
Comparison
This occurs when two floating-point numbers are compared for equality.
Often comparing if two floating-point numbers are equal is not a good idea.
|
4096 | ||
Cancellation
Cancellation occurs when two nearly equal numbers are subtracted.
By default, this event is detected when at least ten decimal digits are lost due to a subtraction.
|
256 | ||
Latent Infinity (+)
This is detected when an operation produces a normal number that is large,
and it is in close proximity to positive infinity.
|
0 | ||
Latent Infinity (-)
This is detected when an operation produces a normal number that is large,
and it is in close proximity to negative infinity.
|
0 | ||
Latent underflow
This is detected when an operation produces a normal number that is small
and it is in close proximity to becoming an underflow (subnormal number).
|
0 |
Code paths: | /home/ignacio/projects/fpchecker/apps/cpu_testing/kripke/Kripke/tpl/raja/include/RAJA/util/Operators.hpp |
Files affected: | 1 |
Lines affected: | 2 |