Why does Polyspace mark an include as useless when it is clearly being used by the code?

11 次查看（过去 30 天）

显示更早的评论

rise 2023-6-29

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1989933-why-does-polyspace-mark-an-include-as-useless-when-it-is-clearly-being-used-by-the-code

评论： Chao 2024-7-26

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?

2 个评论
显示无隐藏无

Subhajyoti Halder 2023-7-5

Hi Rise,

If possible, share the reproduction steps for your issue. That would be helpful in understanding your problem.

Chao 2024-7-26

I'm having the same problem, can you tell me what to do about it?

请先登录，再进行评论。

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

回答（1 个）

Christian Bard 2023-7-17

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1989933-why-does-polyspace-mark-an-include-as-useless-when-it-is-clearly-being-used-by-the-code#answer_1274243

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.