\символ не должен происходить на имя заголовочного файла
Примечание
Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.
\символ не должен происходить на имя заголовочного файла.
Вы включаете заголовочные файлы в исходный файл путем включения его имени между разделителями <> или "". Используя символьный \между разделителями < и > или между разделителями " неопределенное поведение. Используя / в заголовочном файле имя может привести к неожиданному поведению.
Некоторые среды используют символьный \ как разделитель имени файла, например, при описании путей. Компиляторы для этих сред могут поддержать использование \ в #include директива.
Polyspace® повышает нарушение этого правила если символьный \ происходит на имя заголовочного файла.
Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.
| Группа: предварительная обработка директив |
| Категория: консультация |