AUTOSAR C++14 Rule M6-5-3
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 |
バージョン履歴
R2019a で導入
