AUTOSAR C++14 Rule M5-19-1

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

Description

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

PQL Name: std.autosar_cpp14.M5_19_1

Version History

Introduced in R2019a