MISRA C++:2023 Rule 9.3.1

The body of an iteration-statement or a selection-statement shall be a compound-statement

R2024b 以降

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

説明

ルール定義

The body of an iteration-statement or a selection-statement shall be a compound-statement. 1

根拠

代入演算子を部分式で使用すると、予測が難しい二次的影響がもたらされます。こうした二次的影響により、開発者の想定に反する結果になる可能性があります。このルールは、代入演算子 (=) と等号演算子 (==) の混乱を回避するうえで役立ちます。代入演算子の結果を使用しないでください。

Polyspace 実装

以下のいずれかの条件に該当する場合、Polyspace® はこのルールの違反を報告します。

  • if ステートメント、else-if ステートメント、else ステートメントの後に複合ステートメントがない。

  • for、switch、while、または do-while ステートメントの直後に左中かっこがない。以下に例を示します。

    for (i=init_val; i > 0; i--)
   if (arr[i] < 0)
      arr[i] = 0;

トラブルシューティング

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

例

すべて展開する

#include <cstdint>

int example(int test, int result)
{
    if (test > 5) 
    {
        test--;
        result = test + result;   //Compliant
    } 
    else if (test <= 5) 
    {
        result = test - result;   //Compliant
    } 
    else                          //Noncompliant
        result = test;

    return result;
}

else ステートメントで中かっこ { } を使用せずに複合ステートメントを作成しているため、Polyspace は非準拠としてこれにフラグを設定します。

チェック情報

グループ: Statements
カテゴリ: Required

バージョン履歴

R2024b で導入

参考

トピック

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.