解决编译错误
未定义的标识符、未知的函数原型、冲突的声明等
对 Polyspace® 分析过程中的编译和链接错误进行故障排除,包括:
未定义的标识符
未知的函数原型
对象过大
缺失头文件或命名空间
对使用编译器(如 IAR、Diab 或 Tasking)时的编译器特定问题进行故障排除。
疑难解答
编译错误:常规
- View Compilation Errors When Running Polyspace Static Analysis
Check error messages in the user interface or log file when analysis does not complete. - Fix Polyspace Compilation Errors About Undefined Identifiers
Diagnose why Polyspace cannot find an identifier definition. - Fix Polyspace Compilation Errors About Unknown Function Prototype
Diagnose why Polyspace cannot find a function prototype. - 修复与 #error 指令相关的 Polyspace 编译错误
诊断代码中#error指令在 Polyspace 编译过程中被触发的原因。 - Fix Polyspace Compilation Errors About Large Objects
Diagnose why large objects cause compilation failures. - 修复有关类内初始化的 Polyspace 编译错误 (C++)
了解为何类的静态数据成员无法在类定义内部进行初始化。 - Fix C++ Compilation Errors Related to Standard or Boost Header Files
Diagnose compilation errors associated with C++ standard header files or boost header files.
编译错误:特定于编译器的错误
- Fix Polyspace Compilation Errors Related to Generic Compiler
Diagnose Polyspace compilation errors after you specify the generic compiler. - 修复与 GNU 编译器相关的 Polyspace 编译错误
诊断与 GNU® 编译器相关的编译错误。 - Fix Polyspace Compilation Errors Related to Visual Compilers
Diagnose compilation errors associated with a Visual® 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.
链接错误
- 修复使用 Polyspace 头文件导致的错误
了解为什么某些错误消息会引用 Polyspace 安装中的头信息,以及如何解决这些错误。 - Fix Polyspace Compilation Errors About Namespace std Without Prefix
Work around errors from using members of thestdnamespace without explicitly specifying thestd::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.