MISRA C++:2008 Rule 6-5-5

A loop-control-variable other than the loop-counter shall not be modified within condition or expression.

説明

ルール定義

A loop-control-variable other than the loop-counter shall not be modified within condition or expression. ¹

根拠

ループカウンター以外のループ制御変数が条件式、インクリメント式またはデクリメント式内で変更されなければ、ループは理解しやすく、予測しやすいものになります。volatile 型が指定されたループ制御変数は例外であり、この違反をトリガーせずに、ステートメントの外部で変更できます。

ループ制御変数とは、ループの初期化ステートメント、条件、または式に出現するあらゆる変数を指します。ループ制御変数は、ループの早期終了のために使用されるループカウンターとフラグを格納します。ループカウンターは、以下に該当するループ制御変数です。

for ループの前または for ループの初期化ステートメントで初期化される。
for ループの条件内の関係演算子のオペランドとして機能する。
for ループの式内で変更される。

Polyspace 実装

Polyspace^® は、早期終了のために使用されるループカウンターまたはフラグが条件内または式内で変更される場合は常に、この欠陥を報告します。

トラブルシューティング

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

例

すべて展開する

ループ条件内でのループ制御変数の変更を回避する

#include <cstdint>

bool tf_test, tf_test2 = false;
int32_t x = 0;

bool a_test(bool a)
{
	if (x % 2 == 0)
	{
		a = true;
	}
	else
	{
		a = false;
	}
	return a;
}

void example()
{

	for (x = 0; (x < 10) && (tf_test = a_test(tf_test)); x++)        //noncompliant
	{
		//...
	}

	for (x = 0; (x < 10) && tf_test2; x++)         //compliant
	{
             //...
		tf_test2 = a_test(tf_test2);
	}
}

最初の for ループで、tf_test は早期ループ終了のために使用されるフラグであり、このフラグは条件内で変更されるため、Polyspace は非準拠としてこれにフラグを設定します。

チェック情報

グループ: Statements

カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

MISRA C++:2008 をチェック (-misra-cpp)

トピック

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

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.