C and C++


LANG.CAST.ARRAY.TEMP : Array to Pointer Conversion on Temporary Object

要旨

An array member of a temporary struct or union is cast or coerced to a pointer.

Modifying an array element in this situation will result in undefined behavior.

プロパティ

クラス名 Array to Pointer Conversion on Temporary Object
日本語クラス名 Array to Pointer Conversion on Temporary Object
クラス分類 信頼性 (reliability)
ニーモニック LANG.CAST.ARRAY.TEMP
カテゴリー
MisraC2023 MisraC2023:18.9 An object with temporary lifetime shall not undergo array-to-pointer conversion
Misra2012 Misra2012:18.9 An object with temporary lifetime shall not undergo array-to-pointer conversion
AUTOSARC++14 AUTOSARC++14:A18-1-1 C-style arrays shall not be used.
CERT-C CERT-C:ARR00-C Understand how arrays work
  CERT-C:EXP35-C Do not modify objects with temporary lifetime
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル (configuration file)に以下の WARNING_FILTER ルールを追加してください。
WARNING_FILTER += allow class="Array to Pointer Conversion on Temporary Object"

struct S1 {
    int arr[10];
};

struct S1 svar;
struct S1 getS1(void);

void lang_cast_array_temp( struct S1 sparam ){
    int *p;

    p = svar.arr;                     /* ok: svar is not temporary */
    p[0]++;                           /* this operation has defined behavior */

    p = sparam.arr;                     /* ok: sparam is not temporary */

    p = getS1().arr;         /* 'Array to Pointer Conversion on Temporary Object' warning issued here
                              * - getS1() returns a temporary struct, whose arr field is then coerced to int*
                              */
    p[0]++;                  /* this operation has undefined behavior */

    p = (int*)getS1().arr;   /* 'Array to Pointer Conversion on Temporary Object' warning issued here
                              * - as for previous warning, but casting to int* instead of coercing
                              */
}

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

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