Page History

Can detect violations of this recommendation. In particular, it flags any instance of a variable of type char (without a signed or unsigned qualifier) that appears in an arithmetic expression

ECLAIR

CC2.INT07

Fully implemented

93 S, 96 S, 101 S, 329 S, 432 S, 458 S

Fully implemented

CERT_C-INT07-a
CERT_C-INT07-b

The plain char type shall be used only for the storage and use of character values
signed and unsigned char type shall be used only for the storage and use of numeric values

Polyspace Bug Finder

Use of plain char type for numerical value

MISRA CERT C: 2012 Rule 10.1

MISRA C:2012 Rule 10.3

MISRA C:2012 Rule 10.4

Rec. INT07-C

Checks for use of plain char type for numeric value (rec. fully covered)

Plain char variable in arithmetic operation without explicit signedness

Operands shall not be of an inappropriate essential type

The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category

Both operands of an operator in which the usual arithmetic conversions are performed shall have the same essential type category

1292, 1293, 4401, 4421, 4431, 4441, 4451