MPLAB XC8 C 编译器 (-compiler microchip)

指定 MPLAB XC8 C 编译器

描述

如果您使用 MPLAB XC8 C 编译器编译您的代码，请为编译器 (-compiler) 选项指定 microchip。当您使用的语法不是标准语法，而是来自语言扩展时，通过指定您的编译器，可以避免此类语法导致编译错误。

然后，指定您的目标处理器类型。如果您为编译器选择了 microchip，则在用户界面中您只能看到 MPLAB XC8 C 编译器允许的处理器。您选择的目标处理器决定了基础数据类型的大小、目标计算机的端序，以及特定的关键字定义。

如果您指定 microchip 编译器，则必须指定您的编译器头文件的路径。请参阅为 Polyspace 分析提供标准库头文件。

设置

对于各个基础类型，目标将使用以下默认大小（以位为单位）。您在用户界面中看不到这些大小。

目标charshortintlonglong longfloatdoublelong doubleptrchar 默认符号端序对齐size_t 的定义wchar_t 的定义
pic81616326432323216无符号Little8unsigned intlong

您的编译器设定还决定了许多编译器特定的宏的值。如果要了解 Polyspace® 如何定义特定宏，请使用 -dump-preprocessing-info 选项。

提示

  • Polyspace 不支持 Atmel 系列的处理器，例如 AVR、TinyAVR、MegaAVR、XMEGA 和 SAM32。

  • Polyspace 不支持 CPP/P1 或 C18 Microchip 前端。使用标准库的 C90 版本来编译代码时，编译器会激活此前端。

  • 如果您使用 IDE 中的 Polyspace as You Code 扩展，请在分析选项文件中输入此选项。请参阅选项文件。

命令行信息

参数：-compiler microchip -target
值：pic
默认值：pic
示例 (Bug Finder)：polyspace-bug-finder -compiler microchip -target pic
示例 (Code Prover)：polyspace-code-prover -compiler microchip -target pic
示例 (Bug Finder Server)：polyspace-bug-finder-server -compiler microchip -target pic
示例 (Code Prover Server)：polyspace-code-prover-server -compiler microchip -target pic

版本历史记录

在 R2020a 中推出

另请参阅

|

主题