メインコンテンツ

MinGW ビルドからのプロジェクト作成時のトラブルシューティング

問題

MinGW ビルドからプロジェクトを作成すると、プロジェクトに解析を実行する際にエラーが発生します。エラー メッセージは、キーワード __declspec__cdecl__fastcall__thiscall、または __stdcall のいずれかの使用が原因です。

原因

MinGW ビルドからプロジェクトを作成する際に、プロジェクトで GNU® コンパイラを使用します。Polyspace® では、GNU コンパイラ用のこれらのキーワードを認識しません。

解決法

解析目的のためだけに、これらのキーワードを等価なキーワードに置き換えます。

解析前に、オプション [プリプロセッサ定義] (-D) に以下を入力します。

  • __declspec(x)=__attribute__((x))

  • __cdecl=__attribute__((__cdecl__))

  • __fastcall=__attribute__((__fastcall__))

  • __thiscall=__attribute__((__thiscall__))

  • __stdcall=__attribute__((__stdcall__))

UNIX® シェルのコマンド ラインで Polyspace を実行している場合、-D オプションを二重引用符で囲みます。たとえば、次を使用します。

"-D __cdecl=__attribute__((__cdecl__))"