Troubleshoot Compilation Errors

Undefined identifier, unknown function prototype, conflicting declarations, and so on

Troubleshoot compilation and linking errors during a Polyspace^® analysis, including:

Troubleshoot compiler specific issues when using compilers such as IAR, Diab, or Tasking.

Troubleshooting

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.
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 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.
Fix Polyspace Compilation Errors Related to GNU Compiler
Diagnose compilation errors associated with a GNU^® compiler.
Fix Polyspace Compilation Errors Related to Visual Compilers
Diagnose compilation errors associated with a Visual^® compiler.

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 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.