Rule M5-19-1 (required, implementation, automated)

Evaluation of constant unsigned integer expressions shall not lead to wrap-around. See MISRA C++ 2008 [7] Note: Obligation level changed Note: This rule applies to bit-fields, too.