Rule M5-8-1 (required, implementation, partially automated)

The right hand operand of a shift operator shall lie between zero and one less than the width in bits of the underlying type of the left hand operand. See MISRA C++ 2008 [7]