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