In effetti la fflush() è dedicata solo a stream su file.
Io non la userei con lo stdin, anche se di solito funziona.