Page History

precision-shift-width
precision-shift-width-constant

LANG.ARITH.BIGSHIFT
LANG.ARITH.NEGSHIFT

Shift amount exceeds bit width
Negative shift amount

Can detect violations of this rule. Unsigned operands are detected when checking for INT13-C. Use bitwise operators only on unsigned operands

BAD_SHIFT

Context sensitive analysis
Warns whenever Cppcheck sees a negative shift for a POD expression
(The warning for shifting too many bits is written only if Cppcheck has sufficient type information and you use --platform to specify the sizes of the standard types.)

51 S, 403 S, 479 S

Partially implemented

Invalid range of the right hand operand of a shift operator

CERT C: Rule INT34-C

Checks for:

• Shift of a negative value
• Shift operation overflow

Shift operator on negative value

Overflow from shifting operationRule partially covered.

0499, 2790 [C], 2791 [D],
2792 [A], 2793 [S]

precision-shift-width-constant

Exhaustively verified (see one compliant and one non-compliant example).