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.
