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