This repository was archived by the owner on Sep 30, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy path_builtin_stdio_checked.h
175 lines (151 loc) · 6.47 KB
/
_builtin_stdio_checked.h
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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
//---------------------------------------------------------------------//
// Bounds-safe interfaces for compiler-defined builtin functions //
// corresponding to stdio.h functions //
// //
// These are given in the order they appear in clang's Builtins.def. //
// Functions that do not appear can not have checked interfaces //
// defined. //
// //
// These are based on the types as declared within clang //
// and https://gcc.gnu.org/onlinedocs/gcc/Object-Size-Checking.html //
/////////////////////////////////////////////////////////////////////////
#include "_builtin_common.h"
#if _USE_FORTIFY_LEVEL > 0
#ifndef __has_builtin
#define _undef__has_builtin
#define __has_builtin(x) 0
#endif
#if __has_builtin(__builtin___sprintf_chk) || defined(__GNUC__)
// sprintf
extern _Unchecked
int __sprintf_chk(char * restrict buffer : itype(restrict _Nt_array_ptr<char>),
int flag,
size_t obj_size,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
...);
_Unchecked
int __builtin___sprintf_chk(char * restrict buffer : itype(restrict _Nt_array_ptr<char>),
int flag,
size_t obj_size,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
...);
#endif
#if __has_builtin(__builtin___snprintf_chk) || defined(__GNUC__)
// snprintf
extern _Unchecked
int __snprintf_chk(char * restrict buffer : itype(restrict _Nt_array_ptr<char>) count(maxlen == 0 ? 0 : maxlen-1),
size_t maxlen,
int flag,
size_t obj_size,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
...);
_Unchecked
int __builtin___snprintf_chk(char * restrict buffer : itype(restrict _Nt_array_ptr<char>) count(maxlen == 0 ? 0 : maxlen-1),
size_t maxlen,
int flag,
size_t obj_size,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>)
,
...);
#endif
#if __has_builtin(__builtin___vsprintf_chk) || defined(__GNUC__)
// vsprintf
extern _Unchecked
int __vsprintf_chk(char * restrict buffer : itype(restrict _Nt_array_ptr<char>),
int flag,
size_t obj_size,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
va_list);
_Unchecked
int __builtin___vsprintf_chk(char * restrict buffer : itype(restrict _Nt_array_ptr<char>),
int flag,
size_t obj_size,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
va_list arg);
#endif
#if __has_builtin(__builtin___vsnprintf_chk) || defined(__GNUC__)
// vsnprintf
extern _Unchecked
int __vsnprintf_chk(char * restrict buffer : itype(restrict _Nt_array_ptr<char>) count(maxlen-1),
size_t maxlen _Where maxlen > 0,
int flag,
size_t obj_size,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
va_list);
_Unchecked
int __builtin___vsnprintf_chk(char * restrict buffer : itype(restrict _Nt_array_ptr<char>) count(maxlen-1),
size_t maxlen _Where maxlen > 0,
int flag,
size_t obj_size,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
va_list arg);
#endif
#if __has_builtin(__builtin___fprintf_chk) || defined(__GNUC__)
// fprintf
extern _Unchecked
int __fprintf_chk(FILE * restrict stream : itype(restrict _Ptr<FILE>),
int flag,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
...);
_Unchecked
int __builtin___fprintf_chk(FILE * restrict stream : itype(restrict _Ptr<FILE>),
int flag,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
...);
#endif
#if __has_builtin(__builtin___printf_chk) || defined(__GNUC__)
// printf
extern _Unchecked
int __printf_chk(int flag,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
...);
_Unchecked
int __builtin___printf_chk(int flag,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
...);
#endif
#if __has_builtin(__builtin___vfprintf_chk) || defined(__GNUC__)
// vfprintf
extern _Unchecked
int __vfprintf_chk(FILE * restrict stream : itype(restrict _Ptr<FILE>),
int flag,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
va_list);
_Unchecked
int __builtin___vfprintf_chk(FILE * restrict stream : itype(restrict _Ptr<FILE>),
int flag,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
va_list);
#endif
#if __has_builtin(__builtin___vprintf_chk) || defined(__GNUC__)
// vprintf
extern _Unchecked
int __vprintf_chk(int flag,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
va_list);
_Unchecked
int __builtin___vprintf_chk(int flag,
const char * restrict format :
itype(restrict _Nt_array_ptr<const char>),
va_list);
#endif
#ifdef _undef__has_builtin
#undef _undef__has_builtin
#undef __has_builtin
#endif
#endif