AutosarC++17_10-M5.19.1

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

Required inputs: IR

Note

For legal reasons, this rule’s description is not part of the public documentation.