Page History

Could detect violations of this rule by ensuring that floating-point operations are surrounded by feclearexcept() and fetestexcept(). It would need to look for type conversions to float or double, divisions (by a number not known to be nonzero), and multiplication. It may be wisest to apply this to all floating-point operations in general

CERT_C-FLP03-a
CERT_C-FLP03-b
CERT_C-FLP03-c
CERT_C-FLP03-d

Avoid division by zero
Avoid implicit conversions from wider to narrower floating type
Avoid implicit conversions from narrower to wider floating type
Avoid implicit conversions of floating point numbers from wider to narrower floating type

736, 9120, 9227

Assistance provided

CERT C: Rec. FLP03-C

Checks for:

• Float conversion overflow
• Float overflow

Invalid use of standard library floating point routine

• Float division by zero

Overflow when converting between floating point data types

Rec. partially covered.