#include main() { int c ; while ((c = getchar()) != EOF) { int isEOF = (c==EOF); printf(\"is %c EOF: %d \", c, isEOF);
This should work...
int c ; while (((c=getchar())^EOF)) printf("is %c EOF: %d ", c, c^EOF?0:1);