このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

MISRA C++:2023 Rule 9.6.1

The goto statement should not be used

R2024b 以降

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

説明

ルール定義

The goto statement should not be used. 1

根拠

制限のない goto ステートメントの使用により、プログラムのロジックが複雑化し、コードは解読しにくくなります。さらに goto ステートメントはメモリ リークを発生させ、リソースを不適切に解放する可能性があります。

Polyspace 実装

goto ステートメントを使用すると、Polyspace はルール違反を報告します。

トラブルシューティング

ルール違反が想定されるものの、Polyspace® から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

例

すべて展開する

このコードで goto ステートメントが使用されるたびに、Polyspace はルール違反を報告します。

void foo(void)
{
    int i = 0, result = 0;

label1:
    for (i; i < 5; i++) {
        if (i > 2) goto label2;     // Non-compliant
    }

label2: {
        result++;
        goto label1;                // Non-compliant
    }
}

チェック情報

グループ: Statements
カテゴリ: 推奨

バージョン履歴

R2024b で導入

参考

トピック

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.