]> andersk Git - splint.git/blob - imports/limits.lcs
Fixed -help <mode> bug.
[splint.git] / imports / limits.lcs
1 %PASSED Output from LCLint 2.0
2 %LCLimports 
3 %LCLSortTable
4 %LCLsort bool immutable nil nil
5 %LCLsort Bool synonym bool nil
6 %LCLsort int primitive nil nil
7 %LCLsort char primitive nil nil
8 %LCLsort void primitive nil nil
9 %LCLsort _char_Obj obj char nil
10 %LCLsort __char_Obj_Ptr ptr _char_Obj nil
11 %LCLsort __char_Obj_Arr arr _char_Obj nil
12 %LCLsort _char_Vec vec char __char_Obj_Arr
13 %LCLsort float primitive nil nil
14 %LCLsort double primitive nil nil
15 %LCLsort _eerrno0e_Enum enum eerrno0e nil
16 %LCLsort EDUPTOOMANYCPUS enumMem nil nil
17 %LCLsort EDUPINTRANSIT enumMem nil nil
18 %LCLsort EDUPBADOPCODE enumMem nil nil
19 %LCLsort EDUPNOTRUN enumMem nil nil
20 %LCLsort EDUPNOTWAIT enumMem nil nil
21 %LCLsort EDUPNOTIDLE enumMem nil nil
22 %LCLsort EDUPNOTCNTD enumMem nil nil
23 %LCLsort EDUPNODISCONN enumMem nil nil
24 %LCLsort EDUPNOCONN enumMem nil nil
25 %LCLsort ENODUST enumMem nil nil
26 %LCLsort ENOSYSTEM enumMem nil nil
27 %LCLsort ENORESOURCES enumMem nil nil
28 %LCLsort ENOACTIVE enumMem nil nil
29 %LCLsort EACTIVE enumMem nil nil
30 %LCLsort ENOSYS enumMem nil nil
31 %LCLsort ENOLCK enumMem nil nil
32 %LCLsort EDEADLK enumMem nil nil
33 %LCLsort EALIGN enumMem nil nil
34 %LCLsort EIDRM enumMem nil nil
35 %LCLsort ENOMSG enumMem nil nil
36 %LCLsort EREMOTE enumMem nil nil
37 %LCLsort ESTALE enumMem nil nil
38 %LCLsort EDQUOT enumMem nil nil
39 %LCLsort EUSERS enumMem nil nil
40 %LCLsort EPROCLIM enumMem nil nil
41 %LCLsort ENOTEMPTY enumMem nil nil
42 %LCLsort EHOSTUNREACH enumMem nil nil
43 %LCLsort EHOSTDOWN enumMem nil nil
44 %LCLsort ENAMETOOLONG enumMem nil nil
45 %LCLsort ELOOP enumMem nil nil
46 %LCLsort ECONNREFUSED enumMem nil nil
47 %LCLsort ETIMEDOUT enumMem nil nil
48 %LCLsort ETOOMANYREFS enumMem nil nil
49 %LCLsort ESHUTDOWN enumMem nil nil
50 %LCLsort ENOTCONN enumMem nil nil
51 %LCLsort EISCONN enumMem nil nil
52 %LCLsort ENOBUFS enumMem nil nil
53 %LCLsort ECONNRESET enumMem nil nil
54 %LCLsort ECONNABORTED enumMem nil nil
55 %LCLsort ENETRESET enumMem nil nil
56 %LCLsort ENETUNREACH enumMem nil nil
57 %LCLsort ENETDOWN enumMem nil nil
58 %LCLsort EADDRNOTAVAIL enumMem nil nil
59 %LCLsort EADDRINUSE enumMem nil nil
60 %LCLsort EAFNOSUPPORT enumMem nil nil
61 %LCLsort EPFNOSUPPORT enumMem nil nil
62 %LCLsort EOPNOTSUPP enumMem nil nil
63 %LCLsort ESOCKTNOSUPPORT enumMem nil nil
64 %LCLsort EPROTONOSUPPORT enumMem nil nil
65 %LCLsort ENOPROTOOPT enumMem nil nil
66 %LCLsort EPROTOTYPE enumMem nil nil
67 %LCLsort EMSGSIZE enumMem nil nil
68 %LCLsort EDESTADDRREQ enumMem nil nil
69 %LCLsort ENOTSOCK enumMem nil nil
70 %LCLsort EALREADY enumMem nil nil
71 %LCLsort EINPROGRESS enumMem nil nil
72 %LCLsort EWOULDBLOCK enumMem nil nil
73 %LCLsort ERANGE enumMem nil nil
74 %LCLsort EDOM enumMem nil nil
75 %LCLsort EPIPE enumMem nil nil
76 %LCLsort EMLINK enumMem nil nil
77 %LCLsort EROFS enumMem nil nil
78 %LCLsort ESPIPE enumMem nil nil
79 %LCLsort ENOSPC enumMem nil nil
80 %LCLsort EFBIG enumMem nil nil
81 %LCLsort ETXTBSY enumMem nil nil
82 %LCLsort ENOTTY enumMem nil nil
83 %LCLsort EMFILE enumMem nil nil
84 %LCLsort ENFILE enumMem nil nil
85 %LCLsort EINVAL enumMem nil nil
86 %LCLsort EISDIR enumMem nil nil
87 %LCLsort ENOTDIR enumMem nil nil
88 %LCLsort ENODEV enumMem nil nil
89 %LCLsort EXDEV enumMem nil nil
90 %LCLsort EEXIST enumMem nil nil
91 %LCLsort EBUSY enumMem nil nil
92 %LCLsort ENOTBLK enumMem nil nil
93 %LCLsort EFAULT enumMem nil nil
94 %LCLsort EACCES enumMem nil nil
95 %LCLsort ENOMEM enumMem nil nil
96 %LCLsort EAGAIN enumMem nil nil
97 %LCLsort ECHILD enumMem nil nil
98 %LCLsort EBADF enumMem nil nil
99 %LCLsort ENOEXEC enumMem nil nil
100 %LCLsort E2BIG enumMem nil nil
101 %LCLsort ENXIO enumMem nil nil
102 %LCLsort EIO enumMem nil nil
103 %LCLsort EINTR enumMem nil nil
104 %LCLsort ESRCH enumMem nil nil
105 %LCLsort ENOENT enumMem nil nil
106 %LCLsort EPERM enumMem nil nil
107 %LCLsort enumEnd nil nil nil
108 %LCLsort __eerrno0e_Enum_Obj obj _eerrno0e_Enum nil
109 %LCLsort _int_Obj obj int nil
110 %LCLSortTableEnd
111 %LCLSymbolTable
112 %LCLop ENOMSG : -> _eerrno0e_Enum
113 %LCLop mod :int, int -> int
114 %LCLop EIDRM : -> _eerrno0e_Enum
115 %LCLop min :int, int -> int
116 %LCLop EALIGN : -> _eerrno0e_Enum
117 %LCLop max :int, int -> int
118 %LCLop EDEADLK : -> _eerrno0e_Enum
119 %LCLop 0 : -> int
120 %LCLop 0 : -> double
121 %LCLop ENOLCK : -> _eerrno0e_Enum
122 %LCLop 1 : -> int
123 %LCLop 1 : -> double
124 %LCLop if __ then __ else __  :bool, bool, bool -> bool
125 %LCLop if __ then __ else __  :bool, int, int -> int
126 %LCLop if __ then __ else __  :bool, double, double -> double
127 %LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
128 %LCLop if __ then __ else __  :bool, char, char -> char
129 %LCLop ENOSYS : -> _eerrno0e_Enum
130 %LCLop EACTIVE : -> _eerrno0e_Enum
131 %LCLop __ < __  :int, int -> bool
132 %LCLop __ < __  :double, double -> bool
133 %LCLop ENOACTIVE : -> _eerrno0e_Enum
134 %LCLop empty : -> _char_Vec
135 %LCLop __ > __  :int, int -> bool
136 %LCLop __ > __  :double, double -> bool
137 %LCLop ENORESOURCES : -> _eerrno0e_Enum
138 %LCLop ENOSYSTEM : -> _eerrno0e_Enum
139 %LCLop ENODUST : -> _eerrno0e_Enum
140 %LCLop count :char, _char_Vec -> int
141 %LCLop EDUPNOCONN : -> _eerrno0e_Enum
142 %LCLop head :_char_Vec -> char
143 %LCLop __ \inv :double -> double
144 %LCLop EDUPNODISCONN : -> _eerrno0e_Enum
145 %LCLop init :_char_Vec -> _char_Vec
146 %LCLop EDUPNOTCNTD : -> _eerrno0e_Enum
147 %LCLop isEmpty :_char_Vec -> bool
148 %LCLop EDUPNOTIDLE : -> _eerrno0e_Enum
149 %LCLop last :_char_Vec -> char
150 %LCLop EDUPNOTWAIT : -> _eerrno0e_Enum
151 %LCLop len :_char_Vec -> int
152 %LCLop __ \implies __  :bool, bool -> bool
153 %LCLop EDUPNOTRUN : -> _eerrno0e_Enum
154 %LCLop prefix :_char_Vec, int -> _char_Vec
155 %LCLop __ / __  :double, double -> double
156 %LCLop EDUPBADOPCODE : -> _eerrno0e_Enum
157 %LCLop removePrefix :_char_Vec, int -> _char_Vec
158 %LCLop EDUPINTRANSIT : -> _eerrno0e_Enum
159 %LCLop substring :_char_Vec, int, int -> _char_Vec
160 %LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
161 %LCLop EDUPTOOMANYCPUS : -> _eerrno0e_Enum
162 %LCLop tail :_char_Vec -> _char_Vec
163 %LCLop __ \in __  :char, _char_Vec -> bool
164 %LCLop nullTerminated :_char_Vec -> bool
165 %LCLop throughNull :_char_Vec -> _char_Vec
166 %LCLop sameStr :_char_Vec, _char_Vec -> bool
167 %LCLop lenStr :_char_Vec -> int
168 %LCLop times10plus :int, int -> int
169 %LCLop plus1 :int -> int
170 %LCLop 2 : -> int
171 %LCLop 3 : -> int
172 %LCLop 4 : -> int
173 %LCLop 5 : -> int
174 %LCLop 6 : -> int
175 %LCLop 7 : -> int
176 %LCLop 8 : -> int
177 %LCLop 9 : -> int
178 %LCLop __ * __  :int, int -> int
179 %LCLop __ * __  :double, double -> double
180 %LCLop true : -> bool
181 %LCLop false : -> bool
182 %LCLop __ \and __  :bool, bool -> bool
183 %LCLop __ \or __  :bool, bool -> bool
184 %LCLop __ \eq __  :bool, bool -> bool
185 %LCLop __ \eq __  :int, int -> bool
186 %LCLop __ \eq __  :double, double -> bool
187 %LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
188 %LCLop __ \eq __  :char, char -> bool
189 %LCLop \not __  :bool -> bool
190 %LCLop __ \neq __  :bool, bool -> bool
191 %LCLop __ \neq __  :int, int -> bool
192 %LCLop __ \neq __  :double, double -> bool
193 %LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
194 %LCLop __ \neq __  :char, char -> bool
195 %LCLop { __ } :char -> _char_Vec
196 %LCLop EPERM : -> _eerrno0e_Enum
197 %LCLop ENOENT : -> _eerrno0e_Enum
198 %LCLop ESRCH : -> _eerrno0e_Enum
199 %LCLop EINTR : -> _eerrno0e_Enum
200 %LCLop EIO : -> _eerrno0e_Enum
201 %LCLop ENXIO : -> _eerrno0e_Enum
202 %LCLop E2BIG : -> _eerrno0e_Enum
203 %LCLop ENOEXEC : -> _eerrno0e_Enum
204 %LCLop EBADF : -> _eerrno0e_Enum
205 %LCLop ECHILD : -> _eerrno0e_Enum
206 %LCLop EAGAIN : -> _eerrno0e_Enum
207 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
208 %LCLop ENOMEM : -> _eerrno0e_Enum
209 %LCLop EACCES : -> _eerrno0e_Enum
210 %LCLop __ [__] :_char_Vec, int -> char
211 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
212 %LCLop EFAULT : -> _eerrno0e_Enum
213 %LCLop __ |- __  :_char_Vec, char -> _char_Vec
214 %LCLop ENOTBLK : -> _eerrno0e_Enum
215 %LCLop EBUSY : -> _eerrno0e_Enum
216 %LCLop __ -| __  :char, _char_Vec -> _char_Vec
217 %LCLop EEXIST : -> _eerrno0e_Enum
218 %LCLop EXDEV : -> _eerrno0e_Enum
219 %LCLop ENODEV : -> _eerrno0e_Enum
220 %LCLop ENOTDIR : -> _eerrno0e_Enum
221 %LCLop __ \leq __  :int, int -> bool
222 %LCLop __ \leq __  :double, double -> bool
223 %LCLop EISDIR : -> _eerrno0e_Enum
224 %LCLop EINVAL : -> _eerrno0e_Enum
225 %LCLop __ \geq __  :int, int -> bool
226 %LCLop __ \geq __  :double, double -> bool
227 %LCLop ENFILE : -> _eerrno0e_Enum
228 %LCLop EMFILE : -> _eerrno0e_Enum
229 %LCLop ENOTTY : -> _eerrno0e_Enum
230 %LCLop ETXTBSY : -> _eerrno0e_Enum
231 %LCLop null : -> char
232 %LCLop EFBIG : -> _eerrno0e_Enum
233 %LCLop ENOSPC : -> _eerrno0e_Enum
234 %LCLop ESPIPE : -> _eerrno0e_Enum
235 %LCLop EROFS : -> _eerrno0e_Enum
236 %LCLop EMLINK : -> _eerrno0e_Enum
237 %LCLop EPIPE : -> _eerrno0e_Enum
238 %LCLop EDOM : -> _eerrno0e_Enum
239 %LCLop ERANGE : -> _eerrno0e_Enum
240 %LCLop EWOULDBLOCK : -> _eerrno0e_Enum
241 %LCLop EINPROGRESS : -> _eerrno0e_Enum
242 %LCLop EALREADY : -> _eerrno0e_Enum
243 %LCLop ENOTSOCK : -> _eerrno0e_Enum
244 %LCLop EDESTADDRREQ : -> _eerrno0e_Enum
245 %LCLop EMSGSIZE : -> _eerrno0e_Enum
246 %LCLop EPROTOTYPE : -> _eerrno0e_Enum
247 %LCLop ENOPROTOOPT : -> _eerrno0e_Enum
248 %LCLop EPROTONOSUPPORT : -> _eerrno0e_Enum
249 %LCLop ESOCKTNOSUPPORT : -> _eerrno0e_Enum
250 %LCLop EOPNOTSUPP : -> _eerrno0e_Enum
251 %LCLop EPFNOSUPPORT : -> _eerrno0e_Enum
252 %LCLop EAFNOSUPPORT : -> _eerrno0e_Enum
253 %LCLop EADDRINUSE : -> _eerrno0e_Enum
254 %LCLop EADDRNOTAVAIL : -> _eerrno0e_Enum
255 %LCLop NIL : -> __char_Obj_Ptr
256 %LCLop ENETDOWN : -> _eerrno0e_Enum
257 %LCLop ENETUNREACH : -> _eerrno0e_Enum
258 %LCLop ENETRESET : -> _eerrno0e_Enum
259 %LCLop ECONNABORTED : -> _eerrno0e_Enum
260 %LCLop ECONNRESET : -> _eerrno0e_Enum
261 %LCLop ENOBUFS : -> _eerrno0e_Enum
262 %LCLop EISCONN : -> _eerrno0e_Enum
263 %LCLop - __  :int -> int
264 %LCLop - __  :double -> double
265 %LCLop ENOTCONN : -> _eerrno0e_Enum
266 %LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
267 %LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
268 %LCLop __ + __  :int, int -> int
269 %LCLop __ + __  :double, double -> double
270 %LCLop ESHUTDOWN : -> _eerrno0e_Enum
271 %LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
272 %LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
273 %LCLop __ - __  :int, int -> int
274 %LCLop __ - __  :double, double -> double
275 %LCLop sizeof :bool -> int
276 %LCLop sizeof :int -> int
277 %LCLop sizeof :char -> int
278 %LCLop sizeof :void -> int
279 %LCLop sizeof :float -> int
280 %LCLop sizeof :double -> int
281 %LCLop sizeof :_eerrno0e_Enum -> int
282 %LCLop ETOOMANYREFS : -> _eerrno0e_Enum
283 %LCLop ETIMEDOUT : -> _eerrno0e_Enum
284 %LCLop ECONNREFUSED : -> _eerrno0e_Enum
285 %LCLop isSub :_char_Vec, int -> bool
286 %LCLop isSub :__char_Obj_Arr, int -> bool
287 %LCLop ELOOP : -> _eerrno0e_Enum
288 %LCLop ENAMETOOLONG : -> _eerrno0e_Enum
289 %LCLop EHOSTDOWN : -> _eerrno0e_Enum
290 %LCLop EHOSTUNREACH : -> _eerrno0e_Enum
291 %LCLop ENOTEMPTY : -> _eerrno0e_Enum
292 %LCLop succ :int -> int
293 %LCLop EPROCLIM : -> _eerrno0e_Enum
294 %LCLop pred :int -> int
295 %LCLop EUSERS : -> _eerrno0e_Enum
296 %LCLop EDQUOT : -> _eerrno0e_Enum
297 %LCLop ESTALE : -> _eerrno0e_Enum
298 %LCLop abs :int -> int
299 %LCLop abs :double -> double
300 %LCLop EREMOTE : -> _eerrno0e_Enum
301 %LCLop div :int, int -> int
302 %LCLtype float float exposed
303 %LCLtype bool bool immutable
304 %LCLconst FALSE bool
305 %LCLconst TRUE bool
306 %LCLconst FLT_RADIX int
307 %LCLconst FLT_ROUNDS int
308 %LCLconst FLT_MANT_DIG int
309 %LCLconst DBL_MANT_DIG int
310 %LCLconst LDBL_MANT_DIG int
311 %LCLconst FLT_EPSILON double
312 %LCLconst DBL_EPSILON double
313 %LCLconst LDBL_EPSILON double
314 %LCLconst FLT_DIG int
315 %LCLconst DBL_DIG int
316 %LCLconst LDBL_DIG int
317 %LCLconst FLT_MIN_EXP int
318 %LCLconst DBL_MIN_EXP int
319 %LCLconst LDBL_MIN_EXP int
320 %LCLconst FLT_MIN double
321 %LCLconst DBL_MIN double
322 %LCLconst LDBL_MIN double
323 %LCLconst FLT_MIN_10_EXP int
324 %LCLconst DBL_MIN_10_EXP int
325 %LCLconst LDBL_MIN_10_EXP int
326 %LCLconst FLT_MAX_EXP int
327 %LCLconst DBL_MAX_EXP int
328 %LCLconst LDBL_MAX_EXP int
329 %LCLconst FLT_MAX double
330 %LCLconst DBL_MAX double
331 %LCLconst LDBL_MAX double
332 %LCLconst FLT_MAX_10_EXP int
333 %LCLconst DBL_MAX_10_EXP int
334 %LCLconst LDBL_MAX_10_EXP int
335 %LCLconst ARG_MAX int
336 %LCLconst CHAR_BIT int
337 %LCLconst CHAR_MIN int
338 %LCLconst CHAR_MAX int
339 %LCLconst UCHAR_MAX int
340 %LCLconst SCHAR_MIN int
341 %LCLconst SCHAR_MAX int
342 %LCLconst CHILD_MAX int
343 %LCLconst FCHR_MAX int
344 %LCLconst HUGE_VAL double
345 %LCLconst LOCK_MAX int
346 %LCLconst LINK_MAX int
347 %LCLconst SHRT_MIN int
348 %LCLconst SHRT_MAX int
349 %LCLconst USHRT_MAX int
350 %LCLconst INT_MIN int
351 %LCLconst INT_MAX int
352 %LCLconst UINT_MAX int
353 %LCLconst LONG_MIN int
354 %LCLconst LONG_MAX int
355 %LCLconst ULONG_MAX int
356 %LCLconst USI_MAX int
357 %LCLconst WORD_BIT int
358 %LCLconst LONG_BIT int
359 %LCLconst NAME_MAX int
360 %LCLconst NGROUPS_MAX int
361 %LCLconst MAX_INPUT int
362 %LCLconst MAX_CANON int
363 %LCLconst MAX_CHAR int
364 %LCLconst OPEN_MAX int
365 %LCLconst PASS_MAX int
366 %LCLconst PATH_MAX int
367 %LCLconst PID_MAX int
368 %LCLconst SYSPID_MAX int
369 %LCLconst PIPE_BUF int
370 %LCLconst PIPE_MAX int
371 %LCLconst PROC_MAX int
372 %LCLconst STD_BLK int
373 %LCLconst SYS_NMLN int
374 %LCLconst SYS_OPEN int
375 %LCLconst TMP_MAX int
376 %LCLconst NZERO int
377 %LCLconst UID_MAX int
378 %LCLconst MB_LEN_MAX int
379 %LCLconst NL_ARGMAX int
380 %LCLconst NL_MSGMAX int
381 %LCLconst NL_NMAX int
382 %LCLconst NL_SETMAX int
383 %LCLconst NL_TEXTMAX int
384 %LCLconst NL_LBLMAX int
385 %LCLconst NL_LANGMAX int
386 %LCLSymbolTableEnd
This page took 1.018991 seconds and 5 git commands to generate.