Exponenta Banner
exponenta event banner

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

Идентификаторы макросов должны быть различными

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

Описание

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

Идентификаторы макросов должны быть различными.

Объяснение

Имена идентификаторов макросов должны отличаться от других идентификаторов макросов и их параметров.

Внедрение Polyspace

Проверка вызывает нарушение, если два макроса с одинаковыми первыми 63 символами определены с разными значениями. Проверка не вызывает нарушения, если:

  • Два макроса с одинаковыми первыми 63 символами определяются одинаковым значением (даже пустым значением).

  • Один и тот же макрос определен с различными значениями, но макрос не определен между ними.

Отсечение 63 символов применяется к анализу C99-based. В C90 отсечение составляет 31 символ. Другими словами, средство проверки считает два макроса фактически одинаковыми, если нет разницы в их первых 31 символах. Для проверки правил C90 используйте значение c90 для опции C standard version (-c-version). Количество сравниваемых символов можно изменить с помощью опции -code-behavior-specifications. Посмотрите -code-behavior-specifications.

Дополнительное сообщение в отчете

  • Идентификаторы макросов должны быть различными. Макрос XX имеет те же значимые символы, что и макрос YY.

  • Идентификаторы макросов должны быть различными. Параметр XX макроса имеет те же значимые символы, что и параметр YY макроса в макросе ZZ.

Поиск неисправностей

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

Примеры

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

#define engine_exhaust_gas_temperature_raw egt_r
#define engine_exhaust_gas_temperature_scaled egt_s   /* Non-compliant */

#define engine_exhaust_gas_temp_raw egt_r
#define engine_exhaust_gas_temp_scaled egt_s          /* Compliant */

В этом примере макрос engine_exhaust_gas_temperature_scaled egt_s имеет тот же первый 31 символ, что и предыдущий макрос engine_exhaust_gas_temperature_scaled.

#define engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_raw egt_r
#define engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_raw_scaled egt_s /* Non-compliant */

/* 63 significant case-sensitive characters in macro identifiers */
#define new_engine_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_raw egt_r
#define new_engine_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_scaled egt_s /* Compliant */

В этом примере макрос engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx___gaz_scaled имеет те же первые 63 символа, что и предыдущий макрос engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx___raw.

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

Группа: идентификаторы
Категория: Обязательно
Категория СМЖЛ: требуется

См. также

| | |

Темы

Представлен в R2014b

Документация по программе проверки кода Polyspace

Поддержка