AUTOSAR C++14 Rule M6-5-3

R2026b

The loop-counter shall not be modified within condition or statement.

説明

The loop-counter shall not be modified within condition or statement.

根拠

for ループには、ループ カウンターを変更するための固有の構文があります。コード レビュー担当者はその構文を使用した変更を想定します。別の場所でループ カウンターを変更すると、コードをレビューすることが難しくなる可能性があります。

Polyspace 実装

チェッカーは、for ループのループ本体またはループ条件 (ループを終了するかを判断するためにチェックする条件) でのループ カウンターの変更にフラグを設定します。

ループ条件により、構造体のあるフィールドがポインターまたは参照によって変更され、別のフィールドがループ本体で変更される場合、違反は報告されません。

トラブルシューティング

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

チェック情報

グループ: ステートメント

カテゴリ: Required、Automated

PQL 名: std.autosar_cpp14.M6_5_3

バージョン履歴

R2019a で導入

R2026a: ループ カウンターが参照先構造体のフィールドである場合、違反は報告されない

Polyspace は、次の場合には違反を報告しなくなりました。

• ループ カウンターが構造体のフィールドであり、ループ条件で参照によって変更される場合。

• 同じ構造体の別のフィールドが、ループ本体で参照によって変更される場合。

たとえば、以下のループは準拠しています。

struct Iterator
{
	size_t i;
	size_t j;
};

void foo(Iterator &iterator)
{
	for(; iterator.i < 10; iterator.i++)  // Compliant
	{
		iterator.j++;
	}
}

参考

AUTOSAR C++14 をチェック (-autosar-cpp14)

トピック

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