来自 DOS 或 Windows 文件系统的代码 (-dos)
注意文件路径是 MS-DOS 样式的
描述
指定提供 DOS 或 Windows® 文件进行分析。
为何使用此选项
如果 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 |
| 默认值：关闭 |
示例 (Bug Finder)：polyspace-bug-finder -dos -I ./my_copied_include_dir -D test=1 |
示例 (Code Prover)：polyspace-code-prover -dos -I ./my_copied_include_dir -D test=1 |
示例 (Bug Finder Server)：polyspace-bug-finder-server -dos -I ./my_copied_include_dir -D test=1 |
示例 (Code Prover Server)：polyspace-code-prover-server -dos -I ./my_copied_include_dir -D test=1 |
