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

The loop-counter shall be modified by one of: --, ++, -=n, or +=n ; where n remains constant for the duration of the loop.

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

説明

ルール定義

The loop-counter shall be modified by one of: --, ++, -=n, or +=n ; where n remains constant for the duration of the loop. ¹

根拠

ループのループカウンター修飾子が定数でない場合、ループが予期せずに終了し、想定に反した結果になる可能性があります。定数のインクリメントの場合は、ループの終了が予測可能になります。

Polyspace 実装

Polyspace^® はループカウンターの修飾子が定数でない場合は常にこの欠陥を報告します。また、"-=n" または "+=n" でループが修飾され、"n" がこのループ内で変更される場合も、Polyspace がこの欠陥を報告します。

トラブルシューティング

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

例

すべて展開する

非定数のループカウンター修飾子

最初の for ループでループカウンター修飾子として +=x を使用しており、変数 x が for ループ内で変更されるため、Polyspace は for ループに非準拠としてフラグを設定します。

2 番目の for ループは準拠しているケースを示しています。このループでループカウンター修飾子として使用している +=y の y は、ループ内で変更されません。

3 番目の for ループは、関数 ex2() の戻り値を使用してループカウンターを変更します。この関数が各反復で返す値は異なるため、ループカウンター修飾子は定数ではありません。Polyspace は for ループに非準拠としてフラグを設定します。

#include <cstdint>

int i, x = 0;
int y, z = 1;

int ex2()
{
    return z;
}

void example()
{
    for (i = 0; i <= 10; i += x) {          //Noncompliant
        x += 1;
    }

    for (i = 0; i <= 10; i += y) {          //Compliant
        z += i;
    }

    for (i = 0; i >= 10; i -= ex2()) {      //Noncompliant
        z += i;
    }

}

チェック情報

グループ: 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.