Texas Instruments® 编译器 (-compiler ti)
指定 Texas Instruments 编译器
描述
如果您使用 Texas Instruments 编译器编译您的代码，请为编译器 (-compiler) 选项指定 ti。当您使用的语法不是标准语法，而是来自语言扩展时，通过指定您的编译器，可以避免此类语法导致编译错误。
然后，指定您的目标处理器类型。如果您为编译器选择了 ti，则在 Polyspace® 桌面端产品的用户界面中，您只能看到 Texas Instruments 编译器允许的处理器。您选择的目标处理器决定了基础数据类型的大小、目标计算机的端序，以及特定的关键字定义。
如果您指定 ti 编译器，则必须指定您的编译器头文件的路径。请参阅为 Polyspace 分析提供标准库头文件。
设置
对于各个基础类型，目标使用以下默认大小（以位为单位）。您在 Polyspace 桌面端产品的用户界面中看不到这些大小。
| 目标 | char | short | int | long | long long | float | double | long double | ptr | char 默认符号 | 端序 | 对齐 | size_t 的定义 | wchar_t 的定义 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| c28x | 16 | 16 | 16 | 32 | 64 | 32 | 32 | 64 | 32 | 有符号 | Little | 32 | unsigned long | unsigned int |
| c6000 | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | 有符号 | Little | 64 | unsigned int | unsigned short |
| arm | 8 | 16 | 32 | 32 | 64 | 32 | 64 | 64 | 32 | 无符号 | Big | 64 | unsigned int | unsigned short |
| msp430 | 8 | 16 | 16 | 32 | 64 | 32 | 64 | 64 | 16 | 无符号 | Little | 16 | unsigned int | unsigned int |
您的编译器设定还决定了许多编译器特定的宏的值。如果要了解 Polyspace 如何定义特定宏，请使用 -dump-preprocessing-info 选项。
要覆盖宏定义，请使用
预处理器定义 (-D)选项。要取消定义某个宏，请使用
已禁用的预处理器定义 (-U)选项。
提示
Polyspace 不支持某些特定于 Texas Instruments 编译器的构造。
有关不支持的构造的列表，请参阅 polyspaceroot\polyspace\verifier\code_prover_desktopcodeprover_limitations.pdf。其中，polyspacerootC:\Program Files\Polyspace\R2019a。
如果您使用 IDE 中的 Polyspace as You Code 扩展，请在分析选项文件中输入此选项。请参阅选项文件。
命令行信息
参数：-compiler ti -target |
值：c28x | c6000 | arm | msp430 |
默认值：c28x |
示例 (Bug Finder)：polyspace-bug-finder -compiler ti -target msp430 |
示例 (Code Prover)：polyspace-code-prover -compiler ti -target msp430 |
示例 (Bug Finder Server)：polyspace-bug-finder-server -compiler ti -target msp430 |
示例 (Code Prover Server)：polyspace-code-prover-server -compiler ti -target msp430 |
版本历史记录
在 R2018a 中推出
