MISRA C:2012 Rule 20.2

', "или \символы и/* или//последовательности символов не должны происходить на имя заголовочного файла

Описание

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

', "или \символы и/* или//последовательности символов не должны происходить на имя заголовочного файла.

Объяснение

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

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

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

Несмотря на то, что \ результаты в неопределенном поведении, много реализаций принимают / в его месте.

Реализация Polyspace

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

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

Обменивайтесь сообщениями в отчете

', "или \символы и/* или//последовательности символов не должны происходить на имя заголовочного файла.

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

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

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

Группа: предварительная обработка директив
Категория: необходимый
Категория AGC: необходимый
Язык: C90, C99