MISRA C:2023 Rule 16.7

A switch-expression shall not have essentially Boolean type

R2024a 以降

説明

ルール定義

A switch-expression shall not have essentially Boolean type 1

根拠

C 標準では switch ステートメントに対する制御式は整数型でなければなりません。C は整数型のブール値を実装するため、論理式により switch ステートメントを制御できます。boolean 型でフローを制御するには、if-else 構造の方が適切です。

Polyspace 実装

解析では、bool または _Bool の boolean 型 (stdbool.h で定義) が認識されます。

オプション [有効な boolean 型] (-boolean-types) を使用して、実質的な boolean 型を定義することもできます。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

チェック情報

グループ: switch ステートメント
カテゴリ: 必要
AGC カテゴリ: 推奨

バージョン履歴

R2024a で導入

参考

トピック

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.