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__))"