まぁ、fread(buffer, 1, 1, stdin)とかすれば戻り値からEOFが入力されないことがわかるな。