repo.or.cz
/
splint-patched.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
First part of transition from not-function header.
[splint-patched.git]
/
src
/
reservedNames.c
blob
2e6a6832c3752d60058fce637f4578f502831d72
1
"BUFSIZ"
,
2
"CHAR_BIT"
,
3
"CHAR_MAX"
,
4
"CHAR_MIN"
,
5
"CLOCKS_PER_SEC"
,
6
"DBL_DIG"
,
7
"DBL_EPSILON"
,
8
"DBL_MANT_DIG"
,
9
"DBL_MAX"
,
10
"DBL_MAX_10_EXP"
,
11
"DBL_MAX_EXP"
,
12
"DBL_MIN"
,
13
"DBL_MIN_10_EXP"
,
14
"DBL_MIN_EXP"
,
15
"EXIT_FAILURE"
,
16
"EXIT_SUCCESS"
,
17
"FILE"
,
18
"FILENAME_MAX"
,
19
"FLT_DIG"
,
20
"FLT_EPSILON"
,
21
"FLT_MANT_DIG"
,
22
"FLT_MAX"
,
23
"FLT_MAX_10_EXP"
,
24
"FLT_MAX_EXP"
,
25
"FLT_MIN"
,
26
"FLT_MIN_10_EXP"
,
27
"FLT_MIN_EXP"
,
28
"FLT_RADIX"
,
29
"FLT_ROUNDS"
,
30
"FOPEN_MAX"
,
31
"HUGE_VAL"
,
32
"INT_MAX"
,
33
"INT_MIN"
,
34
"LDBL_DIG"
,
35
"LDBL_EPSILON"
,
36
"LDBL_MANT_DIG"
,
37
"LDBL_MAX"
,
38
"LDBL_MAX_10_EXP"
,
39
"LDBL_MAX_EXP"
,
40
"LDBL_MIN"
,
41
"LDBL_MIN_10_EXP"
,
42
"LDBL_MIN_EXP"
,
43
"LONG_MAX"
,
44
"LONG_MIN"
,
45
"L_tmpnam"
,
46
"MB_CUR_MAX"
,
47
"MB_LEN_MAX"
,
48
"NDEBUG"
,
49
"NULL"
,
50
"RAND_MAX"
,
51
"SCHAR_MAX"
,
52
"SCHAR_MIN"
,
53
"SEEK_CUR"
,
54
"SEEK_END"
,
55
"SEEK_SET"
,
56
"SHRT_MAX"
,
57
"SHRT_MIN"
,
58
"SIGABRT"
,
59
"SIGFPE"
,
60
"SIGILL"
,
61
"SIGINT"
,
62
"SIGSEGV"
,
63
"SIGTERM"
,
64
"SIG_DFL"
,
65
"SIG_ERR"
,
66
"SIG_IGN"
,
67
"TMP_MAX"
,
68
"UCHAR_MAX"
,
69
"UINT_MAX"
,
70
"ULONG_MAX"
,
71
"USHRT_MAX"
,
72
"abort"
,
73
"abs"
,
74
"asctime"
,
75
"assert"
,
76
"atexit"
,
77
"atof"
,
78
"atoi"
,
79
"atol"
,
80
"bsearch"
,
81
"calloc"
,
82
"clearerr"
,
83
"clock"
,
84
"clock_t"
,
85
"ctime"
,
86
"currency_symbol"
,
87
"decimal_point"
,
88
/* "defined", */
89
"difftime"
,
90
"div"
,
91
"div_t"
,
92
"errno"
,
93
"exit"
,
94
"fclose"
,
95
"feof"
,
96
"ferror"
,
97
"fflush"
,
98
"fgetc"
,
99
"fgetpos"
,
100
"fgets"
,
101
"fopen"
,
102
"fpos_t"
,
103
"fprintf"
,
104
"fputc"
,
105
"fputs"
,
106
"frac_digits"
,
107
"fread"
,
108
"free"
,
109
"freopen"
,
110
"fscanf"
,
111
"fseek"
,
112
"fsetpos"
,
113
"ftell"
,
114
"fwrite"
,
115
"getc"
,
116
"getchar"
,
117
"getenv"
,
118
"gets"
,
119
"gmtime"
,
120
"grouping"
,
121
"int_curr_symbol"
,
122
"int_frac_digits"
,
123
"jmp_buf"
,
124
"labs"
,
125
"lconv"
,
126
"ldiv"
,
127
"ldiv_t"
,
128
"localeconv"
,
129
"localtime"
,
130
"longjmp"
,
131
"malloc"
,
132
"mblen"
,
133
"mbstowcs"
,
134
"mbtowc"
,
135
"mktime"
,
136
"mon_decimal_point"
,
137
"mon_grouping"
,
138
"mon_thousands_sep"
,
139
"n_cs_precedes"
,
140
"n_sep_by_space"
,
141
"n_sign_posn"
,
142
"negative_sign"
,
143
"offsetof"
,
144
"p_cs_precedes"
,
145
"p_sep_by_space"
,
146
"p_sign_posn"
,
147
"perror"
,
148
"positive_sign"
,
149
"printf"
,
150
"ptrdiff_t"
,
151
"putc"
,
152
"putchar"
,
153
"puts"
,
154
"qsort"
,
155
"raise"
,
156
"rand"
,
157
"realloc"
,
158
"remove"
,
159
"rename"
,
160
"rewind"
,
161
"scanf"
,
162
"setbuf"
,
163
"setjmp"
,
164
"setlocale"
,
165
"setvbuf"
,
166
"sig_atomic_t"
,
167
"signal"
,
168
"size_t"
,
169
"sprintf"
,
170
"srand"
,
171
"sscanf"
,
172
"stderr"
,
173
"stdin"
,
174
"stdout"
,
175
"system"
,
176
"thousands_sep"
,
177
"time"
,
178
"time_t"
,
179
"tm"
,
180
"tm_hour"
,
181
"tm_isdst"
,
182
"tm_mday"
,
183
"tm_min"
,
184
"tm_mon"
,
185
"tm_sec"
,
186
"tm_wday"
,
187
"tm_yday"
,
188
"tm_year"
,
189
"tmpfile"
,
190
"tmpnam"
,
191
"ungetc"
,
192
"va_arg"
,
193
"va_end"
,
194
"va_list"
,
195
"va_start"
,
196
"vfprintf"
,
197
"vprintf"
,
198
"vsprintf"
,
199
"wchar_t"
,
200
"wcstombs"
,
201
"wctomb"
,