Numerical Checks

Checks on arithmetic operations

Numerical checks in Polyspace^® Code Prover™ check arithmetic operations for run-time errors such as overflow or division by zero.

Polyspace Results

`Division by zero`	Division by zero occurs
`Invalid operation on floats`	Result of floating-point operation is NaN for non-NaN operands
`Invalid shift operations`	Shift operations are invalid
`Overflow`	Arithmetic operation causes overflow
`Subnormal float`	Floating-point operation has subnormal results

Topics

Review and Fix Division by Zero Checks
Review prior operations in your code that lead to zero value of a denominator.
Review and Fix Overflow Checks
Review prior operations in your code that lead to an operation overflowing.
Review and Fix Invalid Shift Operations Checks
Review prior operations in your code that lead to a shift amount outside bounds or a negative value being left-shifted.