AUTOSAR C++14 Rule M9-6-4

Named bit-fields with signed integer type shall have a length of more than one bit

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

説明

ルール定義

Named bit-fields with signed integer type shall have a length of more than one bit.

根拠

1 ビット長の符号付き整数ビットフィールド型の変数は、開発者の期待に沿わない値を保持する可能性があります。たとえば、std16_t などの固定幅の符号付き整数型は 2 の補数表現を持ちます。この表現では 1 ビット変数は符号ビットのみであり、変数値は 0 または -1 です。

Polyspace 実装

チェッカーは、長さが 1 と等しい符号付き整数ビットフィールド型の名前付き変数の宣言にフラグを設定します。

長さ 0 のビットフィールド型にはフラグは設定されません。

トラブルシューティング

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

例

すべて展開する

#include <cstdint>

typedef struct
{
   std::uint16_t IOFlag :1;    //Compliant - unsigned type
   std::int16_t InterruptFlag :1; //Noncompliant
   std::int16_t Register1Flag :2; //Compliant - Length more than one bit
   std::int16_t : 1; //Compliant - Unnamed
   std::int16_t : 0; //Compliant - Unnamed
   std::uint16_t SetupFlag :1; //Compliant - unsigned type
} InterruptConfigbits_t;

この例では、2 番目のビットフィールド宣言のみが非準拠です。名前付き変数が 1 ビット長符号付き型で宣言されています。

チェック情報

グループ: クラス
カテゴリ: Required、Automated

バージョン履歴

R2020b で導入

参考

トピック