LANG.TYPE.AWID : Expression Value Widened by Assignment

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.TYPE.AWID : 代入により暗黙拡張される複合式

要旨

複合式の値が、その実質的な型より大きなオブジェクトに代入されています。

このワーニングクラスは、クリティカルシステム向けのC言語ガイドラインMISRA C:2012の実質的な型および複合式に記載されている概念に基づいています。

プロパティ

MisraC2025

MisraC2025:10.6

The value of a composite expression shall not be assigned to an object with wider essential type

MisraC2023

MisraC2023:10.6

The value of a composite expression shall not be assigned to an object with wider essential type

Misra2012

Misra2012:10.6

The value of a composite expression shall not be assigned to an object with wider essential type

Misra2004

Misra2004:10.1

The value of an expression of integer type shall not be implicitly converted to a different underlying type if: (a) it is not a conversion to a wider integer type of the same signedness, or (b) the expression is complex, or (c) the expression is not constant and is a function argument, or (d) the expression is not constant and is a return expression

Misra2004:10.2

The value of an expression of floating type shall not be implicitly converted to a different type if: (a) it is not a conversion to a wider floating type, or (b) the expression is complex, or (c) the expression is a function argument, or (d) the expression is a return expression

AUTOSARC++14

AUTOSARC++14:M5-0-3

A cvalue expression shall not be implicitly converted to a different underlying type.

AUTOSARC++14:M5-0-5

There shall be no implicit floating-integral conversions.

MisraC++2008

MisraC++2008:5-0-3

A cvalue expression shall not be implicitly converted to a different underlying type.

MisraC++2008:5-0-5

There shall be no implicit floating-integral conversions.

CWE

CWE:704

Incorrect Type Conversion or Cast

CERT-C

CERT-C:INT18-C

Evaluate integer expressions in a larger size before comparing or assigning to that size

例

void f_longarg(long inl);
void use_longs(long a, long b, long c);

void TYPE_AWID(short s1, short s2){
  long long1;
  long long2;
  long long3;

  long1 = s1;                                /* not a composite expression */

  long2 = s1 + s2;      /* 'Expression Value Widened by Assignment' warning issued here */

  long3 = (long) s1 + s2;                    /* '(long) s1' causes entire expression to have 'long' type */
  use_longs(long1, long2, long3);

  f_longarg(2*s1);     /* 'Expression Value Widened by Assignment' warning issued here */
}

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

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。