exponenta event banner

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

Зарезервированный идентификатор или зарезервированное имя макроса не должны объявляться

Описание

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

Зарезервированный идентификатор или зарезервированное имя макроса объявляться не должны.

Объяснение

Стандарт позволяет реализациям обрабатывать зарезервированные идентификаторы специально. При повторном использовании зарезервированных идентификаторов можно вызвать неопределенное поведение.

Внедрение Polyspace

  • При определении имени макроса, соответствующего стандартному макросу, объекту или функции библиотеки, нарушается правило 21.1.

  • Правило рассматривает предварительные определения в качестве определений.

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

Идентификатор «XX» не должен использоваться повторно.

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

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

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

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