このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
MISRA C:2023 Rule 6.2
Single-bit named bit-fields shall not be of a signed type
R2024a 以降
説明
ルール定義
Single-bit named bit-fields shall not be of a signed type 1 .
根拠
C99 規格の節 6.2.6.2 によれば、1 ビットの符号付きビットフィールドは符号ビットが 1 つで値のビットはありません。どのような整数表現でも、ゼロ値のビットでは意味のある値を指定できません。
したがって、1 ビットの符号付きビットフィールドが役に立つ形で動作する可能性はほとんどありません。これがあることによりプログラマが混乱する可能性があることを示しています。
C90 規格には型の表現に関しては詳細が与えられていませんが、1 ビットのビットフィールドの同じ考慮事項が適用されます。
Polyspace 実装
名前のないビットフィールドでは、その値にアクセスできないため、このルールは適用されません。
トラブルシューティング
ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。
チェック情報
| グループ: 型 |
| カテゴリ: 必要 |
| 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.
