Intel® C++ 经典编译器(icc
/icl
)(-compiler intel
)
指定 Intel C++ 编译器经典版(icc
/icl
)
自 R2022b 起
描述
如果使用 Intel C++ 编译器经典版(icc
/icl
)编译代码,请为编译器 (-compiler)
选项指定 intel。当您使用的语法不是标准语法,而是来自语言扩展时,通过指定您的编译器,可以避免此类语法导致编译错误。
然后,指定您的目标处理器类型。如果为编译器选择 intel,则在用户界面中,您只会看到允许用于 Intel C++ 编译器经典版 (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 | signed | Little | 64 | unsigned long long | unsigned 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 中推出