blob: 4cb6290cec6d65cc1455a703c08fe90833372ff0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#include <stdio.h>
#include "_stdio.h"
/** read a character from a file stream **/
int getc(FILE *stream)
{
SIGNAL_SAFE(0);
/*
RETURN_SUCCESS(the next character);
RETURN_FAILURE(CONSTANT(EOF));
*/
return fgetc(stream);
}
/***
is the equivalent of FUNCTION(fgetc) except that if it is
defined as a macro, it may evaluate ARGUMENT(stream) more than once.
***/
/*
STDC(1)
*/
|
