Troubleshooting Project Creation from MinGW Build

Issue

You create a project from a MinGW build, but get an error when running an analysis on the project. The error message comes from using one of these keywords: __declspec, __cdecl, __fastcall, __thiscall or __stdcall.

Cause

When you create a project from a MinGW build, the project uses a GNU^® compiler. Polyspace^® does not recognize these keywords for the GNU compilers.

Solution

Replace these keywords with equivalent keywords just for the purposes of analysis.

Before analysis, for the option Preprocessor definitions (-D), enter:

• __declspec(x)=__attribute__((x))

• __cdecl=__attribute__((__cdecl__))

• __fastcall=__attribute__((__fastcall__))

• __thiscall=__attribute__((__thiscall__))

• __stdcall=__attribute__((__stdcall__))

If you are running Polyspace on the command line in a UNIX^® shell, add double quotes around the -D option. For instance, use:

"-D __cdecl=__attribute__((__cdecl__))"