AUTOSAR C++14 Rule M6-6-3

The continue statement shall only be used within a well-formed for loop

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

説明

ルール定義

The continue statement shall only be used within a well-formed for loop.

根拠

continue ステートメントを使用すると、コードが不必要に複雑化する可能性があり、これが原因でテスト中に追加のロジックが必要となるため、問題が発生する可能性があります。

Polyspace 実装

ルール チェッカーは、次の場合に continue ステートメントの使用について違反を報告します。

  • 適格でない for ループ、すなわち、ルール 6-5-x に違反する for ループ。

  • while ループ。

トラブルシューティング

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

例

すべて展開する

このコードの for ループはMISRA C++:2008 Rule 6-5-2に違反しているため、適格ではありません。この例の for ループは適格ではなく continue ステートメントが含まれているため、Polyspace はこの違反を報告します。

#include <cstdint>

uint32_t row, col;

void example()
{
    for (row = 0; row <= 10; row++) {
        for (col = 100; col != 10; col -= 4) {
            //...
			continue;		//Noncompliant
        }
    }
}

チェック情報

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

バージョン履歴

R2019a で導入

参考

トピック