MISRA C:2012 Rule 21.2

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

Описание

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

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

Объяснение

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

Реализация Polyspace

  • Если вы задаете имя макроса, которое соответствует стандартному библиотечному макросу, объекту или функции, правило 21.1 нарушается.

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

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

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

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

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

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

Группа: Стандартные библиотеки
Категория: Требуемая
Категория AGC: Требуется
Введенный в R2014b