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