]> andersk Git - splint.git/blame - test/alias4.lcs
Commiting Merge of changes made in semester and ver 2.5M
[splint.git] / test / alias4.lcs
CommitLineData
885824d3 1%PASSED Output from LCLint 2.5m
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 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
38%LCLSortTableEnd
39%LCLSymbolTable
1ac6313d 40%LCLop min :int, int -> int
885824d3 41%LCLop max :int, int -> int
42%LCLop 0 : -> int
43%LCLop 0 : -> double
44%LCLop 1 : -> int
45%LCLop 1 : -> double
885824d3 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
1ac6313d 51%LCLop __ < __ :int, int -> bool
52%LCLop __ < __ :double, double -> bool
885824d3 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
885824d3 65%LCLop __ \implies __ :bool, bool -> bool
1ac6313d 66%LCLop removePrefix :_char_Vec, int -> _char_Vec
885824d3 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
77%LCLop 2 : -> int
78%LCLop 3 : -> int
79%LCLop 4 : -> int
80%LCLop 5 : -> int
81%LCLop 6 : -> int
82%LCLop 7 : -> int
83%LCLop 8 : -> int
84%LCLop 9 : -> int
85%LCLop __ * __ :int, int -> int
86%LCLop __ * __ :double, double -> double
87%LCLop true : -> bool
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
885824d3 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
1ac6313d 109%LCLop __ |- __ :_char_Vec, char -> _char_Vec
885824d3 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
1ac6313d 118%LCLop __ -| __ :char, _char_Vec -> _char_Vec
885824d3 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
885824d3 183%LCLtype float float exposed
184%LCLtype bool bool immutable
185%LCLconst FALSE bool
186%LCLconst TRUE bool
187%LCLtype float float exposed
188%LCLtype bool bool immutable
189%LCLconst FALSE bool
190%LCLconst TRUE bool
191%LCLtype mut _mut_Obj mutable
192%LCLfcn mut_create : -> _mut_Obj
193%LCLfcnGlobals
194%LCLfcn mut_mod : _mut_Obj -> void
195%LCLfcnGlobals
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
200%LCLfcnGlobals
201%LCLfcn g : -> int
202%LCLfcnGlobals _int_Obj glob;
203%LCLfcn h : -> __int_Obj_Ptr
204%LCLfcnGlobals _int_Obj glob; _salias41s_Struct globs; ___int_Obj_Ptr_Obj globp;
205%LCLSymbolTableEnd
This page took 0.174022 seconds and 5 git commands to generate.