exponenta event banner

ISO/IEC TS 17961 [резидент]

Использование идентификаторов, зарезервированных для реализации

Описание

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

Использование идентификаторов, зарезервированных для реализации. [1 ]

Внедрение Polyspace

Эта проверка проверяет объявление зарезервированных идентификаторов или имен макросов.

Примеры

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

Проблема

Проблема возникает при объявлении зарезервированного идентификатора или имени макроса.

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

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

Риск

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

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

Разрешимость: Разрешимая
Представлен в R2019a

[1] Выдержки из стандарта «ISO/IEC TS 17961 Technical Specification - 2013-11-15» воспроизводятся с согласия AFNOR. Нормативную ценность имеет только оригинальный и полный текст стандарта, опубликованный изданиями AFNOR - доступный через веб-сайт www.boutique.afnor.org.