Вы создаете проект из сборки MinGW, но получаете ошибку при запуске анализа на проекте. Сообщение об ошибке приходит от использования одного из следующих ключевых слов: __declspec, __cdecl, __fastcall, __thiscall или __stdcall.
Когда вы создаете проект из сборки MinGW, проект использует GNU® компилятор. Polyspace® не распознает эти ключевые слова для компиляторов GNU.
Замените эти ключевые слова эквивалентными ключевыми словами только для целей анализа.
Перед анализом для опции Preprocessor definitions (-D), введите:
__declspec(x)=__attribute__((x))
__cdecl=__attribute__((__cdecl__))
__fastcall=__attribute__((__fastcall__))
__thiscall=__attribute__((__thiscall__))
__stdcall=__attribute__((__stdcall__))
Если Polyspace запускается в командной строке в UNIX® оболочка, добавить двойные кавычки вокруг -D опция. Для образца используйте:
"-D __cdecl=__attribute__((__cdecl__))"