Polyspace compilation fails when it should give only a warning. How to suppress it?
7 views (last 30 days)
Show older comments
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 Comments
Accepted Answer
Anirban
on 27 Nov 2023
What compiler are you using for actual compilation? Just trying to see why you picked -compiler keil for the Polyspace analysis.
More Answers (0)
See Also
Categories
Find more on Run Settings in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!