Main Content

Macros

Define macros for preprocessing

To define or undefine specific macros, or replace unrecognized tokens, use the macro definition options. If you specify your Target & 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

Troubleshooting

Troubleshoot Compilation and Linking Errors

Learn why Polyspace compilation can fail even if your compiler build succeeds and how to work around the failures.