コンパイル エラーのトラブルシューティング
Polyspace® Code Prover™ 解析の実行時のコンパイルおよびリンクのエラー
Polyspace Code Prover 解析の実行時に発生する以下のコンパイルおよびリンクの問題をトラブルシューティングします。
ソース ファイルの不足、解析オプションの誤り、不適切なクラス実装によって発生するコンパイル エラー
コンパイラ固有のコンパイルの問題
宣言の不一致やヘッダー ファイルの不足などの問題によって発生するリンク エラー
トラブルシューティング
一般的なコンパイル エラー
- View Compilation Errors When Running Polyspace Static Analysis
Check error messages in the user interface or log file when analysis does not complete. - Fix Polyspace Compilation Errors About Undefined Identifiers
Diagnose why Polyspace cannot find an identifier definition. - Fix Polyspace Compilation Errors About Unknown Function Prototype
Diagnose why Polyspace cannot find a function prototype. - Fix Polyspace Compilation Errors Related to #error Directive
Diagnose why the#errordirective in your code is triggered during Polyspace compilation. - 大きいオブジェクトに関する Polyspace コンパイル エラーの修正
大きいオブジェクトがコンパイルを失敗させる原因を診断する。 - クラス内での初期化のエラーに関する Polyspace コンパイル エラーの修正 (C++)
クラスの静的データ メンバーをクラス定義内で初期化できない原因を学ぶ。 - Fix C++ Compilation Errors Related to Standard or Boost Header Files
Diagnose compilation errors associated with C++ standard header files or boost header files.
コンパイラ固有のコンパイル エラー
- 汎用コンパイラに関連する Polyspace コンパイル エラーの修正
汎用コンパイラを指定した後に Polyspace コンパイル エラーを診断する。 - GNU コンパイラに関連する Polyspace コンパイル エラーの修正
GNU® コンパイラに関連するコンパイル エラーを診断する。 - Visual コンパイラに関連する Polyspace コンパイル エラーの修正
Visual® コンパイラに関連するコンパイル エラーを診断する。 - 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 コンパイルが失敗する理由と、その失敗を回避する方法を学ぶ。 - 異なる翻訳単位での競合する宣言に関する Polyspace リンク作成エラーの修正
異なる単位で同じ変数または関数が異なって宣言されているインスタンスを探す。 - Polyspace ヘッダー ファイルの使用によるエラーの修正
一部のエラー メッセージで Polyspace インストール内のヘッダーが示される理由、およびそのようなエラーの回避方法を学ぶ。 - extern "C" ブロックに関連する Polyspace リンク作成エラーの修正
extern "C"ブロックでの関数定義に関連するエラーを診断する。 - 接頭辞なしの名前空間 std に関する Polyspace コンパイル エラーの修正
std::範囲を明示的に指定せずにstd名前空間のメンバーを使用すると発生するエラーを回避する。 - アサーションまたはメモリ割り当て関数に関連する Polyspace コンパイル警告の修正
検証でアサーションまたはメモリ割り当て関数の再定義が破棄される原因を学ぶ。
テクニカル サポート
- Polyspace 実行時の問題に関するテクニカル サポートへのお問い合わせ
MathWorks® テクニカル サポートが問題を診断するために、どのような情報を必要とするかを学ぶ。
