]>
Commit | Line | Data |
---|---|---|
03d670b6 | 1 | %PASSED Output from LCLint 3.0.0.9 |
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 _int_Obj obj int nil | |
16 | %LCLsort __int_Obj_Arr arr _int_Obj nil | |
17 | %LCLsort _int_Vec vec int __int_Obj_Arr | |
18 | %LCLsort __ts_Struct str _ts nil | |
19 | %LCLsort b strMem _int_Obj nil | |
20 | %LCLsort a strMem _int_Obj nil | |
21 | %LCLsort strEnd nil nil nil | |
22 | %LCLsort __ts_Struct_Tuple tup __ts_Struct nil | |
23 | %LCLsort ___ts_Struct_Ptr ptr __ts_Struct nil | |
24 | %LCLsort ___ts_Struct_Arr arr __ts_Struct nil | |
25 | %LCLsort ___ts_Struct_Tuple_Vec vec __ts_Struct_Tuple ___ts_Struct_Arr | |
26 | %LCLsort _tst synonym __ts_Struct nil | |
27 | %LCLsort ____ts_Struct_Ptr_Obj obj ___ts_Struct_Ptr nil | |
28 | %LCLsort __int_Obj_Ptr ptr _int_Obj nil | |
29 | %LCLSortTableEnd | |
30 | %LCLSymbolTable | |
1ac6313d | 31 | %LCLop min :int, int -> int |
885824d3 | 32 | %LCLop max :int, int -> int |
33 | %LCLop 0 : -> int | |
34 | %LCLop 0 : -> double | |
35 | %LCLop 1 : -> int | |
36 | %LCLop 1 : -> double | |
885824d3 | 37 | %LCLop if __ then __ else __ :bool, bool, bool -> bool |
38 | %LCLop if __ then __ else __ :bool, int, int -> int | |
39 | %LCLop if __ then __ else __ :bool, double, double -> double | |
40 | %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec | |
41 | %LCLop if __ then __ else __ :bool, char, char -> char | |
1ac6313d | 42 | %LCLop __ < __ :int, int -> bool |
43 | %LCLop __ < __ :double, double -> bool | |
885824d3 | 44 | %LCLop empty : -> _char_Vec |
45 | %LCLop __ > __ :int, int -> bool | |
46 | %LCLop __ > __ :double, double -> bool | |
47 | %LCLop count :char, _char_Vec -> int | |
48 | %LCLop head :_char_Vec -> char | |
49 | %LCLop __ \inv :double -> double | |
50 | %LCLop init :_char_Vec -> _char_Vec | |
51 | %LCLop isEmpty :_char_Vec -> bool | |
52 | %LCLop last :_char_Vec -> char | |
53 | %LCLop len :_char_Vec -> int | |
54 | %LCLop prefix :_char_Vec, int -> _char_Vec | |
55 | %LCLop __ / __ :double, double -> double | |
885824d3 | 56 | %LCLop __ \implies __ :bool, bool -> bool |
1ac6313d | 57 | %LCLop removePrefix :_char_Vec, int -> _char_Vec |
885824d3 | 58 | %LCLop substring :_char_Vec, int, int -> _char_Vec |
59 | %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec | |
60 | %LCLop tail :_char_Vec -> _char_Vec | |
61 | %LCLop __ \in __ :char, _char_Vec -> bool | |
62 | %LCLop nullTerminated :_char_Vec -> bool | |
63 | %LCLop throughNull :_char_Vec -> _char_Vec | |
64 | %LCLop sameStr :_char_Vec, _char_Vec -> bool | |
65 | %LCLop lenStr :_char_Vec -> int | |
66 | %LCLop times10plus :int, int -> int | |
67 | %LCLop plus1 :int -> int | |
68 | %LCLop 2 : -> int | |
69 | %LCLop 3 : -> int | |
70 | %LCLop 3 : -> double | |
71 | %LCLop 4 : -> int | |
72 | %LCLop 5 : -> int | |
73 | %LCLop 6 : -> int | |
74 | %LCLop 6 : -> double | |
75 | %LCLop 7 : -> int | |
76 | %LCLop 8 : -> int | |
77 | %LCLop 9 : -> int | |
78 | %LCLop __ * __ :int, int -> int | |
79 | %LCLop __ * __ :double, double -> double | |
885824d3 | 80 | %LCLop true : -> bool |
1ac6313d | 81 | %LCLtag _ts struct |
885824d3 | 82 | %LCLop false : -> bool |
83 | %LCLop __ \and __ :bool, bool -> bool | |
84 | %LCLop __ \or __ :bool, bool -> bool | |
85 | %LCLop __ \eq __ :bool, bool -> bool | |
86 | %LCLop __ \eq __ :int, int -> bool | |
87 | %LCLop __ \eq __ :double, double -> bool | |
88 | %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool | |
89 | %LCLop __ \eq __ :char, char -> bool | |
90 | %LCLop \not __ :bool -> bool | |
91 | %LCLop __ \neq __ :bool, bool -> bool | |
92 | %LCLop __ \neq __ :int, int -> bool | |
93 | %LCLop __ \neq __ :double, double -> bool | |
94 | %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool | |
95 | %LCLop __ \neq __ :char, char -> bool | |
96 | %LCLop { __ } :char -> _char_Vec | |
97 | %LCLop [__, __] :int, int -> __ts_Struct_Tuple | |
885824d3 | 98 | %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr |
99 | %LCLop __ [] :___ts_Struct_Ptr -> ___ts_Struct_Arr | |
100 | %LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr | |
1ac6313d | 101 | %LCLop __ |- __ :_char_Vec, char -> _char_Vec |
885824d3 | 102 | %LCLop __ [__] :_char_Vec, int -> char |
103 | %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj | |
104 | %LCLop __ [__] :_int_Vec, int -> int | |
105 | %LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj | |
106 | %LCLop __ [__] :___ts_Struct_Tuple_Vec, int -> __ts_Struct_Tuple | |
107 | %LCLop __ [__] :___ts_Struct_Arr, int -> __ts_Struct | |
1ac6313d | 108 | %LCLop __ -| __ :char, _char_Vec -> _char_Vec |
885824d3 | 109 | %LCLop __ \leq __ :int, int -> bool |
110 | %LCLop __ \leq __ :double, double -> bool | |
111 | %LCLop __ \geq __ :int, int -> bool | |
112 | %LCLop __ \geq __ :double, double -> bool | |
113 | %LCLop __ \select a :__ts_Struct_Tuple -> int | |
114 | %LCLop __ \select a :__ts_Struct -> _int_Obj | |
115 | %LCLop __ \select b :__ts_Struct_Tuple -> int | |
116 | %LCLop __ \select b :__ts_Struct -> _int_Obj | |
885824d3 | 117 | %LCLop null : -> char |
1ac6313d | 118 | %LCLop __ \field_arrow a :___ts_Struct_Ptr -> _int_Obj |
885824d3 | 119 | %LCLop __ \field_arrow b :___ts_Struct_Ptr -> _int_Obj |
120 | %LCLop NIL : -> __char_Obj_Ptr | |
121 | %LCLop NIL : -> ___ts_Struct_Ptr | |
122 | %LCLop NIL : -> __int_Obj_Ptr | |
123 | %LCLop - __ :int -> int | |
124 | %LCLop - __ :double -> double | |
125 | %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr | |
126 | %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr | |
127 | %LCLop __ + __ :int, int -> int | |
128 | %LCLop __ + __ :double, double -> double | |
129 | %LCLop __ + __ :___ts_Struct_Ptr, int -> ___ts_Struct_Ptr | |
130 | %LCLop __ + __ :int, ___ts_Struct_Ptr -> ___ts_Struct_Ptr | |
131 | %LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr | |
132 | %LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr | |
133 | %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr | |
134 | %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int | |
135 | %LCLop __ - __ :int, int -> int | |
136 | %LCLop __ - __ :double, double -> double | |
137 | %LCLop __ - __ :___ts_Struct_Ptr, int -> ___ts_Struct_Ptr | |
138 | %LCLop __ - __ :___ts_Struct_Ptr, ___ts_Struct_Ptr -> int | |
139 | %LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr | |
140 | %LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int | |
141 | %LCLop sizeof :bool -> int | |
142 | %LCLop sizeof :int -> int | |
143 | %LCLop sizeof :char -> int | |
144 | %LCLop sizeof :void -> int | |
145 | %LCLop sizeof :float -> int | |
146 | %LCLop sizeof :double -> int | |
147 | %LCLop isSub :_char_Vec, int -> bool | |
148 | %LCLop isSub :__char_Obj_Arr, int -> bool | |
149 | %LCLop isSub :_int_Vec, int -> bool | |
150 | %LCLop isSub :__int_Obj_Arr, int -> bool | |
151 | %LCLop isSub :___ts_Struct_Tuple_Vec, int -> bool | |
152 | %LCLop isSub :___ts_Struct_Arr, int -> bool | |
153 | %LCLop succ :int -> int | |
154 | %LCLop pred :int -> int | |
155 | %LCLop abs :int -> int | |
156 | %LCLop abs :double -> double | |
157 | %LCLop div :int, int -> int | |
158 | %LCLop mod :int, int -> int | |
885824d3 | 159 | %LCLtype float float exposed |
160 | %LCLtype bool bool immutable | |
161 | %LCLconst FALSE bool | |
162 | %LCLconst TRUE bool | |
163 | %LCLvar x _int_Obj | |
164 | %LCLvar y _int_Obj | |
165 | %LCLvar ai __int_Obj_Arr | |
166 | %LCLvar bi __int_Obj_Arr | |
167 | %LCLtype tst _tst exposed | |
168 | %LCLvar ts __ts_Struct | |
169 | %LCLvar tstp ____ts_Struct_Ptr_Obj | |
170 | %LCLfcn f : __int_Obj_Arr, __int_Obj_Ptr -> int | |
171 | %LCLfcnGlobals __int_Obj_Arr ai; _int_Obj x; _int_Obj y; __ts_Struct ts; ____ts_Struct_Ptr_Obj tstp; | |
172 | %LCLfcn g : __int_Obj_Arr, __int_Obj_Ptr -> int | |
173 | %LCLfcnGlobals _int_Obj x; _int_Obj y; | |
174 | %LCLSymbolTableEnd |