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

3 次查看（过去 30 天）
Wojciech
Wojciech 2023-11-22
评论： Wojciech 2023-11-28
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?

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

采纳的回答

Anirban
Anirban 2023-11-27
What compiler are you using for actual compilation? Just trying to see why you picked -compiler keil for the Polyspace analysis.
  1 个评论
Wojciech
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.

请先登录，再进行评论。

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Target and Compiler 的更多信息

标签

产品


版本

R2021a

Community Treasure Hunt

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

Start Hunting!

Translated by