AUTOSAR C++14 Rule M5-19-1

Evaluation of constant unsigned integer expressions shall not lead to wrap-around

Description

Rule Definition

Evaluation of constant unsigned integer expressions shall not lead to wrap-around.

Troubleshooting

If you expect a rule violation but Polyspace^® does not report it, see Diagnose Why Coding Standard Violations Do Not Appear as Expected.

Check Information

Group: Expressions

Category: Required, Automated

Version History

Introduced in R2019a