]> andersk Git - splint.git/blame - imports/limits.lcs
Fixed off by one bug involving arrays initialized with a block of values.
[splint.git] / imports / limits.lcs
CommitLineData
885824d3 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 0.100652 seconds and 5 git commands to generate.