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

C and C++

LANG.ARITH.FMULOFLOW : Float Multiplication Overflow

要旨

A multiplication expression where:

the expression has floating point type (for example, float or double), and
the multiplication product may exceed the maximum value that can be represented in that type.

プロパティ

クラス名

Float Multiplication Overflow

日本語クラス名

Float Multiplication Overflow

クラス分類

信頼性 (reliability)

ニーモニック

LANG.ARITH.FMULOFLOW

カテゴリー

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).

対応言語

C および C++ で利用可能です。

有効/無効設定

このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル（configuration file）に以下の WARNING_FILTER ルールを追加してください。

WARNING_FILTER += allow class="Float Multiplication Overflow"

例

/* 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 */
}

LANG.ARITH.FMULOFLOW : Float Multiplication Overflow

要旨

プロパティ

例

関連のある設定ファイルパラメータ