MISRA C:2012 Rule 6.2

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

Описание

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

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

Объяснение

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

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

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

Реализация Polyspace

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

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

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

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

Группа: типы
Категория: необходимый
Категория AGC: необходимый

Введенный в R2014b