Failed compilation in Polyspace using R2022b

16 次查看（过去 30 天）
Suman
Suman 2023-5-23
评论： Praveen Nerji 2024-9-2
Hello All,
Great Day.
I am working on static code analysis using Polyspace R2022b to check the MISRA C:2012 coding standards.
While running the "Run Code Prover" for BugFinder report, it is showing some warnings and error messages like below:
  1. Some errors related to identifier XYZ is undefined
  2. some source files are not compilng (ie. Failed compilation)
  3. some showing could not find inlcude file "abc/xyz.h"
After generation of "Polyspace Code Verification Developer Report" for the project, I can see the source files which are having comilation errors.
No clue to solve this issue. It would be helpful if i get info to solve the issue and get the report succesfully.
Configurationn setting info:
Source ocde language: C
Compiler: greenhils
Target: arm
You can also find the screenshor regarding the compilation error and "files with compilation errors" in Generated report
Thank you in advance..
  1 个评论
Praveen Nerji
Praveen Nerji 2024-9-2
Hi,
I am also getting similar error:
Configurationn setting info:
Source ocde language: C
Compiler: greenhils
Target: arm
Please support

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Anirban
Anirban 2023-5-23
Errors such as this indicate that perhaps the project is not set up correctly. In particular, all the include folders have not been specified.
You can find some troubleshooting for the Undefined Identifier error in the documentation. In general, manually setting up the project can take some time. If you have working build command, you can use polyspace-configure to create a project from your build command and add all the right include folders automatically.
For more help with project setup, you can contact Technical Support. For more information on what Technical Support might need from you for diagnosing the problem, see Contact Technical Support.

类别

在 Help Center 和 File Exchange 中查找有关 Test Execution in Polyspace Platform User Interface 的更多信息

标签

产品


版本

R2022b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by