blob: ae1f529ae55b54afd3c8dd414f0aa6c227700cf4 (
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
|
#include <stdio.h>
#include "_stdio.h"
#ifndef _POSIX_C_SOURCE
#define getc_unlocked(...) 0
#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)
*/
|
