Создание проекта Поиска и устранения проблем от сборки MinGW

Проблема

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