Polyspace 2018b boolean related 10.3 violation, is it a false positive ?

3 次查看(过去 30 天)
The below code with same configuration settings does not give 10.3 violation in Polyspace 2016b but gives 10.3 in polyspace 2018b:
(Note: The below code is a simplified version of Auto generated code)
typedef unsigned char boolean;
#define True 1U
#define False 0U
void main()
{ boolean a,b;
a = True; /* 10.3 violation only in 2018b */
b = False; /* 10.3 violation only in 2018b */
}

采纳的回答

Anirban
Anirban 2020-6-12
Hi,
This is a bug that has been fixed in R2019b. You can upgrade to the later release or if you continue to use R2018b, justify those specific results coming from 10.3 violations on boolean typedef-s (set the status of those results to No action planned and add a comment explaining the issue). You can select multiple results in the Polyspace UI and add the same status and comment to them.
PS: In future, if you ask questions, can you also set the Product attribute in those questions? I noticed that a previous question of yours was not answered. If you set the Product attribute, there are greater chances of the question being noted.
  3 个评论
Anirban
Anirban 2020-6-14
Typically, bugs are recorded in External Bug Reports here: https://www.mathworks.com/support/bugreports/ .
But I could not find an External Bug Report about this specific issue. If you contact MathWorks Technical Support, they might be able to help you better.

请先登录,再进行评论。

更多回答(0 个)

Community Treasure Hunt

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

Start Hunting!

Translated by