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

未定義の識別子、不明な関数プロトタイプ、競合する宣言など

Polyspace^® 解析時の以下のようなコンパイルおよびリンクのエラーをトラブルシューティングします。

IAR、Diab、Tasking などのコンパイラを使用する際に発生するコンパイラ特有の問題をトラブルシューティングします。

トラブルシューティング

Polyspace 解析が停止したときのエラー情報の表示

解析が完了しないときは、ユーザーインターフェイスまたはログファイルでのエラーメッセージをチェックする。

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

クラス内での初期化のエラーに関する Polyspace コンパイルエラーの修正 (C++)
クラスの静的データメンバーをクラス定義内で初期化できない原因を学ぶ。
GNU コンパイラに関連する Polyspace コンパイルエラーの修正
GNU^® コンパイラに関連するコンパイルエラーを診断する。
Visual コンパイラに関連する Polyspace コンパイルエラーの修正
Visual^® コンパイラに関連するコンパイルエラーを診断する。

Polyspace ヘッダーファイルの使用によるエラーの修正
一部のエラーメッセージで Polyspace インストール内のヘッダーが示される理由、およびそのようなエラーの回避方法を学ぶ。
接頭辞なしの名前空間 std に関する Polyspace コンパイルエラーの修正
std:: 範囲を明示的に指定せずに std 名前空間のメンバーを使用すると発生するエラーを回避する。
アサーションまたはメモリ割り当て関数に関連する Polyspace コンパイル警告の修正
検証でアサーションまたはメモリ割り当て関数の再定義が破棄される原因を学ぶ。

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