Main Content

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

Specify Intel C++ Compiler Classic (icc/icl)

Since R2022b

Description

Specify intel for the Compiler (-compiler) option if you compile your code with an Intel C++ Compiler Classic (icc/icl) compiler. By specifying your compiler, you can avoid compilation errors from syntax that is not part of the Standard but comes from language extensions.

Then, specify your target processor type. If you select intel for Compiler, in the user interface, you see only the processors allowed for a Intel C++ Compiler Classic (icc/icl) compiler. Your choice of target processor determines the size of fundamental data types, the endianness of the target machine, and certain keyword definitions.

If you specify the intel compiler, you must specify the path to your compiler header files. See Provide Standard Library Headers for Polyspace Analysis.

Settings

The targets use these default sizes in bits for the fundamental types. You do not see these sizes in the user interface.

Targetcharshortintlonglong longfloatdoublelong doubleptrDefault sign of charEndiannessAlignmentDefinition of size_tDefinition of wchar_t
x86_6481632326432646464signedLittle64unsigned long longunsigned short

Command-Line Information

Parameter: -compiler intel -target
Value: x86_64
Default: x86_64
Example (Bug Finder): polyspace-bug-finder -compiler intel -target x86_64
Example (Code Prover): polyspace-code-prover -compiler intel -target x86_64
Example (Bug Finder Server): polyspace-bug-finder-server -compiler intel -target x86_64
Example (Code Prover Server): polyspace-code-prover-server -compiler intel -target x86_64

Version History

Introduced in R2022b

See Also

|

Topics