Main Content

NXP CodeWarrior® Compiler (-compiler codewarrior)

Specify NXP CodeWarrior compiler

Description

Specify codewarrior for Compiler (-compiler) if you compile your code using a NXP CodeWarrior 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 codewarrior for Compiler, in the user interface of the Polyspace® desktop products, you see only the processors allowed for a NXP CodeWarrior 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 codewarrior compiler, you must specify the path to your compiler header files. See Provide Standard Library Headers for Polyspace Analysis.

Settings

The targets use the following 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
s12z81616323232323224unsignedBig8unsigned longunsigned short
powerpc81632326432646432signedBig64unsigned longunsigned 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 codewarrior -target
Value: s12z | powerpc
Default: s12z
Example (Bug Finder): polyspace-bug-finder -compiler codewarrior -target powerpc
Example (Code Prover): polyspace-code-prover -compiler codewarrior -target powerpc
Example (Bug Finder Server): polyspace-bug-finder-server -compiler codewarrior -target powerpc
Example (Code Prover Server): polyspace-code-prover-server -compiler codewarrior -target powerpc

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 R2018a

See Also

|

Topics