Polyspace Orange Scalar Overflow error

Attached the snippet of the scalar orange overflow error reported by polyspace in the project we are working with

how to overcome this orange error as we are sure the reported operation is within sint16 data type result ?

[DGM]

Duplicate:

https://www.mathworks.com/matlabcentral/answers/2144664-how-to-fix-polyspace-codeprover-orange-warnings-due-to-operator

Answer 1

[Akshat Dalal]

Hi Dinesh,

If you're confident that the orange check is incorrect, you may justify the orange check or add the code annotation to suppress the warning.

Please follow the below documentation to read about how to apply the justification in Polyspace to suppress warnings:

https://www.mathworks.com/help/bugfinder/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html