Even after following MISRA Guidelines and Model adviser ran with zero errors POLYSPACE is throwing MISRA C 2012 violations

1 回表示 (過去 30 日間)
Mukund
Mukund 2025 年 1 月 17 日
コメント済み: Walter Roberson 2025 年 1 月 21 日
  2 件のコメント
Walter Roberson
Walter Roberson 2025 年 1 月 17 日
u8_retriesCounter hints that you are working with an 8 bit unsigned value. In C when you add 1 to the maximum 8 bit unsigned value, the value overflows back to 0 rather than saturating.
I am not currently convinced that qY is anything other than 8 bit unsigned; if so then it cannot be greater than 255.
Walter Roberson
Walter Roberson 2025 年 1 月 21 日
Better code would be
if SMIT_EHL_LITE_b_DW.u8_retriesCounter >= 254U
qy = 255U;
else
qy = SMIT_EHL_LITE_b_DW.u8_retriesCounter + 1U;
end

サインインしてコメントする。

サインインしてこの質問に回答する。

回答 (0 件)

カテゴリ

Help Center および File Exchange で MISRA C:2012 Directives and Rules についてさらに検索

タグ

Community Treasure Hunt

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

Start Hunting!

Translated by