Exponenta Banner

MISRA C:2012 Rule 21.1

#define и #undef не должны использоваться на зарезервированном идентификаторе или зарезервировали макро-имя

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

Описание

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

#define и #undef не должны использоваться на зарезервированном идентификаторе или зарезервировали макро-имя.

Объяснение

Зарезервированные идентификаторы и зарезервированные макро-имена предназначаются для использования реализацией. Удаление или изменение значения зарезервированного макроса могут привести к неопределенному поведению. Это правило применяется к следующему:

  • Идентификаторы или макро-имена, начинающиеся с подчеркивания

  • Идентификаторы в осциллографе файла описаны в Стандартной Библиотеке C

  • Макро-имена, описанные в Стандартной Библиотеке C, как задаваемой в стандартном заголовке

Средство проверки правила может отметить различные идентификаторы или макросы в зависимости от версии стандарта C, используемого в анализе. Смотрите C standard version (-c-version). Например, если вы запускаете анализ C99, зарезервированные идентификаторы и макросы заданы в ISO®/IEC 9899:1999 стандарт, Раздел 7, "Библиотека".

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

  • Макро-macro_name не буду переопределен.

  • Макро-macro_name не будет не определено.

  • Макро-macro_name не буду задан.

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

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

Примеры

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

#undef __LINE__               /* Non-compliant - begins with _ */
#define _Guard_H 1            /* Non-compliant - begins with _ */
#undef _ BUILTIN_sqrt        /* Non-compliant - implementation may
                               * use _BUILTIN_sqrt for other purposes,
                               * e.g. generating a sqrt instruction */
#define defined               /* Non-compliant - reserved identifier */
#define errno my_errno        /* Non-compliant - library identifier */
#define isneg(x) ( (x) < 0 )  /* Compliant - rule doesn't include  
                               * future library directions   */

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

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

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

|

Темы

Введенный в R2014b

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

Поддержка