]> andersk Git - splint.git/blame - test/alias.lcs
Fixed bugs in the constant removal code for binary expressions.
[splint.git] / test / alias.lcs
CommitLineData
6e5d6478 1%PASSED Output from LCLint 3.0.0.7
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 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 ____int_Obj_Ptr_Obj_Ptr ptr ___int_Obj_Ptr_Obj nil
23%LCLsort ____int_Obj_Ptr_Obj_Arr arr ___int_Obj_Ptr_Obj nil
24%LCLsort ___int_Obj_Ptr_Vec vec __int_Obj_Ptr ____int_Obj_Ptr_Obj_Arr
25%LCLSortTableEnd
26%LCLSymbolTable
1ac6313d 27%LCLop min :int, int -> int
885824d3 28%LCLop max :int, int -> int
29%LCLop 0 : -> int
30%LCLop 0 : -> double
31%LCLop 1 : -> int
32%LCLop 1 : -> double
885824d3 33%LCLop if __ then __ else __ :bool, bool, bool -> bool
34%LCLop if __ then __ else __ :bool, int, int -> int
35%LCLop if __ then __ else __ :bool, double, double -> double
36%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
37%LCLop if __ then __ else __ :bool, char, char -> char
1ac6313d 38%LCLop __ < __ :int, int -> bool
39%LCLop __ < __ :double, double -> bool
885824d3 40%LCLop empty : -> _char_Vec
41%LCLop __ > __ :int, int -> bool
42%LCLop __ > __ :double, double -> bool
43%LCLop count :char, _char_Vec -> int
44%LCLop head :_char_Vec -> char
45%LCLop __ \inv :double -> double
46%LCLop init :_char_Vec -> _char_Vec
47%LCLop isEmpty :_char_Vec -> bool
48%LCLop last :_char_Vec -> char
49%LCLop len :_char_Vec -> int
50%LCLop prefix :_char_Vec, int -> _char_Vec
51%LCLop __ / __ :double, double -> double
885824d3 52%LCLop __ \implies __ :bool, bool -> bool
1ac6313d 53%LCLop removePrefix :_char_Vec, int -> _char_Vec
885824d3 54%LCLop substring :_char_Vec, int, int -> _char_Vec
55%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
56%LCLop tail :_char_Vec -> _char_Vec
57%LCLop __ \in __ :char, _char_Vec -> bool
58%LCLop nullTerminated :_char_Vec -> bool
59%LCLop throughNull :_char_Vec -> _char_Vec
60%LCLop sameStr :_char_Vec, _char_Vec -> bool
61%LCLop lenStr :_char_Vec -> int
62%LCLop times10plus :int, int -> int
63%LCLop plus1 :int -> int
64%LCLop 2 : -> int
65%LCLop 3 : -> int
66%LCLop 4 : -> int
67%LCLop 5 : -> int
68%LCLop 6 : -> int
69%LCLop 7 : -> int
70%LCLop 8 : -> int
71%LCLop 9 : -> int
72%LCLop __ * __ :int, int -> int
73%LCLop __ * __ :double, double -> double
74%LCLop true : -> bool
75%LCLop false : -> bool
76%LCLop __ \and __ :bool, bool -> bool
77%LCLop __ \or __ :bool, bool -> bool
78%LCLop __ \eq __ :bool, bool -> bool
79%LCLop __ \eq __ :int, int -> bool
80%LCLop __ \eq __ :double, double -> bool
81%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
82%LCLop __ \eq __ :char, char -> bool
83%LCLop \not __ :bool -> bool
84%LCLop __ \neq __ :bool, bool -> bool
85%LCLop __ \neq __ :int, int -> bool
86%LCLop __ \neq __ :double, double -> bool
87%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
88%LCLop __ \neq __ :char, char -> bool
89%LCLop { __ } :char -> _char_Vec
885824d3 90%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
91%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
92%LCLop __ [] :____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Arr
1ac6313d 93%LCLop __ |- __ :_char_Vec, char -> _char_Vec
885824d3 94%LCLop __ [__] :_char_Vec, int -> char
95%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
96%LCLop __ [__] :_int_Vec, int -> int
97%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
98%LCLop __ [__] :___int_Obj_Ptr_Vec, int -> __int_Obj_Ptr
99%LCLop __ [__] :____int_Obj_Ptr_Obj_Arr, int -> ___int_Obj_Ptr_Obj
1ac6313d 100%LCLop __ -| __ :char, _char_Vec -> _char_Vec
885824d3 101%LCLop __ \leq __ :int, int -> bool
102%LCLop __ \leq __ :double, double -> bool
103%LCLop __ \geq __ :int, int -> bool
104%LCLop __ \geq __ :double, double -> bool
105%LCLop null : -> char
106%LCLop NIL : -> __char_Obj_Ptr
107%LCLop NIL : -> __int_Obj_Ptr
108%LCLop NIL : -> ____int_Obj_Ptr_Obj_Ptr
109%LCLop - __ :int -> int
110%LCLop - __ :double -> double
111%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
112%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
113%LCLop __ + __ :int, int -> int
114%LCLop __ + __ :double, double -> double
115%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
116%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr
117%LCLop __ + __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
118%LCLop __ + __ :int, ____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Ptr
119%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
120%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
121%LCLop __ - __ :int, int -> int
122%LCLop __ - __ :double, double -> double
123%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
124%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int
125%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
126%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, ____int_Obj_Ptr_Obj_Ptr -> int
127%LCLop sizeof :bool -> int
128%LCLop sizeof :int -> int
129%LCLop sizeof :char -> int
130%LCLop sizeof :void -> int
131%LCLop sizeof :float -> int
132%LCLop sizeof :double -> int
133%LCLop sizeof :mut -> int
134%LCLop isSub :_char_Vec, int -> bool
135%LCLop isSub :__char_Obj_Arr, int -> bool
136%LCLop isSub :_int_Vec, int -> bool
137%LCLop isSub :__int_Obj_Arr, int -> bool
138%LCLop isSub :___int_Obj_Ptr_Vec, int -> bool
139%LCLop isSub :____int_Obj_Ptr_Obj_Arr, int -> bool
140%LCLop succ :int -> int
141%LCLop pred :int -> int
142%LCLop abs :int -> int
143%LCLop abs :double -> double
144%LCLop div :int, int -> int
145%LCLop mod :int, int -> int
885824d3 146%LCLtype float float exposed
147%LCLtype bool bool immutable
148%LCLconst FALSE bool
149%LCLconst TRUE bool
150%LCLtype float float exposed
151%LCLtype bool bool immutable
152%LCLconst FALSE bool
153%LCLconst TRUE bool
154%LCLtype mut _mut_Obj mutable
155%LCLfcn mut_create : -> _mut_Obj
156%LCLfcnGlobals
157%LCLfcn mut_mod : _mut_Obj -> void
158%LCLfcnGlobals
159%LCLvar glob _int_Obj
160%LCLvar globp ___int_Obj_Ptr_Obj
161%LCLfcn f : __int_Obj_Ptr, int, ____int_Obj_Ptr_Obj_Ptr -> int
162%LCLfcnGlobals _int_Obj glob; ___int_Obj_Ptr_Obj globp;
163%LCLfcn h : _mut_Obj, _mut_Obj -> int
164%LCLfcnGlobals
165%LCLSymbolTableEnd
This page took 0.216472 seconds and 5 git commands to generate.