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.)

C: 0499, 2790, 2791, 2792, 2793

C++: 2791, 2792, 2793, 3003, 3321, 3322

51 S, 403 S, 479 S

Partially implemented

Avoid incorrect shift operations

CERT C: Rule INT34-C

Checks for:

• Shift of a negative value
• Shift operation overflow

Rule 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).