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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
#ifndef ___STDIO_H__
#define ___STDIO_H__
#include <stddef.h>
#include <stdarg.h>
#include <stdio.h>
#include "_safety.h"
#ifdef _POSIX_C_SOURCE
#include <sys/types.h>
#endif
#if !defined _POSIX_C_SOURCE || _POSIX_C_SOURCE < 199506L
#define flockfile(_file) (void)(_file)
#define funlockfile(_file) (void)(_file)
#define putc_unlocked(_c, _stream) fputc(_c, _stream)
#define getc_unlocked(_stream) fgetc(_stream)
#endif
#define f_is_open(s) (s && (s->bmode != 0))
#define GCC_SSE_HACK __attribute__((noinline, target("no-sse")))
#define ORIENT_WIDE (1)
#define ORIENT_BYTE (-1)
#define OP_INPUT (1)
#define OP_OUTPUT (2)
#ifdef NDEBUG
#define ASSERT_STREAM(__stream, __orientation, __operation)
#else
#define ASSERT_STREAM(__stream, __orientation, __operation) do { \
ASSERT_NONNULL(__stream); \
if (((__orientation) && stream->orientation) && ((__orientation) != stream->orientation)) { \
UNDEFINED("In call to %s(): Requested %s operation on %s oriented stream", __func__, (__orientation) > 0 ? "wide" : "byte", (stream->orientation) > 0 ? "wide" : "byte"); \
} \
} while (0)
#endif
struct __FILE {
fpos_t pos;
char *buf; /* pointer to in-use buffer */
char ibuf[BUFSIZ]; /* statically allocated buffer */
size_t bsize; /* how big is the buffer */
size_t bpos; /* current position of next character */
enum {
UNUSED = 0,
FULL = _IOFBF,
LINE = _IOLBF,
NONE = _IONBF,
} bmode; /* buffer mode or stream available */
int fd; /* the backing file descriptor */
int nlocks; /* in multithreaded, used by flockfile() */
int thread; /* the owning thread if locked */
int orientation:2; /* 0 = undetermind, < 0 = byte, > 0 = wide */
int operation:2; /* TODO: previous operation, NONE, INPUT, OUTPUT (are there others?) */
int eof:1; /* eof indicator */
int err:1; /* error indicator */
int text:1; /* is this a text file? */
#ifdef _POSIX_C_SOURCE
pid_t pipe_pid; /* if stream is a pipe, the child pid */
#endif
fpos_t *valid_fpos;
size_t nvalid_fpos;
long int *valid_ftell;
size_t nvalid_ftell;
};
struct io_options {
const char *fnname; /* the calling function */
char *string; /* NULL or the output string */
wchar_t *wstring; /* NULL or the output wide string */
FILE *stream; /* NULL or the output stream */
int fd; /* -1 or the output file descriptor */
size_t maxlen; /* max number of bytes to write to string */
int ret; /* return value */
};
int __printf(struct io_options * restrict, const char * restrict, va_list);
int __scanf(struct io_options * restrict, const char * restrict, va_list);
struct __stdio {
struct __FILE FILES[FOPEN_MAX];
};
extern struct __stdio __stdio;
/*
STDC(-1)
*/
#endif
|
