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

C0499, C2790, C2791, C2792, C2793

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

CWARNMISRA.NOEFFECTSHIFT.OUTOFRANGENUMRANGE.OVERFLOW2012

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