Main Content

Macros

Preprocessor specifications and definitions

To define or undefine specific macros, or replace unrecognized tokens, use the macro definition options. If you specify your Target and Compiler options appropriately, the analysis defines or undefines compiler-specific macros as required and recognizes compiler-specific tokens. If you still get compilation errors, use these options to address specific macros or tokens.

Polyspace Options

Preprocessor definitions (-D)Replace macros in preprocessed code
Disabled preprocessor definitions (-U)Undefine macros in preprocessed code

Topics