blob: 8dc2024fb316115774f43c9dbeb56e385e83e085 (
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"
/** write a character to a file stream **/
int putc(int c, FILE *stream)
{
SIGNAL_SAFE(0);
/*
RETURN_SUCCESS(ARGUMENT(c));
RETURN_FAILURE(CONSTANT(EOF));
*/
return fputc(c, stream);
}
/***
is equivalent of FUNCTION(fputc), except that if it is defined
as a macro, it may evaluate ARGUMENT(stream) more than once.
***/
/*
STDC(1)
*/
|
