blob: 21f1559e31d60442d04846df0da1e0f976e20562 (
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 stdout **/
int putchar(int c)
{
SIGNAL_SAFE(0);
/*
RETURN_SUCCESS(c);
RETURN_FAILURE(CONSTANT(EOF));
*/
return putc(c, stdout);
}
/***
writes the character ARGUMENT(c) (converted to an TYPE(unsigned char)) to
IDENTIFIER(stdout).
***/
/*
STDC(1)
*/
|
