AUTOSAR C++14 Rule A6-6-1

The goto statement shall not be used

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

説明

ルール定義

The goto statement shall not be used.

根拠

制限のない 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
    }
}

チェック情報

グループ: ステートメント
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

参考

トピック