Polyspace compilation fails when it should give only a warning. How to suppress it?

Question

Wojciech 2023-11-22

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2050602-polyspace-compilation-fails-when-it-should-give-only-a-warning-how-to-suppress-it

评论： Wojciech 2023-11-28

采纳的回答： Anirban

I want to fix discrepancies between Poly Bug Finder and compiler used for actual program.

My options are:

-lang C

-compiler keil

-target powerpc

-c-version c99

Polyspace compilation failed on error: a void function may not return a value.

By C99 standard this is only a constraint, so it should throw only a warning, which the compiler does. Interestingly, compiler also throws hundreds of other warnings, but they don't faze Polyspace compilation and it succeeds with them.

Is there a way to suppress errors like this when compiling in Polyspace?

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

Answer 1

Anirban 2023-11-27

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2050602-polyspace-compilation-fails-when-it-should-give-only-a-warning-how-to-suppress-it#answer_1360872

What compiler are you using for actual compilation? Just trying to see why you picked -compiler keil for the Polyspace analysis.

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Wojciech 2023-11-28

Thank you, your hunch was correct. I'm using Arm Compiler 6 and mistakenly thought it's a part of Keil compilers. I've changed it to armclang (and target to appropriate one) and can see no discrepancies now.

请先登录，再进行评论。