]> andersk Git - splint.git/blame - test/enum.lcs
Fixed unsignedcompare test. Removed diag for unclosed files.
[splint.git] / test / enum.lcs
CommitLineData
107b60d6 1%PASSED Output from LCLint 3.0.0.17
885824d3 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 _eenum0e_Enum enum eenum0e nil
16%LCLsort three enumMem nil nil
17%LCLsort two enumMem nil nil
18%LCLsort one enumMem nil nil
19%LCLsort enumEnd nil nil nil
20%LCLsort _etype synonym _eenum0e_Enum nil
21%LCLsort _eenum1e_Enum enum eenum1e nil
22%LCLsort dos enumMem nil nil
23%LCLsort uno enumMem nil nil
24%LCLsort cero enumMem nil nil
25%LCLsort enumEnd nil nil nil
26%LCLsort _stype synonym _eenum1e_Enum nil
27%LCLsort __ietag_Enum enum _ietag nil
28%LCLsort siete enumMem nil nil
29%LCLsort enumEnd nil nil nil
30%LCLsort _itype synonym __ietag_Enum nil
31%LCLsort _senum0s_Struct str senum0s nil
32%LCLsort b strMem _int_Obj nil
33%LCLsort a strMem _int_Obj nil
34%LCLsort strEnd nil nil nil
35%LCLsort _int_Obj obj int nil
36%LCLsort _senum0s_Struct_Tuple tup _senum0s_Struct nil
37%LCLsort __senum0s_Struct_Ptr ptr _senum0s_Struct nil
38%LCLsort __senum0s_Struct_Arr arr _senum0s_Struct nil
39%LCLsort __senum0s_Struct_Tuple_Vec vec _senum0s_Struct_Tuple __senum0s_Struct_Arr
40%LCLsort _st synonym _senum0s_Struct nil
41%LCLsort _senum1s_Struct str senum1s nil
42%LCLsort c strMem _int_Obj nil
43%LCLsort b strMem _int_Obj nil
44%LCLsort a strMem _int_Obj nil
45%LCLsort strEnd nil nil nil
46%LCLsort _senum1s_Struct_Tuple tup _senum1s_Struct nil
47%LCLsort __senum1s_Struct_Ptr ptr _senum1s_Struct nil
48%LCLsort __senum1s_Struct_Arr arr _senum1s_Struct nil
49%LCLsort __senum1s_Struct_Tuple_Vec vec _senum1s_Struct_Tuple __senum1s_Struct_Arr
50%LCLsort _st2 synonym _senum1s_Struct nil
51%LCLsort _eenum2e_Enum enum eenum2e nil
52%LCLsort yasta enumMem nil nil
53%LCLsort pasta enumMem nil nil
54%LCLsort hasta enumMem nil nil
55%LCLsort enumEnd nil nil nil
56%LCLSortTableEnd
57%LCLSymbolTable
1ac6313d 58%LCLop min :int, int -> int
885824d3 59%LCLop max :int, int -> int
60%LCLop 0 : -> int
61%LCLop 0 : -> double
62%LCLop 1 : -> int
63%LCLop 1 : -> double
885824d3 64%LCLop if __ then __ else __ :bool, bool, bool -> bool
65%LCLop if __ then __ else __ :bool, int, int -> int
66%LCLop if __ then __ else __ :bool, double, double -> double
67%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
68%LCLop if __ then __ else __ :bool, char, char -> char
1ac6313d 69%LCLop __ < __ :int, int -> bool
70%LCLop __ < __ :double, double -> bool
885824d3 71%LCLop empty : -> _char_Vec
72%LCLop __ > __ :int, int -> bool
73%LCLop __ > __ :double, double -> bool
74%LCLop count :char, _char_Vec -> int
75%LCLop head :_char_Vec -> char
76%LCLop __ \inv :double -> double
77%LCLop init :_char_Vec -> _char_Vec
78%LCLop isEmpty :_char_Vec -> bool
79%LCLop last :_char_Vec -> char
80%LCLop len :_char_Vec -> int
81%LCLop prefix :_char_Vec, int -> _char_Vec
82%LCLop __ / __ :double, double -> double
885824d3 83%LCLop __ \implies __ :bool, bool -> bool
1ac6313d 84%LCLop removePrefix :_char_Vec, int -> _char_Vec
885824d3 85%LCLop substring :_char_Vec, int, int -> _char_Vec
86%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
87%LCLop tail :_char_Vec -> _char_Vec
88%LCLop __ \in __ :char, _char_Vec -> bool
89%LCLop nullTerminated :_char_Vec -> bool
90%LCLop throughNull :_char_Vec -> _char_Vec
91%LCLop sameStr :_char_Vec, _char_Vec -> bool
92%LCLop lenStr :_char_Vec -> int
93%LCLop times10plus :int, int -> int
94%LCLop plus1 :int -> int
95%LCLop 2 : -> int
96%LCLop 3 : -> int
97%LCLop 4 : -> int
98%LCLop 5 : -> int
99%LCLop 6 : -> int
100%LCLop 7 : -> int
101%LCLop 8 : -> int
102%LCLop 9 : -> int
103%LCLop one : -> _eenum0e_Enum
104%LCLop two : -> _eenum0e_Enum
105%LCLop three : -> _eenum0e_Enum
106%LCLop cero : -> _eenum1e_Enum
107%LCLop uno : -> _eenum1e_Enum
885824d3 108%LCLop __ * __ :int, int -> int
109%LCLop __ * __ :double, double -> double
1ac6313d 110%LCLop dos : -> _eenum1e_Enum
885824d3 111%LCLop true : -> bool
112%LCLop false : -> bool
113%LCLtag _ietag enum
114%LCLop siete : -> __ietag_Enum
115%LCLop __ \and __ :bool, bool -> bool
116%LCLop __ \or __ :bool, bool -> bool
117%LCLop __ \eq __ :bool, bool -> bool
118%LCLop __ \eq __ :int, int -> bool
119%LCLop __ \eq __ :double, double -> bool
120%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
121%LCLop __ \eq __ :char, char -> bool
122%LCLop \not __ :bool -> bool
123%LCLop __ \neq __ :bool, bool -> bool
124%LCLop __ \neq __ :int, int -> bool
125%LCLop __ \neq __ :double, double -> bool
126%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
127%LCLop __ \neq __ :char, char -> bool
128%LCLop { __ } :char -> _char_Vec
129%LCLop [__, __] :int, int -> _senum0s_Struct_Tuple
885824d3 130%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
131%LCLop __ [] :__senum0s_Struct_Ptr -> __senum0s_Struct_Arr
132%LCLop __ [] :__senum1s_Struct_Ptr -> __senum1s_Struct_Arr
1ac6313d 133%LCLop __ |- __ :_char_Vec, char -> _char_Vec
885824d3 134%LCLop [__, __, __] :int, int, int -> _senum1s_Struct_Tuple
885824d3 135%LCLop __ [__] :_char_Vec, int -> char
136%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
137%LCLop __ [__] :__senum0s_Struct_Tuple_Vec, int -> _senum0s_Struct_Tuple
138%LCLop __ [__] :__senum0s_Struct_Arr, int -> _senum0s_Struct
139%LCLop __ [__] :__senum1s_Struct_Tuple_Vec, int -> _senum1s_Struct_Tuple
140%LCLop __ [__] :__senum1s_Struct_Arr, int -> _senum1s_Struct
1ac6313d 141%LCLop __ -| __ :char, _char_Vec -> _char_Vec
885824d3 142%LCLop __ \leq __ :int, int -> bool
143%LCLop __ \leq __ :double, double -> bool
144%LCLop __ \geq __ :int, int -> bool
145%LCLop __ \geq __ :double, double -> bool
885824d3 146%LCLop null : -> char
1ac6313d 147%LCLop hasta : -> _eenum2e_Enum
885824d3 148%LCLop pasta : -> _eenum2e_Enum
149%LCLop yasta : -> _eenum2e_Enum
150%LCLop __ \select a :_senum0s_Struct_Tuple -> int
151%LCLop __ \select a :_senum0s_Struct -> _int_Obj
152%LCLop __ \select a :_senum1s_Struct_Tuple -> int
153%LCLop __ \select a :_senum1s_Struct -> _int_Obj
154%LCLop __ \select b :_senum0s_Struct_Tuple -> int
155%LCLop __ \select b :_senum0s_Struct -> _int_Obj
156%LCLop __ \select b :_senum1s_Struct_Tuple -> int
157%LCLop __ \select b :_senum1s_Struct -> _int_Obj
158%LCLop __ \field_arrow a :__senum0s_Struct_Ptr -> _int_Obj
159%LCLop __ \field_arrow a :__senum1s_Struct_Ptr -> _int_Obj
160%LCLop __ \field_arrow b :__senum0s_Struct_Ptr -> _int_Obj
161%LCLop __ \field_arrow b :__senum1s_Struct_Ptr -> _int_Obj
162%LCLop __ \select c :_senum1s_Struct_Tuple -> int
163%LCLop __ \select c :_senum1s_Struct -> _int_Obj
164%LCLop __ \field_arrow c :__senum1s_Struct_Ptr -> _int_Obj
165%LCLop NIL : -> __char_Obj_Ptr
166%LCLop NIL : -> __senum0s_Struct_Ptr
167%LCLop NIL : -> __senum1s_Struct_Ptr
168%LCLop - __ :int -> int
169%LCLop - __ :double -> double
170%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
171%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
172%LCLop __ + __ :int, int -> int
173%LCLop __ + __ :double, double -> double
174%LCLop __ + __ :__senum0s_Struct_Ptr, int -> __senum0s_Struct_Ptr
175%LCLop __ + __ :int, __senum0s_Struct_Ptr -> __senum0s_Struct_Ptr
176%LCLop __ + __ :__senum1s_Struct_Ptr, int -> __senum1s_Struct_Ptr
177%LCLop __ + __ :int, __senum1s_Struct_Ptr -> __senum1s_Struct_Ptr
178%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
179%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
180%LCLop __ - __ :int, int -> int
181%LCLop __ - __ :double, double -> double
182%LCLop __ - __ :__senum0s_Struct_Ptr, int -> __senum0s_Struct_Ptr
183%LCLop __ - __ :__senum0s_Struct_Ptr, __senum0s_Struct_Ptr -> int
184%LCLop __ - __ :__senum1s_Struct_Ptr, int -> __senum1s_Struct_Ptr
185%LCLop __ - __ :__senum1s_Struct_Ptr, __senum1s_Struct_Ptr -> int
186%LCLop sizeof :bool -> int
187%LCLop sizeof :int -> int
188%LCLop sizeof :char -> int
189%LCLop sizeof :void -> int
190%LCLop sizeof :float -> int
191%LCLop sizeof :double -> int
192%LCLop sizeof :_eenum0e_Enum -> int
193%LCLop sizeof :_eenum1e_Enum -> int
194%LCLop sizeof :__ietag_Enum -> int
195%LCLop sizeof :_eenum2e_Enum -> int
196%LCLop isSub :_char_Vec, int -> bool
197%LCLop isSub :__char_Obj_Arr, int -> bool
198%LCLop isSub :__senum0s_Struct_Tuple_Vec, int -> bool
199%LCLop isSub :__senum0s_Struct_Arr, int -> bool
200%LCLop isSub :__senum1s_Struct_Tuple_Vec, int -> bool
201%LCLop isSub :__senum1s_Struct_Arr, int -> bool
202%LCLop succ :int -> int
203%LCLop pred :int -> int
204%LCLop abs :int -> int
205%LCLop abs :double -> double
206%LCLop div :int, int -> int
207%LCLop mod :int, int -> int
885824d3 208%LCLtype float float exposed
209%LCLtype bool bool immutable
210%LCLconst FALSE bool
211%LCLconst TRUE bool
212%LCLenumConst one _eenum0e_Enum
213%LCLenumConst two _eenum0e_Enum
214%LCLenumConst three _eenum0e_Enum
215%LCLtype etype _etype exposed
216%LCLenumConst cero _eenum1e_Enum
217%LCLenumConst uno _eenum1e_Enum
218%LCLenumConst dos _eenum1e_Enum
219%LCLtype stype _stype exposed
220%LCLenumConst siete __ietag_Enum
221%LCLtype itype _itype exposed
222%LCLtype st _st exposed
223%LCLtype st2 _st2 exposed
224%LCLenumConst hasta _eenum2e_Enum
225%LCLenumConst pasta _eenum2e_Enum
226%LCLenumConst yasta _eenum2e_Enum
227%LCLSymbolTableEnd
This page took 0.087509 seconds and 5 git commands to generate.