MISRA C:2012 Rule 17.2

Functions shall not call themselves, either directly or indirectly

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

説明

ルール定義

Functions shall not call themselves, either directly or indirectly 1 .

根拠

関数に対してローカルな変数は呼び出しスタック内に格納されます。関数がそれ自身を直接的または間接的に複数回呼び出す場合、使用可能なスタック領域を超過し、深刻な不具合を発生させる可能性があります。再帰が厳密に制御されていない限り、必要な最大スタック領域を決めるのは困難です。

Polyspace 実装

チェッカーは、それ自体を直接的、間接的、または関数ポインターを介して呼び出すそれぞれの関数について報告します。1 つの再帰サイクルに複数の関数が関与している場合でも、それぞれの関数が個別に報告されます。

再帰サイクルの総数は、コード複雑度メトリクス [再帰の数] を使用して計算できます。

トラブルシューティング

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

例

すべて展開する

void foo1(int);
void foo2(int);

void foo1( int n ) {     /* Non-compliant - Indirect recursion foo1->foo2->foo1... */
    if (n > 0) {
        foo2(n);
        foo1(n);               /* Non-compliant - Direct recursion */
        n--;
    }
}

void foo2( int n ) { /* Non-compliant - Indirect recursion foo2->foo1->foo2... */
    foo1(n);
}

この例では、以下の原因によりルールに違反します。

  • 直接再帰 foo1 → foo1。

  • 間接再帰 foo1 → foo2 → foo1。

  • 間接再帰 foo2 → foo1 → foo2。

ルール違反の場所は、直接再帰と間接再帰で異なることに注意してください。

  • 関数がその関数自身を直接呼び出す場合は、関数呼び出しでルール違反が表示されます。

  • 1 つの間接再帰チェーンに複数の関数が関与している場合は、チェーンに含まれるすべての関数について、関数本体の関数シグネチャでルール違反が表示されます。

チェック情報

グループ: 関数
カテゴリ: 必要
AGC カテゴリ: 必要

バージョン履歴

R2014b で導入

すべて展開する

参考

| |

トピック

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.