コンパイルエラーのトラブルシューティング

Polyspace^® Code Prover™ 解析の実行時のコンパイルおよびリンクのエラー

Polyspace Code Prover 解析の実行時に発生する以下のコンパイルおよびリンクの問題をトラブルシューティングします。

トラブルシューティング

Polyspace 解析が停止したときのエラー情報の表示
解析が完了しないときは、ユーザーインターフェイスまたはログファイルでのエラーメッセージをチェックする。
コンパイルおよびリンクのエラーのトラブルシューティング

コンパイラがビルドに成功しても Polyspace コンパイルが失敗する理由と、その失敗を回避する方法を学ぶ。

汎用コンパイラに関連する Polyspace コンパイルエラーの修正
汎用コンパイラを指定した後に Polyspace コンパイルエラーを診断する。
GNU コンパイラに関連する Polyspace コンパイルエラーの修正
GNU^® コンパイラに関連するコンパイルエラーを診断する。
Keil または IAR コンパイラに関連する Polyspace コンパイルエラーの修正
Keil コンパイラまたは IAR コンパイラを指定すると、Polyspace が識別子を見つけられない原因を診断する。
Diab コンパイラに関連する Polyspace コンパイルエラーの修正
Diab コンパイラを指定した後に Polyspace コンパイルエラーを診断する。
Green Hills コンパイラに関連する Polyspace コンパイルエラーの修正
Green Hills^® コンパイラを指定した後に Polyspace コンパイルエラーを診断する。
TASKING コンパイラに関連する Polyspace コンパイルエラーの修正
TASKING コンパイラを指定した後に Polyspace コンパイルエラーを診断する。
Visual コンパイラに関連する Polyspace コンパイルエラーの修正
Visual^® コンパイラに関連するコンパイルエラーを診断する。
Fix Polyspace Compilation Errors Related to Texas Instruments Compilers
Troubleshoot Polyspace compilation errors after you specify the TI compiler.

異なる翻訳単位での競合する宣言に関する Polyspace リンク作成エラーの修正
異なる単位で同じ変数または関数が異なって宣言されているインスタンスを探す。
Polyspace ヘッダーファイルの使用によるエラーの修正
一部のエラーメッセージで Polyspace インストール内のヘッダーが示される理由、およびそのようなエラーの回避方法を学ぶ。
extern "C" ブロックに関連する Polyspace リンク作成エラーの修正
extern "C" ブロックでの関数定義に関連するエラーを診断する。
接頭辞なしの名前空間 std に関する Polyspace コンパイルエラーの修正
std:: 範囲を明示的に指定せずに std 名前空間のメンバーを使用すると発生するエラーを回避する。
アサーションまたはメモリ割り当て関数に関連する Polyspace コンパイル警告の修正
検証でアサーションまたはメモリ割り当て関数の再定義が破棄される原因を学ぶ。

Polyspace 実行時の問題に関するテクニカルサポートへのお問い合わせ
MathWorks^® テクニカルサポートが問題を診断するために、どのような情報を必要とするかを学ぶ。