Polyspace plugin erron in S32 Studio - IAR Compiler

When using Polyspace Eclipse plugin in NXP S32 Studio with IAR compiler, I get the following error:

"

Error: Argument of option -D '__veccopy =' is not a valid value.

Macro specification must be in format MACRO[(parameter list)][=VALUE].

MACRO must start with a letter or underscore and thereafter contain

alphanumeric characters or underscore only.

I guess there's something wrong with the parameters provided to Polyspace. Could you please help me on this?

Tool Versions:

Polyspace 2020B

Polyspace Plugin version 1.3.7.1

Answer 1

[Siraj]

Hi!

I understand you're encountering an error while using Polyspace analysis with your Eclipse Project. The error message you've received is as follows:

"Argument of option -D '__veccopy=' is not a valid value."

It's important to note that the compiler options from your Eclipse project, including include paths and preprocessor macros, are carried over for the analysis. While these options might not be directly visible in the Polyspace configuration, you can still review them within your Eclipse editor. Here's how:

1. Navigate to Project > Properties in your Eclipse project.
2. Proceed to the Paths and Symbols section.
3. Under the Symbols tab, look for the preprocessor macros.

Should you find a macro named '__veccopy=', review this preprocessor macro and choose to edit it / delete it or leave its value blank to instruct the software to disregard this macro.

For additional guidance on locating and defining macros within your project, please refer to the following documentation:

https://www.mathworks.com/help/releases/R2020b/codeprover/ug/specify-polyspace-compiler-options-through-eclipse-project.html

https://www.mathworks.com/help/releases/R2020b/codeprover/ref/preprocessordefinitionsd.html#bt8e51h-1

I hope this information helps you in resolving the issue.