Page History

conversion_overflow

essential-type-assign

eof-small-int-comparison

CHAR_IO

Identifies defects when the return value of fgetc(), getc(), or getchar() is incorrectly assigned to a char instead of an int. Coverity Prevent cannot discover all violations of this rule, so further verification is necessary

premium-cert-fio34-c

CC2.FIO34

Partially implemented

C2676, C2678

C++2676, C++2678, C++3001, C++3010, C++3051, C++3137, C++3717

CERT_C-FIO34-a

The macro EOF should be compared with the unmodified return value from the Standard Library function

Polyspace Bug Finder

CERT C: Rule FIO34-C

Checks for character values absorbed into EOF (rule partially covered)

eof-small-

int-

comparison