Why does Polyspace mark an include as useless when it is clearly being used by the code?
조회 수: 7 (최근 30일)
이전 댓글 표시
Polyspace is marking some includes as useless when they are clearly being used in the file.
In my case an implemenation .c file has only 1 include, the coresponding header file, being marked as useless.
Is Polyspace sensitive to code optimization?
댓글 수: 1
Subhajyoti Halder
2023년 7월 5일
Hi Rise,
If possible, share the reproduction steps for your issue. That would be helpful in understanding your problem.
답변 (1개)
Christian Bard
2023년 7월 17일
I assume that you are speaking about BF defect which checks for useless include files in a source code. To answer your question, Polyspace is not senstive to code optimization, especially with such kind of defect.
Would you please contact Technical Support to share the reproduction steps for your issue. As, Subhajyoti Halder said, It would be helpful in understanding your problem.
댓글 수: 0
참고 항목
카테고리
Help Center 및 File Exchange에서 Run Settings에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!