blob: f03fd54517b3b51419b560c08a7f40be63893ea9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#include <stdio.h>
#include "_stdio.h"
#if !defined _POSIX_C_SOURCE || _POSIX_C_SOURCE < 199506L
#undef getc_unlocked
#include "getc_unlocked.c"
#endif
/** read a character from a file stream **/
int fgetc(FILE *stream)
{
flockfile(stream);
char c = getc_unlocked(stream);
funlockfile(stream);
/*
RETURN_SUCCESS(the next character);
RETURN_FAILURE(CONSTANT(EOF));
*/
return c;
}
/***
reads the next character from ARGUMENT(stream) as an
TYPE(unsigned char) converted to an TYPE(int). The file position indicator
of ARGUMENT(stream) is advanced.
***/
/*
STDC(1)
*/
|
