MISRA C:2012 Rule 2.2

A project shall not contain dead code

このページをすべて展開する

説明

ルール定義

A project shall not contain dead code ¹ .

根拠

到達可能ではあるものの、削除してもプログラムの動作に影響しない演算は、デッドコードとなります。

デッドコードの存在はプログラムロジックのエラーを示している可能性があります。コンパイラはデッドコードを削除できるため、デッドコードの存在によりコードレビュー担当者が混乱する可能性があります。

Polyspace 実装

ルールチェッカーは、削除してもプログラムの動作に影響しない演算をルール違反として報告します。最も一般的なケースは、ある演算の結果が後で使用されることがないというものです。次に例を示します。

演算を実行するものの、その結果を変数に (一時変数にも) 代入しない。
演算の結果を変数に代入するものの、その変数を使用することがない。
値を変数に代入するものの、その値を使用することがない。詳細については、読み取りのない書き込みを参照してください。
演算の結果を変数に代入するものの、その直後に変数値を上書きする。

その他のあまり一般的ではない状況としては、空の関数の呼び出しや冗長な定数演算などがあります。定数が関係するこれらの演算の一部は、生成されたコード内で行われ、コンパイラによる最適化によって除去される可能性があります。たとえば、演算 2u * 1u は、コンパイラが 2u に最適化する可能性のある冗長な演算です。つまり、この演算が実行時に行われる可能性は低くなっています。コンパイラの最適化が行われるかどうかに関係なく、ルールチェッカーはこの演算に対する違反を報告します。

Polyspace^® は、次の場合にはこのルールを報告しません。

未使用のパラメーターの宣言。未使用の定義は、MISRA C:2012 Rule 2.3 に違反します。
非 void 関数の戻り値が未使用の場合。この関数は値を返す以外の二次的影響を伴う可能性があるためです。関数呼び出しを削除すると、プログラムの動作に影響する可能性があります。
キャスト演算子の結果がコード内で使用される場合。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

すべて展開する

冗長な演算

extern volatile unsigned int v;
extern char *p;

void f ( void ) {
    unsigned int x;


    ( void ) v;      /* Compliant - Exception*/
    ( int ) v;       /* Non-compliant  */
    v >> 3;          /* Non-compliant  */

    x = 3;           /* Non-compliant  */

    *p++;            /* Non-compliant  */
    ( *p )++;        /* Compliant  */
}

この例では、ある変数に対し演算が実行され、その演算の結果が使用されていない場合、ルールに違反します。次に例を示します。

変数 v に対する演算 (int) と >> は、その結果が使用されていないため冗長です。
演算 = は、ローカル変数 x が演算の後で読み取られないため冗長です。
p++ に対する演算 * は、その結果が使用されていないため冗長です。

次の場合、このルールに違反しません。

変数が void にキャストされる。キャストにより、値の不使用が意図的であることが示されます。
演算の結果が使用されている。たとえば、p に対する演算 * は、*p がインクリメントされるため冗長ではありません。

冗長な関数呼び出し

void g ( void ) {
               /* Compliant  */
}

void h ( void) {
     g( );     /* Non-compliant */
}

この例では、g は空の関数です。関数自体はルール違反ではありませんが、関数の呼び出しがルールに違反します。

チェック情報

グループ: 未使用コード

カテゴリ: 必要

AGC カテゴリ: 必要

バージョン履歴

R2014b で導入

すべて展開する

R2025a: 冗長な演算の検出の改善

Polyspace は、マクロ展開での冗長な書き込み操作に対してこのルールの違反を報告します。たとえば以下の例では、ルールチェッカーは変数 y での両方の書き込み操作が冗長であることを正しく検出します。
```
#define Test(a) \
{ \
    if (tmp == 1) { \
        a = 0; \
    } \
}
void func(void) {
    int tmp = 0;
    if (tmp == 1) {
        y = 0; // Useless write
    }
    Test(y);   // Useless write via macro
}
```
コードに、あるソースファイルでは空で、別のソースでは空ではない、同じ名前の static 関数が含まれている場合、Polyspace は、空として定義されているソースファイルでのみ、static 関数の使用に対して違反を報告します。たとえば、以下のソースファイルを考えてみましょう。
- src1.c:
```
static void foo(int* a){
    //empty
}

void caller(){
    int var = 10;
    
    foo(&var); //Noncompliant
}
```
- src2.c:
```
static void foo(int* a){
     if (a != NULL) {
        (*a)++;
    }
}

void caller(){
    int var = 10;
    
    foo(&var);
}
```
foo() の使用は src1.c では違反ですが、src2.c では準拠しています。

R2024b: ルール定義の変更

MISRA C:2012 Amendment 4 に従い、ルール定義が "A project shall not contain dead code" に変更されました。

R2023a: 関数ポインターを介した空の関数の呼び出しの検出の改善と、`asm` 命令の処理の改善

ルールチェッカーの仕様に、次の複数の変更が加えられています。

間接的に空の関数を呼び出すと、ルールチェッカーがこのルールの違反を報告します。たとえば次のコードでは、関数ポインター fp が空の関数へのポインター値を保持することで、間接的な関数呼び出しが発生しています。
```
void ex1(void)
{
    
}

void ex2(void)
{
	void (*fp)( void );
	fp = ex1;
	fp();			// Noncompliant
}
```
ルールチェッカーは、単一の NOP 命令からなる asm ブロックを含む、潜在的なデッドコードを無視しなくなりました。たとえば、関数 test 内の変数 b がこの時点以降に読み取られることがまったくない場合、ルールチェッカーはデッドコードとしてフラグを設定します。
```
void test(void)
{
	int b;
	
	b = 0;		//Noncompliant 

	__asm( "NOP" );
}
```

参考

MISRA C:2012 Rule 17.7 | 読み取りのない書き込み | MISRA C:2012 のチェック (-misra3)

トピック

コーディング規約違反のチェックおよびレビュー

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.