Exponenta Banner

MISRA C:2012 Dir 4.6

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

расширьте все на странице

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

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

Объяснение

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

Реализация Polyspace

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

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

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

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

typedef unsigned int uint32_t;

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

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

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

Группа: проект Кода
Категория: консультация
Категория AGC: консультация

Вопросы совместимости

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

Не рекомендуемый запуск в R2021b

Смотрите также

Темы

Введенный в R2014b

Документация Polyspace Code Prover

Поддержка