work/bootstrap/gec17.c
static void rt_swallow_nl(FILE *f) {
		/* getc() cannot be used as it doesn't set the EOF flag */

	if (f != stdin) {
		if (fscanf (f, "\n") == EOF && ferror(f)) {
			eise_io ("FILE: error during reading the end of the file,");
		}
	} else {
		int c;

		errno = 0;
		c = getc(f);
		if (c == EOF && ferror(f))
			eise_io("FILE: error during reading the end of the file.");

		if (c != '\n' && EOF == ungetc(c, f))
			eise_io("FILE: End of file.");
	}
}
/*
 * Swallow next character if it is a new line.
 */
Swallow next character if it is a new line.
Swallow next character if it is a new line .
static void rt_swallow_nl(FILE *f) {
	if (f != stdin) {
		if (fscanf (f, "\n") == EOF && ferror(f)) {
			eise_io ("FILE: error during reading the end of the file,");
		}
	} else {
		int c;
		errno = 0;
		c = getc(f);
		if (c == EOF && ferror(f))
			eise_io("FILE: error during reading the end of the file.");
		if (c != '\n' && EOF == ungetc(c, f))
			eise_io("FILE: End of file.");
	}
}
static void rt_swallow_nl ( FILE * f ) { if ( f != stdin ) { if ( fscanf ( f , " \n " ) == EOF && ferror ( f ) ) { eise_io ( " " ) ; } } else { int c ; errno = 0 ; c = getc ( f ) ; if ( c == EOF && ferror ( f ) ) eise_io ( " " ) ; if ( c != ' \n ' && EOF == ungetc ( c , f ) ) eise_io ( " " ) ; } }
Swallow next character if it is a new line.
Swallow next character if it is a new line .
/* getc() cannot be used as it doesn't set the EOF flag */