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, incorrect analysis options, or incorrect class implementation
Compiler specific compilation issues
Linking errors causes by issues such as declaration mismatch or missing header files

Troubleshooting

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.
Fix Polyspace Compilation Errors Related to #error Directive
Diagnose why the #error directive in your code is triggered during Polyspace compilation.
Fix Polyspace Compilation Errors About Large Objects
Diagnose why large objects cause compilation failures.
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 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.
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 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.

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