MISRA C:2012 Rule 6.2

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

Описание

Определение правила

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

Объяснение

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

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

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

Реализация Polyspace

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

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

Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».

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

Группа: Типы
Категория: Требуемая
Категория AGC: Требуется
Введенный в R2014b