', "или \символы и/* или//последовательности символов не должны происходить на имя заголовочного файла
', "или \символы и/* или//последовательности символов не должны происходить на имя заголовочного файла.
Поведение программы не определено если:
Вы используете ', ", \, /* или // между разделителями < > в лексеме предварительной обработки имени заголовка.
Вы используете ', \, /* или // между разделителями " в лексеме предварительной обработки имени заголовка.
Несмотря на то, что результаты \ в неопределенном поведении, много реализаций принимают / в его месте.
Polyspace® отмечает символы ', ", \, /* или // между < и > в #include <filename>.
Polyspace отмечает символы ', \, /* или // между " и " в #include "filename".
', "или \символы и/* или//последовательности символов не должны происходить на имя заголовочного файла.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
| Группа: предварительная обработка директив |
| Категория: необходимый |
| Категория AGC: необходимый |
| Язык: C90, C99 |