主要内容

本页采用了机器翻译。点击此处可查看最新英文版本。

Intel® C++ 经典编译器(icc/icl)(-compiler intel)

指定 Intel C++ 编译器经典版(icc/icl

自 R2022b 起

描述

如果使用 Intel C++ 编译器经典版(icc/icl)编译代码,请为编译器 (-compiler) 选项指定 intel。当您使用的语法不是标准语法,而是来自语言扩展时,通过指定您的编译器,可以避免此类语法导致编译错误。

然后,指定您的目标处理器类型。如果为编译器选择 intel,则在用户界面中,您只会看到允许用于 Intel C++ 编译器经典版 (icc/icl) 的处理器。您选择的目标处理器决定了基础数据类型的大小、目标计算机的端序,以及特定的关键字定义。

如果指定了 intel 编译器,则必须指定编译器头文件的路径。请参阅为 Polyspace 分析提供标准库头文件

设置

对于各个基础类型,目标使用以下默认大小(以位为单位)。您在用户界面中看不到这些大小。

目标charshortintlonglong longfloatdoublelong doubleptrchar 默认符号端序对齐size_t 的定义wchar_t 的定义
x86_6481632326432646464signedLittle64unsigned long longunsigned 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 中推出