解决编译错误
运行 Polyspace® Code Prover™ 分析时的编译和链接错误
解决运行 Polyspace Code Prover 分析时出现的以下编译和链接问题：
由于缺少源文件、缺少原型或者类实现不正确而导致的编译错误
特定于编译器的编译错误
声明不匹配或缺少头文件等问题而导致的链接错误
疑难解答
一般性编译错误
- View Error Information When Polyspace Analysis Stops
Check error messages in the user interface or log file when analysis does not complete. - Troubleshoot Compilation and Linking Errors
Learn why Polyspace compilation can fail even if your compiler build succeeds and how to work around the failures.
特定于编译器的编译错误
- Fix Polyspace Compilation Errors Related to Generic Compiler
Diagnose Polyspace compilation errors after you specify the generic compiler. - 修复与 GNU 编译器相关的 Polyspace 编译错误
诊断与 GNU® 编译器相关的编译错误。 - 修复与 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 Visual Compilers
Diagnose compilation errors associated with a Visual® compiler. - Fix Polyspace Compilation Errors Related to Texas Instruments Compilers
Troubleshoot Polyspace compilation errors after you specify the TI compiler.
链接错误
- Fix Polyspace Linking Errors About Conflicting Declarations in Different Translation Units
Find instances where the same variable or function is declared differently in different units. - Fix Errors from Use of Polyspace Header Files
Learn why some error messages refer to headers in Polyspace installation and how to work around these errors. - Fix Polyspace Linking Errors Related to extern "C" Blocks
Diagnose errors associated with function declarations inextern "C"blocks. - 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.
