このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
ARM v5 コンパイラ (-compiler armcc)
ARM v5 コンパイラの指定
説明
ARM v5 コンパイラを使用してコードをコンパイルする場合は、[コンパイラ] (-compiler) オプションに [armcc] を指定します。コンパイラを指定することによって、規格に含まれていなくても言語拡張に含まれている構文によるコンパイル エラーを回避できます。
次に、ターゲット プロセッサ タイプを指定します。[コンパイラ] に [armcc] を選択すると、Polyspace® デスクトップ製品のユーザー インターフェイスには、ARM v5 コンパイラで許容されるプロセッサのみが表示されます。選択するターゲット プロセッサに応じて、基本的なデータ型のサイズ、ターゲット マシンのエンディアンおよび特定のキーワード定義が決まります。
[armcc] コンパイラを指定する場合は、コンパイラ ヘッダー ファイルへのパスを指定しなければなりません。Polyspace 解析への標準ライブラリ ヘッダーの指定を参照してください。
設定
ターゲットでは、基本的な型に対して以下のビット サイズが既定で使用されます。Polyspace デスクトップ製品のユーザー インターフェイスには、これらのサイズが表示されません。
| ターゲット | char | short | int | long | long long | float | double | long double | ptr | char の既定の符号 | エンディアン | アライメント | size_t の定義 | wchar_t の定義 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
arm | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | 符号なし | リトル | 64 | 符号なし int 型 | 符号なし short 型 |
コンパイラの仕様では、多くのコンパイラ固有のマクロの値も決定されます。Polyspace で特定のマクロがどのように定義されるかを確認するには、オプション -dump-preprocessing-info を使用します。
マクロ定義をオーバーライドするには、オプション
[プリプロセッサ定義] (-D)を使用します。マクロの定義を解除するには、オプション
[無効なプリプロセッサ定義] (-U)を使用します。
コマンド ライン情報
パラメーター: -compiler armcc -target |
値: arm |
既定値: arm |
例 (Bug Finder): polyspace-bug-finder -compiler armcc -target arm |
例 (Code Prover): polyspace-code-prover -compiler armcc -target arm |
例 (Bug Finder Server): polyspace-bug-finder-server -compiler armcc -target arm |
例 (Code Prover Server): polyspace-code-prover-server -compiler armcc -target arm |
ヒント
IDE で Polyspace as You Code の拡張機能を使用する場合は、このオプションを解析オプション ファイルに入力します。オプション ファイルを参照してください。
バージョン履歴
R2019a で導入
