MISRA C:2012 Dir 4.6

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

Описание

Направляющее определение

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

Объяснение

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

Реализация Polyspace

Средство проверки правила отмечает использование типов основных данных в объявлениях переменной или объявлениях функции и определениях. Правило осуществляет использование typedef s вместо этого.

Средство проверки правила не отмечает использование основных типов в самих операторах typedef.

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

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

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

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

Примеры

развернуть все

typedef unsigned int uint32_t;

int x = 0;       /* Non compliant */
uint32_t y = 0;  /* Compliant */

В этом примере объявление x несовместимо, потому что это использует основной тип непосредственно.

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

Группа: проект Кода
Категория: консультация
Категория AGC: консультация
Язык: C90, C99

Введенный в R2014b