Texas Instruments^® Compiler (`-compiler ti`)

Specify Texas Instruments compiler

Description

Specify ti for Compiler (-compiler) if you compile your code using a Texas Instruments 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 ti for Compiler, in the user interface of the Polyspace^® desktop products, you see only the processors allowed for a Texas Instruments 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 ti 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.

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
`c28x`	16	16	16	32	64	32	32	64	32	signed	Little	32	unsigned long	unsigned int
`c6000`	8	16	32	32	64	32	64	64	32	signed	Little	64	unsigned int	unsigned short
`arm`	8	16	32	32	64	32	64	64	32	unsigned	Big	64	unsigned int	unsigned short
`msp430`	8	16	16	32	64	32	64	64	16	unsigned	Little	16	unsigned int	unsigned int

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).

Tips

Polyspace does not support some constructs specific to the Texas Instruments compiler.

For the list of unsupported constructs, see codeprover_limitations.pdf in polyspaceroot\polyspace\verifier\code_prover_desktop. Here, polyspaceroot is the Polyspace installation folder, for instance, C:\Program Files\Polyspace\R2019a.

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

Command-Line Information

Parameter: -compiler ti -target

Value: c28x | c6000 | arm | msp430

Default: c28x

Example (Bug Finder):

polyspace-bug-finder -compiler ti -target
                msp430

Example (Code Prover):

polyspace-code-prover -compiler ti -target
                msp430

Example (Bug Finder Server): polyspace-bug-finder-server -compiler ti -target msp430

Example (Code Prover Server):

polyspace-code-prover-server
                    -compiler ti -target msp430

Version History

Introduced in R2018a

Texas Instruments^® Compiler (`-compiler ti`)

Description

Settings

Tips

Command-Line Information

Version History

See Also

Topics

Texas Instruments® Compiler (-compiler ti)

Description

Settings

Tips

Command-Line Information

Version History

See Also

Topics

Texas Instruments^® Compiler (`-compiler ti`)