Usualmente limpio el búfer de stdin con este código:
while(getchar() != '\n');
Pero la mayoría me dicen que es más recomendable hacerlo así:
while((ch = getchar()) != '\n' && ch != EOF);
¿Por qué agregan el ch != EOF? Eso es lo que no logro entender. ¿Qué consecuencias traería la forma como la hago yo?