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

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

説明

ルール定義

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

根拠

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

Polyspace 実装

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

トラブルシューティング

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

チェック情報

グループ: Statements
カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

トピック

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.