Disabled preprocessor definitions (-U)

Set Option

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

User interface (Polyspace Platform, desktop products only): In your project configuration, the option is on the Build tab on the Target & Compiler node.

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

Why Use This Option

Use this option to emulate your compiler behavior. For instance, your compiler might consider a macro _WIN32 as undefined and execute the code in a #ifndef _WIN32 block. To emulate this behavior when running a Polyspace^® analysis, use this option to specify _WIN32 as undefined.

This option undefines these macros:

If you define a macro by using a #define statement in your source code, this option cannot undefine it.

Typically, you recognize from compilation errors that a certain macro must be undefined. For instance, the following code does not compile if the macro _WIN32 is defined.

#ifndef _WIN32
  int env_var;
#endif

void set() {
  env_var=1;
}