1 %PASSED Output from LCLint 2.5q
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 mut immutable nil nil
16 %LCLsort _mut_Obj mutable mut nil
17 %LCLsort _int_Obj obj int nil
18 %LCLsort __int_Obj_Ptr ptr _int_Obj nil
19 %LCLsort __int_Obj_Arr arr _int_Obj nil
20 %LCLsort _int_Vec vec int __int_Obj_Arr
21 %LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil
22 %LCLsort _salias40s_Struct str salias40s nil
23 %LCLsort field strMem ___int_Obj_Ptr_Obj nil
24 %LCLsort val strMem _int_Obj nil
25 %LCLsort strEnd nil nil nil
26 %LCLsort _salias40s_Struct_Tuple tup _salias40s_Struct nil
27 %LCLsort __salias40s_Struct_Ptr ptr _salias40s_Struct nil
28 %LCLsort __salias40s_Struct_Arr arr _salias40s_Struct nil
29 %LCLsort __salias40s_Struct_Tuple_Vec vec _salias40s_Struct_Tuple __salias40s_Struct_Arr
30 %LCLsort _salias41s_Struct str salias41s nil
31 %LCLsort field strMem ___int_Obj_Ptr_Obj nil
32 %LCLsort val strMem _int_Obj nil
33 %LCLsort strEnd nil nil nil
34 %LCLsort _salias41s_Struct_Tuple tup _salias41s_Struct nil
35 %LCLsort __salias41s_Struct_Ptr ptr _salias41s_Struct nil
36 %LCLsort __salias41s_Struct_Arr arr _salias41s_Struct nil
37 %LCLsort __salias41s_Struct_Tuple_Vec vec _salias41s_Struct_Tuple __salias41s_Struct_Arr
40 %LCLop min :int, int -> int
41 %LCLop max :int, int -> int
46 %LCLop if __ then __ else __ :bool, bool, bool -> bool
47 %LCLop if __ then __ else __ :bool, int, int -> int
48 %LCLop if __ then __ else __ :bool, double, double -> double
49 %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
50 %LCLop if __ then __ else __ :bool, char, char -> char
51 %LCLop __ < __ :int, int -> bool
52 %LCLop __ < __ :double, double -> bool
53 %LCLop empty : -> _char_Vec
54 %LCLop __ > __ :int, int -> bool
55 %LCLop __ > __ :double, double -> bool
56 %LCLop count :char, _char_Vec -> int
57 %LCLop head :_char_Vec -> char
58 %LCLop __ \inv :double -> double
59 %LCLop init :_char_Vec -> _char_Vec
60 %LCLop isEmpty :_char_Vec -> bool
61 %LCLop last :_char_Vec -> char
62 %LCLop len :_char_Vec -> int
63 %LCLop prefix :_char_Vec, int -> _char_Vec
64 %LCLop __ / __ :double, double -> double
65 %LCLop __ \implies __ :bool, bool -> bool
66 %LCLop removePrefix :_char_Vec, int -> _char_Vec
67 %LCLop substring :_char_Vec, int, int -> _char_Vec
68 %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
69 %LCLop tail :_char_Vec -> _char_Vec
70 %LCLop __ \in __ :char, _char_Vec -> bool
71 %LCLop nullTerminated :_char_Vec -> bool
72 %LCLop throughNull :_char_Vec -> _char_Vec
73 %LCLop sameStr :_char_Vec, _char_Vec -> bool
74 %LCLop lenStr :_char_Vec -> int
75 %LCLop times10plus :int, int -> int
76 %LCLop plus1 :int -> int
85 %LCLop __ * __ :int, int -> int
86 %LCLop __ * __ :double, double -> double
88 %LCLop false : -> bool
89 %LCLop __ \and __ :bool, bool -> bool
90 %LCLop __ \or __ :bool, bool -> bool
91 %LCLop __ \eq __ :bool, bool -> bool
92 %LCLop __ \eq __ :int, int -> bool
93 %LCLop __ \eq __ :double, double -> bool
94 %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
95 %LCLop __ \eq __ :char, char -> bool
96 %LCLop \not __ :bool -> bool
97 %LCLop __ \neq __ :bool, bool -> bool
98 %LCLop __ \neq __ :int, int -> bool
99 %LCLop __ \neq __ :double, double -> bool
100 %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
101 %LCLop __ \neq __ :char, char -> bool
102 %LCLop { __ } :char -> _char_Vec
103 %LCLop [__, __] :__int_Obj_Ptr, int -> _salias40s_Struct_Tuple
104 %LCLop [__, __] :__int_Obj_Ptr, int -> _salias41s_Struct_Tuple
105 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
106 %LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
107 %LCLop __ [] :__salias40s_Struct_Ptr -> __salias40s_Struct_Arr
108 %LCLop __ [] :__salias41s_Struct_Ptr -> __salias41s_Struct_Arr
109 %LCLop __ |- __ :_char_Vec, char -> _char_Vec
110 %LCLop __ [__] :_char_Vec, int -> char
111 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
112 %LCLop __ [__] :_int_Vec, int -> int
113 %LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
114 %LCLop __ [__] :__salias40s_Struct_Tuple_Vec, int -> _salias40s_Struct_Tuple
115 %LCLop __ [__] :__salias40s_Struct_Arr, int -> _salias40s_Struct
116 %LCLop __ [__] :__salias41s_Struct_Tuple_Vec, int -> _salias41s_Struct_Tuple
117 %LCLop __ [__] :__salias41s_Struct_Arr, int -> _salias41s_Struct
118 %LCLop __ -| __ :char, _char_Vec -> _char_Vec
119 %LCLop __ \leq __ :int, int -> bool
120 %LCLop __ \leq __ :double, double -> bool
121 %LCLop __ \geq __ :int, int -> bool
122 %LCLop __ \geq __ :double, double -> bool
123 %LCLop null : -> char
124 %LCLop __ \select val :_salias40s_Struct_Tuple -> int
125 %LCLop __ \select val :_salias40s_Struct -> _int_Obj
126 %LCLop __ \select val :_salias41s_Struct_Tuple -> int
127 %LCLop __ \select val :_salias41s_Struct -> _int_Obj
128 %LCLop __ \select field :_salias40s_Struct_Tuple -> __int_Obj_Ptr
129 %LCLop __ \select field :_salias40s_Struct -> ___int_Obj_Ptr_Obj
130 %LCLop __ \select field :_salias41s_Struct_Tuple -> __int_Obj_Ptr
131 %LCLop __ \select field :_salias41s_Struct -> ___int_Obj_Ptr_Obj
132 %LCLop __ \field_arrow val :__salias40s_Struct_Ptr -> _int_Obj
133 %LCLop __ \field_arrow val :__salias41s_Struct_Ptr -> _int_Obj
134 %LCLop __ \field_arrow field :__salias40s_Struct_Ptr -> ___int_Obj_Ptr_Obj
135 %LCLop __ \field_arrow field :__salias41s_Struct_Ptr -> ___int_Obj_Ptr_Obj
136 %LCLop NIL : -> __char_Obj_Ptr
137 %LCLop NIL : -> __int_Obj_Ptr
138 %LCLop NIL : -> __salias40s_Struct_Ptr
139 %LCLop NIL : -> __salias41s_Struct_Ptr
140 %LCLop - __ :int -> int
141 %LCLop - __ :double -> double
142 %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
143 %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
144 %LCLop __ + __ :int, int -> int
145 %LCLop __ + __ :double, double -> double
146 %LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
147 %LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr
148 %LCLop __ + __ :__salias40s_Struct_Ptr, int -> __salias40s_Struct_Ptr
149 %LCLop __ + __ :int, __salias40s_Struct_Ptr -> __salias40s_Struct_Ptr
150 %LCLop __ + __ :__salias41s_Struct_Ptr, int -> __salias41s_Struct_Ptr
151 %LCLop __ + __ :int, __salias41s_Struct_Ptr -> __salias41s_Struct_Ptr
152 %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
153 %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
154 %LCLop __ - __ :int, int -> int
155 %LCLop __ - __ :double, double -> double
156 %LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
157 %LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int
158 %LCLop __ - __ :__salias40s_Struct_Ptr, int -> __salias40s_Struct_Ptr
159 %LCLop __ - __ :__salias40s_Struct_Ptr, __salias40s_Struct_Ptr -> int
160 %LCLop __ - __ :__salias41s_Struct_Ptr, int -> __salias41s_Struct_Ptr
161 %LCLop __ - __ :__salias41s_Struct_Ptr, __salias41s_Struct_Ptr -> int
162 %LCLop sizeof :bool -> int
163 %LCLop sizeof :int -> int
164 %LCLop sizeof :char -> int
165 %LCLop sizeof :void -> int
166 %LCLop sizeof :float -> int
167 %LCLop sizeof :double -> int
168 %LCLop sizeof :mut -> int
169 %LCLop isSub :_char_Vec, int -> bool
170 %LCLop isSub :__char_Obj_Arr, int -> bool
171 %LCLop isSub :_int_Vec, int -> bool
172 %LCLop isSub :__int_Obj_Arr, int -> bool
173 %LCLop isSub :__salias40s_Struct_Tuple_Vec, int -> bool
174 %LCLop isSub :__salias40s_Struct_Arr, int -> bool
175 %LCLop isSub :__salias41s_Struct_Tuple_Vec, int -> bool
176 %LCLop isSub :__salias41s_Struct_Arr, int -> bool
177 %LCLop succ :int -> int
178 %LCLop pred :int -> int
179 %LCLop abs :int -> int
180 %LCLop abs :double -> double
181 %LCLop div :int, int -> int
182 %LCLop mod :int, int -> int
183 %LCLtype float float exposed
184 %LCLtype bool bool immutable
187 %LCLtype float float exposed
188 %LCLtype bool bool immutable
191 %LCLtype mut _mut_Obj mutable
192 %LCLfcn mut_create : -> _mut_Obj
194 %LCLfcn mut_mod : _mut_Obj -> void
196 %LCLvar glob _int_Obj
197 %LCLvar globp ___int_Obj_Ptr_Obj
198 %LCLvar globs _salias40s_Struct
199 %LCLfcn f : _mut_Obj, _mut_Obj -> _mut_Obj
202 %LCLfcnGlobals _int_Obj glob;
203 %LCLfcn h : -> __int_Obj_Ptr
204 %LCLfcnGlobals _int_Obj glob; _salias41s_Struct globs; ___int_Obj_Ptr_Obj globp;