Main Content

ARM v5 Compiler (-compiler armcc)

Specify ARM v5 compiler

Description

Specify armcc for the Compiler (-compiler) option if you compile your code with a ARM v5 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 armcc for Compiler, in the user interface of the Polyspace® desktop products, you see only the processors allowed for a ARM v5 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 armcc 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 of the Polyspace desktop products.

Targetcharshortintlonglong longfloatdoublelong doubleptrDefault sign of charEndiannessAlignmentDefinition of size_tDefinition of wchar_t
arm81632326432646432unsignedLittle64unsigned intunsigned short

Your compiler specification also determines the values of many compiler-specific macros. In case you want to know how Polyspace defines a specific macro, use the option -dump-preprocessing-info.

Command-Line Information

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

Tips

If you use Polyspace as You Code extensions in IDEs, enter this option in an analysis options file. See options file.

Version History

Introduced in R2019a

See Also

|

Topics