Main Content

Cosmic Compiler (-compiler cosmic)

Specify Cosmic compiler

Description

Specify cosmic for the Compiler (-compiler) option if you compile your code with a Cosmic 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 cosmic for Compiler, in the user interface, you see only the processors allowed for a Cosmic 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 cosmic compiler, you must specify the path to your compiler header files. See Provide Standard Library Headers for Polyspace Analysis.

Settings

The target uses 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
s12z81616326432646424UnsignedLittle8unsigned 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 cosmic -target
Value: s12z
Default: s12z
Example (Bug Finder): polyspace-bug-finder -compiler cosmic -target s12z
Example (Code Prover): polyspace-code-prover -compiler cosmic -target s12z
Example (Bug Finder Server): polyspace-bug-finder-server -compiler cosmic -target s12z
Example (Code Prover Server): polyspace-code-prover-server -compiler cosmic -target s12z

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 R2019b

See Also

|

Topics