Polyspace Orange Scalar Overflow error

5 次查看（过去 30 天）

显示更早的评论

Dinesh Kumar 2024-8-12

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2144654-polyspace-orange-scalar-overflow-error

回答： Akshat Dalal 2024-10-26，7:24

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 ?

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

DGM 2024-8-12

Duplicate:

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

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Akshat Dalal 2024-10-26，7:24

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2144654-polyspace-orange-scalar-overflow-error#answer_1537355

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

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

类别

Code Verification Polyspace Code Prover Review Analysis Results Complete List of Polyspace Code Prover Results Run-Time Checks Data Flow Checks

Verification, Validation, and Test Polyspace Code Prover Review Analysis Results Complete List of Polyspace Code Prover Results Run-Time Checks Data Flow Checks

在 Help Center 和 File Exchange 中查找有关 Data Flow Checks 的更多信息

标签

产品

Polyspace Code Prover

版本

R2020b

Community Treasure Hunt

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

Translated by