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

1 次查看(过去 30 天)
  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.

请先登录,再进行评论。

回答(0 个)

Community Treasure Hunt

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

Start Hunting!

Translated by