修复与 GNU 编译器相关的 Polyspace 编译错误

如果您为编译器 (-compiler) 选项选择 gnu，则可能会遇到此问题。

问题

Polyspace® 分析因编译错误而停止。

原因

您正在使用 Polyspace 不支持的某些特定于编译器的高级扩展。请参阅限制。

解决方案

为了更轻松地移植代码，请避免使用这些扩展。

如果您要使用这些扩展并仍然分析代码，请将不支持的扩展包装在预处理器指令中。例如：

#ifdef POLYSPACE
    // Supported syntax
#else
    // Unsupported syntax
#endif
对于常规编译，请不要定义宏 POLYSPACE。对于 Polyspace 分析，请为预处理器定义 (-D) 选项输入 POLYSPACE。

如果编译错误与汇编语言代码有关，请使用 -asm-begin -asm-end 选项。