>>826
int c; にしなさい。
んで、途中に EOF があることはない。
なぜなら getchar() の戻り値は int 型であり、0〜255 または EOF のどれかで、全部で２５７通りあるから（charが処理系依存つう話は突っ込まないで頂戴）。
EOF は一般的には -1 になってたりする。