exponenta event banner

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

Символы ',\или и последовательности символов/* или//не должны указываться в имени файла заголовка.

Описание

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

Символы ',\и/* или/не должны присутствовать в имени файла заголовка.

Объяснение

Поведение программы не определено, если:

  • Вы используете ', ", \, /* или // между < > разделители в маркере предварительной обработки имени заголовка.

  • Вы используете ', \, /* или // между " разделители в маркере предварительной обработки имени заголовка.

Хотя \ приводит к неопределенному поведению, многие реализации принимают / на его месте.

Внедрение Polyspace

Polyspace ® помечает символы', ", \, /* или // между < и > в #include <filename>.

Polyspace помечает символы ', \, /* или // между " и " в #include "filename".

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

Символы ',\и/* или/не должны присутствовать в имени файла заголовка.

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

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

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

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