-compiler codewarrior)Specify NXP CodeWarrior compiler
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.
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.
| Target | char | short | int | long | long long | float | double | long double | ptr | Default sign of char | Endianness | Alignment | Definition of size_t | Definition of wchar_t |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
s12z | 8 | 16 | 16 | 32 | 32 | 32 | 32 | 32 | 24 | unsigned | Big | 8 | unsigned long | unsigned short |
powerpc | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | signed | Big | 64 | unsigned long | unsigned 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.
To override the macro definition, use the option Preprocessor definitions
(-D).
To undefine a macro, use the option Disabled preprocessor definitions
(-U).
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 |
If you use Polyspace as You Code extensions in IDEs, enter this option in an analysis options file. See options file.