MISRA C++:2023 Dir 0.3.1

Floating-point arithmetic should be used appropriately

Since R2024b

Description

Directive Definition

Floating-point arithmetic should be used appropriately. ¹

Rationale

The incorrect use of floating-point arithmetic can lead to issues such as loss of precision, overflows, catastrophic cancellation, and so on.

Polyspace Implementation

The rule checker checks for the same issues as these defect checkers:

• Float division by zero

• Float conversion overflow

• Float overflow

• Absorption of float operand

• Floating point comparison with equality operators

Troubleshooting

If you expect a rule violation but Polyspace^® does not report it, see Diagnose Why Coding Standard Violations Do Not Appear as Expected.

Check Information

Group: Language Independent Issues

Category: Advisory

Version History

Introduced in R2024b