Compiler Polyspace bug finder error

Containing many errors while performing polyspace like

1. In the compiler header file

• expected a type specifier
• "__attribute__" has already been defined-Even the specified variable is defined.

2.In source files(.c files)

• Files are already defined but it is showing that it is undefined.(For Example-" variable name " is undefined)

[Peter Bauer]

I came across the same issue. We are using an in-house embedded Compiler supporting some "__attribute__" declarations. What is the recommended way to deal with this?

A workaround could be to define all the "__attribute__" variants as empty strings with the "-D" option ...?

Answer 1

[Christian Bard]

That is recommended to use polyspace-configure on the build chain to get the set of options and target values to match your compiler. See doc below:

(DOS/UNIX) Create Polyspace project from your build system at the DOS or UNIX command line - MATLAB polyspace-configure (mathworks.com)