Правило 6.2 MISRA C:2012

Одноразрядные именованные битовые поля не должны иметь типа со знаком

Описание

Управляйте определением

Одноразрядные именованные битовые поля не должны иметь типа со знаком.

Объяснение

Согласно Стандартному Разделу C99 6.2.6.2, одноразрядное битовое поле со знаком имеет один знаковый бит и никакие биты значения. В любом представлении целых чисел биты нулевого значения не могут задать значимое значение.

Одноразрядное битовое поле со знаком вряд ли будет поэтому вести себя полезным способом. Его присутствие, вероятно, укажет на беспорядок программиста.

Несмотря на то, что Стандарт C90 не предоставляет много детали относительно представления типов, те же одноразрядные факторы битового поля применяются.

Реализация Polyspace

Это правило не применяется к битовым полям без имени, потому что к их значениям нельзя получить доступ.

Обменивайтесь сообщениями в отчете

Одноразрядные именованные битовые поля не должны иметь типа со знаком.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Проверяйте информацию

Группа: типы
Категория: необходимый
Категория AGC: необходимый
Язык: C90, C99

Введенный в R2014b