Main Content

Code from DOS or Windows file system (-dos)

Consider that file paths are in MS-DOS style

Description

Specify that DOS or Windows® files are provided for analysis.

Set Option

User interface (desktop products only): In your project configuration, the option is on the Environment Settings node.

User interface (Polyspace Platform, desktop products only): In your project configuration, the option is on the Static Analysis tab on the Environment Settings node.

Command line and options file: Use the option -dos. See Command-Line Information.

Why Use This Option

Use this option if the contents of the Include or Source folder come from a DOS or Windows file system. The option helps you resolve case sensitivity and control character issues.

Settings

On (default)

Analysis understands file names and include paths for Windows/DOS files

For example, with this option,

#include "..\mY_TEst.h"^M

#include "..\mY_other_FILE.H"^M

resolves to:

#include "../my_test.h"

#include "../my_other_file.h"

In this mode, you see an error if your include folder has header files whose names differ only in case.

Off

Characters are not controlled for files names or paths.

Command-Line Information

Parameter: -dos
Default: Off
Example (Bug Finder): polyspace-bug-finder -dos -I ./my_copied_include_dir -D test=1
Example (Code Prover): polyspace-code-prover -dos -I ./my_copied_include_dir -D test=1
Example (Bug Finder Server): polyspace-bug-finder-server -dos -I ./my_copied_include_dir -D test=1
Example (Code Prover Server): polyspace-code-prover-server -dos -I ./my_copied_include_dir -D test=1

See Also

Topics