sur la faq du C je trouve ça
Comment vider le buffer clavier ? [haut]

auteurs :Haypo, LFE, Emmanuel Delahaye, gl
La méthode la plus sûre pour vider le buffer clavier consiste à consommer tout les caractères présents dans ce buffer jusqu'à ce qu'il soit vide :
#include <stdio.h>

int c;
while ((c = getchar()) != '\n' && c != EOF); /* mange le tampon */

je ne comprend pas très bien que vas faire cette fonction, ce qui me surprend c'est le ; après le while sans instruction.