Проект создается из сборки 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__))"