解决编译错误

未定义的标识符、未知的函数原型、冲突的声明，等等

对 Polyspace^® 分析过程中的编译和链接错误进行故障排除，包括：

对使用编译器（如 IAR、Diab 或 Tasking）时的编译器特定问题进行故障排除。

疑难解答

View Error Information When Polyspace Analysis Stops

Check error messages in the user interface or log file when analysis does not complete.

Fix Polyspace Compilation Errors Related to Generic Compiler
Diagnose Polyspace compilation errors after you specify the generic compiler.
修复与 Keil 或 IAR 编译器相关的 Polyspace 编译错误
诊断为什么在指定 Keil 或 IAR 编译器时，Polyspace 找不到标识符。
Fix Polyspace Compilation Errors Related to Diab Compiler
Diagnose Polyspace compilation errors after you specify the Diab compiler.
Fix Polyspace Compilation Errors Related to Green Hills Compiler
Diagnose Polyspace compilation errors after you specify the Green Hills^® compiler.
Fix Polyspace Compilation Errors Related to TASKING Compiler
Diagnose Polyspace compilation errors after you specify the TASKING compiler.
Fix Polyspace Compilation Errors Related to Texas Instruments Compilers
Troubleshoot Polyspace compilation errors after you specify the TI compiler.

Fix Polyspace Compilation Errors About In-Class Initialization (C++)
Learn why static data members of a class cannot be initialized inside the class definition.
修复与 GNU 编译器相关的 Polyspace 编译错误
诊断与 GNU^® 编译器相关的编译错误。
Fix Polyspace Compilation Errors Related to Visual Compilers
Diagnose compilation errors associated with a Visual^® compiler.

修复使用 Polyspace 头文件导致的错误
了解为什么某些错误消息会引用 Polyspace 安装中的头信息，以及如何解决这些错误。
Fix Polyspace Compilation Errors About Namespace std Without Prefix
Work around errors from using members of the std namespace without explicitly specifying the std:: scope.
Fix Polyspace Compilation Warnings Related to Assertion or Memory Allocation Functions
Learn why the verification discards your redefinition of assertion or memory allocation functions.

Contact Technical Support About Issues with Running Polyspace
Learn what MathWorks^® Technical Support needs from you to diagnose an issue.