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

Rule partially covered.

0499
2790
2791 (D)
2792 (A)
2793 (S)

precision-shift-width-constant

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