Intel^® C++ Compiler Classic (icc/icl) (-compiler intel)

Intel C++ Compiler Classic (icc/icl) の指定

R2022b 以降

説明

Intel C++ Compiler Classic (icc/icl) コンパイラを使用してコードをコンパイルする場合は、[コンパイラ] (-compiler) オプションに [intel] を指定します。コンパイラを指定することによって、規格に含まれていなくても言語拡張に含まれている構文によるコンパイル エラーを回避できます。

次に、ターゲット プロセッサ タイプを指定します。[コンパイラ] で [intel] を選択すると、ユーザー インターフェイスには、Intel C++ Compiler Classic (icc/icl) コンパイラで許容されるプロセッサのみが表示されます。選択するターゲット プロセッサに応じて、基本的なデータ型のサイズ、ターゲット マシンのエンディアンおよび特定のキーワード定義が決まります。

[intel] コンパイラを指定する場合は、コンパイラ ヘッダー ファイルへのパスを指定しなければなりません。Polyspace 解析への標準ライブラリ ヘッダーの指定を参照してください。

設定

ターゲットでは、基本的な型に対して以下のビット サイズが既定で使用されます。ユーザー インターフェイスには、これらのサイズが表示されません。

ターゲット	char	short	int	long	long long	float	double	long double	ptr	char の既定の符号	エンディアン	アライメント	size_t の定義	wchar_t の定義
x86_64	8	16	32	32	64	32	64	64	64	符号付き	リトル	64	符号なし long long 型	符号なし short 型

コマンド ライン情報

パラメーター: -compiler intel -target

値: x86_64

既定値: x86_64

例 (Bug Finder): polyspace-bug-finder -compiler intel -target x86_64

例 (Code Prover): polyspace-code-prover -compiler intel -target x86_64

例 (Bug Finder Server): polyspace-bug-finder-server -compiler intel -target x86_64

例 (Code Prover Server): polyspace-code-prover-server -compiler intel -target x86_64

バージョン履歴

R2022b で導入

参考

コンパイラ (-compiler) | ターゲット プロセッサ タイプ (-target)

トピック

• Polyspace 解析オプションの指定
• ターゲット環境とコンパイラの動作の指定