LANG.ARITH.FMULOFLOW : Float Multiplication Overflow

JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

If you access the manual through the hub's Web GUI, the functionality will not be suppressed because the hub is a web server.
Alternatively, your browser may allow you to explicitly disable the security setting that suppresses functionality. See the CodeSonar FAQ for more information.

CodeSonar^® 9.2p0

CONFIDENTIAL

CodeSecure Inc

LANG.ARITH.FMULOFLOW : Float Multiplication Overflow

Summary

Properties

MisraC2025

MisraC2025:D.4.15

Evaluation of floating-point expressions shall not lead to the undetected generation of infinities and NaNs

MisraC2023

MisraC2023:D.4.15

Evaluation of floating-point expressions shall not lead to the undetected generation of infinities and NaNs

Misra2012

Misra2012:D.4.15

Evaluation of floating-point expressions shall not lead to the undetected generation of infinities and NaNs

MisraC++2023

MisraC++2023:0.3.1

Floating-point arithmetic should be used appropriately

MisraC++2023:0.3.2

A function call shall not violate the function's preconditions

CWE

CWE:682

Incorrect Calculation

CERT-C

CERT-C:FLP00-C

Understand the limitations of floating-point numbers

JSF++

JSF++:203

Evaluation of expressions shall not lead to overflow/underflow (unless required algorithmically and then should be heavily documented).

Example

/* Behavior described in comments is based on a system where the
 * maximum representable finite float is
 * 3.40282346638528859811704183484516925e+38F
 */

#define MYFLT 4e+37F

float floatfn(void);

float fmuloflow(void){
    return 1000 * MYFLT; /* 'Float Multiplication Overflow' warning issued here */
}

float fmuloflow_ok(void){
    return  2 * MYFLT;             /* ok: product is representable as float */
}

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.