-dos)Учтите, что пути к файлам имеют стиль MS-DOS
Укажите, что файлы DOS или Windows ® предоставляются для анализа.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле «Параметры среды».
файл командной строки и параметров: Использовать параметр -dos. См. раздел Сведения о командной строке.
Используйте этот параметр, если содержимое папки Include или Source получено из файловой системы DOS или Windows. Этот параметр помогает решить проблемы с чувствительностью к регистру и управлять символами.
Вкл (по умолчанию)Анализ распознает имена файлов и включает пути для файлов Windows/DOS
Например, при использовании этой опции
#include "..\mY_TEst.h"^M
#include "..\mY_other_FILE.H"^M
разрешает:
#include "../my_test.h"
#include "../my_other_file.h"
В этом режиме отображается ошибка, если папка включения имеет заголовочные файлы, имена которых различаются только в случае.
ПрочьСимволы не управляются именами файлов или путями.
Параметр: -dos |
| По умолчанию: Откл. |
Пример (поиск ошибок):
polyspace-bug-finder -dos -I ./my_copied_include_dir -D test=1 |
Пример (проверка кода): polyspace-code-prover -dos -I ./my_copied_include_dir -D test=1 |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -dos -I ./my_copied_include_dir -D test=1 |
Пример (сервер проверки кода):
polyspace-code-prover-server -dos -I ./my_copied_include_dir -D test=1 |