Troubleshoot Compilation Errors

Compilation and linking errors when running a Polyspace^® Code Prover™ analysis

Troubleshoot these compilation and linking issues that arise when running a Polyspace Code Prover analysis:

Compilation errors caused by missing source files, missing prototypes, or incorrect class implementation
Compiler specific compilation issues
Linking errors causes by issues such as declaration mismatch or missing header files

Troubleshooting

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.
Fix Polyspace Compilation Errors Related to GNU Compiler
Diagnose compilation errors associated with a GNU^® compiler.
Fix Polyspace Compilation Errors Related to Keil or IAR Compiler
Diagnose why Polyspace cannot find an identifier when you specify the Keil or IAR compiler.
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 in extern "C" blocks.
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.