codice:
if (getchar () != '\n')
        while (getchar() != '\n');
Ragiona, e` superfluo.