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 floatingpoint numbers are compared for equality.
Often comparing if two floatingpoint 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 