Failed compilation in Polyspace using R2022b
조회 수: 16 (최근 30일)
이전 댓글 표시
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:
- Some errors related to identifier XYZ is undefined
- some source files are not compilng (ie. Failed compilation)
- 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
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1390874/image.png)
You can also find the screenshor regarding the compilation error and "files with compilation errors" in Generated report
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1390879/image.png)
Thank you in advance..
댓글 수: 0
답변 (1개)
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.
댓글 수: 0
참고 항목
카테고리
Help Center 및 File Exchange에서 Generate Report에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!