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

shiftNegative, shiftTooManyBits

premium-cert-int34-c

C0499, C2790, 

C++2790,  C++3003

DF2791, DF2792, DF2793

MISRA.SHIFT.RANGE.2012

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

Shift operator on negative value

Overflow from shifting operation

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

Rule partially covered.

precision-shift-width-constant

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