AutosarC++18_10-M5.8.1¶
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
Required inputs: IR
Note
For legal reasons, this rule’s description is not part of the public documentation.