| 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).
|
430 | |
 |
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.
|
0 | |
 |
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.
|
123068684 |  |
 |
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: | /usr/workspace/wsa/laguna/fpchecker/cpu_checking/apps/LULESH |
| Files affected: | 2 |
| Lines affected: | 45 |