From 9a45202a52103e8e330c0f92551c0216c0743ec3 Mon Sep 17 00:00:00 2001 From: evans1629 Date: Mon, 31 Dec 2001 03:32:09 +0000 Subject: [PATCH] Removed test/*.lcs test/*.lh from CVS --- test/abst_t.lcs | 131 ------------------------- test/abstptr.lcs | 123 ----------------------- test/alias.lcs | 165 ------------------------------- test/alias2.lcs | 154 ----------------------------- test/alias3.lcs | 228 ------------------------------------------- test/alias3.lh | 27 ----- test/alias4.lcs | 205 -------------------------------------- test/alias4.lh | 14 --- test/alias5.lcs | 135 ------------------------- test/alias5.lh | 10 -- test/argorder2.lcs | 127 ------------------------ test/argorder4.lcs | 127 ------------------------ test/args.lcs | 133 ------------------------- test/cast.lcs | 127 ------------------------ test/decl2.lcs | 121 ----------------------- test/enum.lcs | 227 ------------------------------------------ test/glob.lcs | 129 ------------------------ test/impabstract.lcs | 125 ------------------------ test/iter.lcs | 119 ---------------------- test/macros.lcs | 152 ----------------------------- test/macrosef.lcs | 137 -------------------------- test/modtest.lcs | 174 --------------------------------- test/mut.lcs | 127 ------------------------ test/mut.lh | 6 -- test/null6.lcs | 123 ----------------------- test/observer.lcs | 125 ------------------------ test/oldstyle.lcs | 125 ------------------------ test/outglob.lcs | 127 ------------------------ test/outparam.lcs | 167 ------------------------------- test/repexpose.lcs | 172 -------------------------------- test/repexpose.lh | 14 --- test/special.lcs | 126 ------------------------ test/tq.lcs | 149 ---------------------------- test/ud2.lcs | 153 ----------------------------- 34 files changed, 4304 deletions(-) delete mode 100644 test/abst_t.lcs delete mode 100644 test/abstptr.lcs delete mode 100644 test/alias.lcs delete mode 100644 test/alias2.lcs delete mode 100644 test/alias3.lcs delete mode 100644 test/alias3.lh delete mode 100644 test/alias4.lcs delete mode 100644 test/alias4.lh delete mode 100644 test/alias5.lcs delete mode 100644 test/alias5.lh delete mode 100644 test/argorder2.lcs delete mode 100644 test/argorder4.lcs delete mode 100644 test/args.lcs delete mode 100644 test/cast.lcs delete mode 100644 test/decl2.lcs delete mode 100644 test/enum.lcs delete mode 100644 test/glob.lcs delete mode 100644 test/impabstract.lcs delete mode 100644 test/iter.lcs delete mode 100644 test/macros.lcs delete mode 100644 test/macrosef.lcs delete mode 100644 test/modtest.lcs delete mode 100644 test/mut.lcs delete mode 100644 test/mut.lh delete mode 100644 test/null6.lcs delete mode 100644 test/observer.lcs delete mode 100644 test/oldstyle.lcs delete mode 100644 test/outglob.lcs delete mode 100644 test/outparam.lcs delete mode 100644 test/repexpose.lcs delete mode 100644 test/repexpose.lh delete mode 100644 test/special.lcs delete mode 100644 test/tq.lcs delete mode 100644 test/ud2.lcs diff --git a/test/abst_t.lcs b/test/abst_t.lcs deleted file mode 100644 index a514585..0000000 --- a/test/abst_t.lcs +++ /dev/null @@ -1,131 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort abst1 immutable nil nil -%LCLsort _abst1_Obj mutable abst1 nil -%LCLsort abst2 immutable nil nil -%LCLsort _abst2_Obj mutable abst2 nil -%LCLsort abst3 immutable nil nil -%LCLsort _abst3_Obj mutable abst3 nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :abst1 -> int -%LCLop sizeof :abst2 -> int -%LCLop sizeof :abst3 -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype abst1 _abst1_Obj mutable -%LCLtype abst2 _abst2_Obj mutable -%LCLtype abst3 _abst3_Obj mutable -%LCLSymbolTableEnd diff --git a/test/abstptr.lcs b/test/abstptr.lcs deleted file mode 100644 index 561da0e..0000000 --- a/test/abstptr.lcs +++ /dev/null @@ -1,123 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort abst immutable nil nil -%LCLsort _abst_Obj mutable abst nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :abst -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype abst _abst_Obj mutable -%LCLSymbolTableEnd diff --git a/test/alias.lcs b/test/alias.lcs deleted file mode 100644 index 5228048..0000000 --- a/test/alias.lcs +++ /dev/null @@ -1,165 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort mut immutable nil nil -%LCLsort _mut_Obj mutable mut nil -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil -%LCLsort ____int_Obj_Ptr_Obj_Ptr ptr ___int_Obj_Ptr_Obj nil -%LCLsort ____int_Obj_Ptr_Obj_Arr arr ___int_Obj_Ptr_Obj nil -%LCLsort ___int_Obj_Ptr_Vec vec __int_Obj_Ptr ____int_Obj_Ptr_Obj_Arr -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ [] :____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ [__] :___int_Obj_Ptr_Vec, int -> __int_Obj_Ptr -%LCLop __ [__] :____int_Obj_Ptr_Obj_Arr, int -> ___int_Obj_Ptr_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop NIL : -> ____int_Obj_Ptr_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ + __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ + __ :int, ____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, ____int_Obj_Ptr_Obj_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :mut -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop isSub :___int_Obj_Ptr_Vec, int -> bool -%LCLop isSub :____int_Obj_Ptr_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype mut _mut_Obj mutable -%LCLfcn mut_create : -> _mut_Obj -%LCLfcnGlobals -%LCLfcn mut_mod : _mut_Obj -> void -%LCLfcnGlobals -%LCLvar glob _int_Obj -%LCLvar globp ___int_Obj_Ptr_Obj -%LCLfcn f : __int_Obj_Ptr, int, ____int_Obj_Ptr_Obj_Ptr -> int -%LCLfcnGlobals _int_Obj glob; ___int_Obj_Ptr_Obj globp; -%LCLfcn h : _mut_Obj, _mut_Obj -> int -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/alias2.lcs b/test/alias2.lcs deleted file mode 100644 index 6d45b0b..0000000 --- a/test/alias2.lcs +++ /dev/null @@ -1,154 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort mut immutable nil nil -%LCLsort _mut_Obj mutable mut nil -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil -%LCLsort ____int_Obj_Ptr_Obj_Ptr ptr ___int_Obj_Ptr_Obj nil -%LCLsort ____int_Obj_Ptr_Obj_Arr arr ___int_Obj_Ptr_Obj nil -%LCLsort ___int_Obj_Ptr_Vec vec __int_Obj_Ptr ____int_Obj_Ptr_Obj_Arr -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ [] :____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ [__] :___int_Obj_Ptr_Vec, int -> __int_Obj_Ptr -%LCLop __ [__] :____int_Obj_Ptr_Obj_Arr, int -> ___int_Obj_Ptr_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop NIL : -> ____int_Obj_Ptr_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ + __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ + __ :int, ____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, ____int_Obj_Ptr_Obj_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :mut -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop isSub :___int_Obj_Ptr_Vec, int -> bool -%LCLop isSub :____int_Obj_Ptr_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar glob _int_Obj -%LCLvar globp ___int_Obj_Ptr_Obj -%LCLfcn f : __int_Obj_Ptr, int, ____int_Obj_Ptr_Obj_Ptr -> int -%LCLfcnGlobals _int_Obj glob; ___int_Obj_Ptr_Obj globp; -%LCLSymbolTableEnd diff --git a/test/alias3.lcs b/test/alias3.lcs deleted file mode 100644 index 049a491..0000000 --- a/test/alias3.lcs +++ /dev/null @@ -1,228 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _s_st_Struct str s_st nil -%LCLsort b strMem ___int_Obj_Ptr_Obj nil -%LCLsort a strMem _int_Obj nil -%LCLsort strEnd nil nil nil -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil -%LCLsort _s_st_Struct_Tuple tup _s_st_Struct nil -%LCLsort __s_st_Struct_Ptr ptr _s_st_Struct nil -%LCLsort __s_st_Struct_Arr arr _s_st_Struct nil -%LCLsort __s_st_Struct_Tuple_Vec vec _s_st_Struct_Tuple __s_st_Struct_Arr -%LCLsort _st synonym _s_st_Struct nil -%LCLsort _s_ut_Union union s_ut nil -%LCLsort c unionMem _____int_Obj_Ptr_Obj_Ptr_Obj nil -%LCLsort t unionMem ___s_st_Struct_Ptr_Obj nil -%LCLsort s unionMem _s_st_Struct nil -%LCLsort a unionMem _int_Obj nil -%LCLsort unionEnd nil nil nil -%LCLsort ___s_st_Struct_Ptr_Obj obj __s_st_Struct_Ptr nil -%LCLsort ____int_Obj_Ptr_Obj_Ptr ptr ___int_Obj_Ptr_Obj nil -%LCLsort ____int_Obj_Ptr_Obj_Arr arr ___int_Obj_Ptr_Obj nil -%LCLsort ___int_Obj_Ptr_Vec vec __int_Obj_Ptr ____int_Obj_Ptr_Obj_Arr -%LCLsort _____int_Obj_Ptr_Obj_Ptr_Obj obj ____int_Obj_Ptr_Obj_Ptr nil -%LCLsort _s_ut_Union_UnionVal unionval _s_ut_Union nil -%LCLsort __s_ut_Union_Ptr ptr _s_ut_Union nil -%LCLsort __s_ut_Union_Arr arr _s_ut_Union nil -%LCLsort __s_ut_Union_UnionVal_Vec vec _s_ut_Union_UnionVal __s_ut_Union_Arr -%LCLsort _ut synonym _s_ut_Union nil -%LCLsort ___s_ut_Union_Ptr_Obj obj __s_ut_Union_Ptr nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 6 : -> double -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLtag s_st struct -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLtag s_ut union -%LCLop [__, __] :__int_Obj_Ptr, int -> _s_st_Struct_Tuple -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ [] :__s_st_Struct_Ptr -> __s_st_Struct_Arr -%LCLop __ [] :____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Arr -%LCLop __ [] :__s_ut_Union_Ptr -> __s_ut_Union_Arr -%LCLop __ \select a :_s_st_Struct_Tuple -> int -%LCLop __ \select a :_s_st_Struct -> _int_Obj -%LCLop __ \select a :_s_ut_Union_UnionVal -> int -%LCLop __ \select a :_s_ut_Union -> _int_Obj -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ \select b :_s_st_Struct_Tuple -> __int_Obj_Ptr -%LCLop __ \select b :_s_st_Struct -> ___int_Obj_Ptr_Obj -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ [__] :__s_st_Struct_Tuple_Vec, int -> _s_st_Struct_Tuple -%LCLop __ [__] :__s_st_Struct_Arr, int -> _s_st_Struct -%LCLop __ [__] :___int_Obj_Ptr_Vec, int -> __int_Obj_Ptr -%LCLop __ [__] :____int_Obj_Ptr_Obj_Arr, int -> ___int_Obj_Ptr_Obj -%LCLop __ [__] :__s_ut_Union_UnionVal_Vec, int -> _s_ut_Union_UnionVal -%LCLop __ [__] :__s_ut_Union_Arr, int -> _s_ut_Union -%LCLop __ \field_arrow a :__s_st_Struct_Ptr -> _int_Obj -%LCLop __ \field_arrow a :__s_ut_Union_Ptr -> int -%LCLop __ \field_arrow a :__s_ut_Union_Ptr -> _int_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \field_arrow b :__s_st_Struct_Ptr -> ___int_Obj_Ptr_Obj -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop __ \select s :_s_ut_Union_UnionVal -> _s_st_Struct_Tuple -%LCLop __ \select s :_s_ut_Union -> _s_st_Struct -%LCLop __ \select t :_s_ut_Union_UnionVal -> __s_st_Struct_Ptr -%LCLop __ \select t :_s_ut_Union -> ___s_st_Struct_Ptr_Obj -%LCLop __ \field_arrow s :__s_ut_Union_Ptr -> _s_st_Struct_Tuple -%LCLop __ \field_arrow s :__s_ut_Union_Ptr -> _s_st_Struct -%LCLop __ \select c :_s_ut_Union_UnionVal -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ \select c :_s_ut_Union -> _____int_Obj_Ptr_Obj_Ptr_Obj -%LCLop __ \field_arrow t :__s_ut_Union_Ptr -> __s_st_Struct_Ptr -%LCLop __ \field_arrow t :__s_ut_Union_Ptr -> ___s_st_Struct_Ptr_Obj -%LCLop __ \field_arrow c :__s_ut_Union_Ptr -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ \field_arrow c :__s_ut_Union_Ptr -> _____int_Obj_Ptr_Obj_Ptr_Obj -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop NIL : -> __s_st_Struct_Ptr -%LCLop NIL : -> ____int_Obj_Ptr_Obj_Ptr -%LCLop NIL : -> __s_ut_Union_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ + __ :__s_st_Struct_Ptr, int -> __s_st_Struct_Ptr -%LCLop __ + __ :int, __s_st_Struct_Ptr -> __s_st_Struct_Ptr -%LCLop __ + __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ + __ :int, ____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ + __ :__s_ut_Union_Ptr, int -> __s_ut_Union_Ptr -%LCLop __ + __ :int, __s_ut_Union_Ptr -> __s_ut_Union_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop __ - __ :__s_st_Struct_Ptr, int -> __s_st_Struct_Ptr -%LCLop __ - __ :__s_st_Struct_Ptr, __s_st_Struct_Ptr -> int -%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr -%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, ____int_Obj_Ptr_Obj_Ptr -> int -%LCLop __ - __ :__s_ut_Union_Ptr, int -> __s_ut_Union_Ptr -%LCLop __ - __ :__s_ut_Union_Ptr, __s_ut_Union_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop isSub :__s_st_Struct_Tuple_Vec, int -> bool -%LCLop isSub :__s_st_Struct_Arr, int -> bool -%LCLop isSub :___int_Obj_Ptr_Vec, int -> bool -%LCLop isSub :____int_Obj_Ptr_Obj_Arr, int -> bool -%LCLop isSub :__s_ut_Union_UnionVal_Vec, int -> bool -%LCLop isSub :__s_ut_Union_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype st _st exposed -%LCLtype ut _ut exposed -%LCLvar gst _s_st_Struct -%LCLvar gu ___s_ut_Union_Ptr_Obj -%LCLfcn f : __int_Obj_Arr, _s_st_Struct_Tuple, __s_ut_Union_Ptr -> int -%LCLfcnGlobals _s_st_Struct gst; ___s_ut_Union_Ptr_Obj gu; -%LCLfcn model : __int_Obj_Arr -> void -%LCLfcnGlobals _s_st_Struct gst; ___s_ut_Union_Ptr_Obj gu; -%LCLfcn modst : _s_st_Struct_Tuple -> void -%LCLfcnGlobals -%LCLfcn modu : __s_ut_Union_Ptr -> void -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/alias3.lh b/test/alias3.lh deleted file mode 100644 index 5c9ecf3..0000000 --- a/test/alias3.lh +++ /dev/null @@ -1,27 +0,0 @@ -/* Output from Splint 3.0.0.20 */ -# include "bool.h" - - -# ifndef EXPOSED_TYPE_st -typedef struct s_st { - int a; - int *b; - } st; -# endif - - -# ifndef EXPOSED_TYPE_ut -typedef union s_ut { - int a; - st s; - st *t; - int **c; - } ut; -# endif - -extern st gst; -extern ut *gu; -extern int f (int /* ia */[], st /* s1 */, ut * /* u1 */); -extern void model (int /* ia */[]); -extern void modst (st /* s1 */); -extern void modu (ut * /* u */); diff --git a/test/alias4.lcs b/test/alias4.lcs deleted file mode 100644 index 98e47ad..0000000 --- a/test/alias4.lcs +++ /dev/null @@ -1,205 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort mut immutable nil nil -%LCLsort _mut_Obj mutable mut nil -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil -%LCLsort _salias40s_Struct str salias40s nil -%LCLsort field strMem ___int_Obj_Ptr_Obj nil -%LCLsort val strMem _int_Obj nil -%LCLsort strEnd nil nil nil -%LCLsort _salias40s_Struct_Tuple tup _salias40s_Struct nil -%LCLsort __salias40s_Struct_Ptr ptr _salias40s_Struct nil -%LCLsort __salias40s_Struct_Arr arr _salias40s_Struct nil -%LCLsort __salias40s_Struct_Tuple_Vec vec _salias40s_Struct_Tuple __salias40s_Struct_Arr -%LCLsort _salias41s_Struct str salias41s nil -%LCLsort field strMem ___int_Obj_Ptr_Obj nil -%LCLsort val strMem _int_Obj nil -%LCLsort strEnd nil nil nil -%LCLsort _salias41s_Struct_Tuple tup _salias41s_Struct nil -%LCLsort __salias41s_Struct_Ptr ptr _salias41s_Struct nil -%LCLsort __salias41s_Struct_Arr arr _salias41s_Struct nil -%LCLsort __salias41s_Struct_Tuple_Vec vec _salias41s_Struct_Tuple __salias41s_Struct_Arr -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop [__, __] :__int_Obj_Ptr, int -> _salias40s_Struct_Tuple -%LCLop [__, __] :__int_Obj_Ptr, int -> _salias41s_Struct_Tuple -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ [] :__salias40s_Struct_Ptr -> __salias40s_Struct_Arr -%LCLop __ [] :__salias41s_Struct_Ptr -> __salias41s_Struct_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ [__] :__salias40s_Struct_Tuple_Vec, int -> _salias40s_Struct_Tuple -%LCLop __ [__] :__salias40s_Struct_Arr, int -> _salias40s_Struct -%LCLop __ [__] :__salias41s_Struct_Tuple_Vec, int -> _salias41s_Struct_Tuple -%LCLop __ [__] :__salias41s_Struct_Arr, int -> _salias41s_Struct -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop __ \select val :_salias40s_Struct_Tuple -> int -%LCLop __ \select val :_salias40s_Struct -> _int_Obj -%LCLop __ \select val :_salias41s_Struct_Tuple -> int -%LCLop __ \select val :_salias41s_Struct -> _int_Obj -%LCLop __ \select field :_salias40s_Struct_Tuple -> __int_Obj_Ptr -%LCLop __ \select field :_salias40s_Struct -> ___int_Obj_Ptr_Obj -%LCLop __ \select field :_salias41s_Struct_Tuple -> __int_Obj_Ptr -%LCLop __ \select field :_salias41s_Struct -> ___int_Obj_Ptr_Obj -%LCLop __ \field_arrow val :__salias40s_Struct_Ptr -> _int_Obj -%LCLop __ \field_arrow val :__salias41s_Struct_Ptr -> _int_Obj -%LCLop __ \field_arrow field :__salias40s_Struct_Ptr -> ___int_Obj_Ptr_Obj -%LCLop __ \field_arrow field :__salias41s_Struct_Ptr -> ___int_Obj_Ptr_Obj -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop NIL : -> __salias40s_Struct_Ptr -%LCLop NIL : -> __salias41s_Struct_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ + __ :__salias40s_Struct_Ptr, int -> __salias40s_Struct_Ptr -%LCLop __ + __ :int, __salias40s_Struct_Ptr -> __salias40s_Struct_Ptr -%LCLop __ + __ :__salias41s_Struct_Ptr, int -> __salias41s_Struct_Ptr -%LCLop __ + __ :int, __salias41s_Struct_Ptr -> __salias41s_Struct_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop __ - __ :__salias40s_Struct_Ptr, int -> __salias40s_Struct_Ptr -%LCLop __ - __ :__salias40s_Struct_Ptr, __salias40s_Struct_Ptr -> int -%LCLop __ - __ :__salias41s_Struct_Ptr, int -> __salias41s_Struct_Ptr -%LCLop __ - __ :__salias41s_Struct_Ptr, __salias41s_Struct_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :mut -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop isSub :__salias40s_Struct_Tuple_Vec, int -> bool -%LCLop isSub :__salias40s_Struct_Arr, int -> bool -%LCLop isSub :__salias41s_Struct_Tuple_Vec, int -> bool -%LCLop isSub :__salias41s_Struct_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype mut _mut_Obj mutable -%LCLfcn mut_create : -> _mut_Obj -%LCLfcnGlobals -%LCLfcn mut_mod : _mut_Obj -> void -%LCLfcnGlobals -%LCLvar glob _int_Obj -%LCLvar globp ___int_Obj_Ptr_Obj -%LCLvar globs _salias40s_Struct -%LCLfcn f : _mut_Obj, _mut_Obj -> _mut_Obj -%LCLfcnGlobals -%LCLfcn g : -> int -%LCLfcnGlobals _int_Obj glob; -%LCLfcn h : -> __int_Obj_Ptr -%LCLfcnGlobals _int_Obj glob; _salias41s_Struct globs; ___int_Obj_Ptr_Obj globp; -%LCLSymbolTableEnd diff --git a/test/alias4.lh b/test/alias4.lh deleted file mode 100644 index 63e4f54..0000000 --- a/test/alias4.lh +++ /dev/null @@ -1,14 +0,0 @@ -/* Output from Splint 3.0.0.20 */ - -# include "bool.h" -# include "mut.h" - -extern int glob; -extern int *globp; -extern struct { - int val; - int *field; - } globs; -extern mut f (mut /* a */, mut /* b */); -extern int g (void); -extern int *h (void); diff --git a/test/alias5.lcs b/test/alias5.lcs deleted file mode 100644 index ff93612..0000000 --- a/test/alias5.lcs +++ /dev/null @@ -1,135 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort pair immutable nil nil -%LCLsort _pair_Obj mutable pair nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :pair -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype pair _pair_Obj mutable -%LCLfcn incx1 : _pair_Obj -> void -%LCLfcnGlobals -%LCLfcn incx2 : _pair_Obj -> void -%LCLfcnGlobals -%LCLfcn incx3 : _pair_Obj -> void -%LCLfcnGlobals -%LCLfcn incx4 : _pair_Obj -> void -%LCLfcnGlobals -%LCLfcn pair_create : -> _pair_Obj -%LCLfcnGlobals -%LCLfcn pair_free : _pair_Obj -> void -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/alias5.lh b/test/alias5.lh deleted file mode 100644 index 6f2bc19..0000000 --- a/test/alias5.lh +++ /dev/null @@ -1,10 +0,0 @@ -/* Output from Splint 3.0.0.20 */ -# include "bool.h" - - -extern void incx1 (pair /* p */); -extern void incx2 (pair /* p */); -extern void incx3 (pair /* p */); -extern void incx4 (pair /* p */); -extern /*@only@*/ pair pair_create (void); -extern void pair_free (/*@only@*/ /*@out@*/ pair /* p */); diff --git a/test/argorder2.lcs b/test/argorder2.lcs deleted file mode 100644 index a9eb3d1..0000000 --- a/test/argorder2.lcs +++ /dev/null @@ -1,127 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _int_Obj obj int nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar i _int_Obj -%LCLfcn f : int, int -> int -%LCLfcnGlobals _int_Obj i; -%LCLfcn g : -> int -%LCLfcnGlobals _int_Obj i; -%LCLfcn h : -> int -%LCLfcnGlobals _int_Obj i; -%LCLSymbolTableEnd diff --git a/test/argorder4.lcs b/test/argorder4.lcs deleted file mode 100644 index 3035277..0000000 --- a/test/argorder4.lcs +++ /dev/null @@ -1,127 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _int_Obj obj int nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar glob _int_Obj -%LCLfcn f : -> int -%LCLfcnGlobals _int_Obj glob; -%LCLfcn g : -> int -%LCLfcnGlobals _int_Obj glob; -%LCLfcn h : -> int -%LCLfcnGlobals _int_Obj glob; -%LCLSymbolTableEnd diff --git a/test/args.lcs b/test/args.lcs deleted file mode 100644 index dcc20c6..0000000 --- a/test/args.lcs +++ /dev/null @@ -1,133 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLfcn severalargs : int, __char_Obj_Ptr -> int -%LCLfcnGlobals -%LCLfcn severalargs2 : int, __char_Obj_Ptr -> int -%LCLfcnGlobals -%LCLfcn any : -> int -%LCLfcnGlobals -%LCLfcn many1 : int, char -> int -%LCLfcnGlobals -%LCLfcn many2 : int, char -> int -%LCLfcnGlobals -%LCLfcn many3 : int, char -> int -%LCLfcnGlobals -%LCLfcn voidargs : -> int -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/cast.lcs b/test/cast.lcs deleted file mode 100644 index fc3048a..0000000 --- a/test/cast.lcs +++ /dev/null @@ -1,127 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort abst1 immutable nil nil -%LCLsort _abst1_Obj mutable abst1 nil -%LCLsort abst2 immutable nil nil -%LCLsort _abst2_Obj mutable abst2 nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :abst1 -> int -%LCLop sizeof :abst2 -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype abst1 _abst1_Obj mutable -%LCLtype abst2 _abst2_Obj mutable -%LCLSymbolTableEnd diff --git a/test/decl2.lcs b/test/decl2.lcs deleted file mode 100644 index a805ee3..0000000 --- a/test/decl2.lcs +++ /dev/null @@ -1,121 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _int_Obj obj int nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar glob _int_Obj -%LCLSymbolTableEnd diff --git a/test/enum.lcs b/test/enum.lcs deleted file mode 100644 index 5ed12b8..0000000 --- a/test/enum.lcs +++ /dev/null @@ -1,227 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _eenum0e_Enum enum eenum0e nil -%LCLsort three enumMem nil nil -%LCLsort two enumMem nil nil -%LCLsort one enumMem nil nil -%LCLsort enumEnd nil nil nil -%LCLsort _etype synonym _eenum0e_Enum nil -%LCLsort _eenum1e_Enum enum eenum1e nil -%LCLsort dos enumMem nil nil -%LCLsort uno enumMem nil nil -%LCLsort cero enumMem nil nil -%LCLsort enumEnd nil nil nil -%LCLsort _stype synonym _eenum1e_Enum nil -%LCLsort __ietag_Enum enum _ietag nil -%LCLsort siete enumMem nil nil -%LCLsort enumEnd nil nil nil -%LCLsort _itype synonym __ietag_Enum nil -%LCLsort _senum0s_Struct str senum0s nil -%LCLsort b strMem _int_Obj nil -%LCLsort a strMem _int_Obj nil -%LCLsort strEnd nil nil nil -%LCLsort _int_Obj obj int nil -%LCLsort _senum0s_Struct_Tuple tup _senum0s_Struct nil -%LCLsort __senum0s_Struct_Ptr ptr _senum0s_Struct nil -%LCLsort __senum0s_Struct_Arr arr _senum0s_Struct nil -%LCLsort __senum0s_Struct_Tuple_Vec vec _senum0s_Struct_Tuple __senum0s_Struct_Arr -%LCLsort _st synonym _senum0s_Struct nil -%LCLsort _senum1s_Struct str senum1s nil -%LCLsort c strMem _int_Obj nil -%LCLsort b strMem _int_Obj nil -%LCLsort a strMem _int_Obj nil -%LCLsort strEnd nil nil nil -%LCLsort _senum1s_Struct_Tuple tup _senum1s_Struct nil -%LCLsort __senum1s_Struct_Ptr ptr _senum1s_Struct nil -%LCLsort __senum1s_Struct_Arr arr _senum1s_Struct nil -%LCLsort __senum1s_Struct_Tuple_Vec vec _senum1s_Struct_Tuple __senum1s_Struct_Arr -%LCLsort _st2 synonym _senum1s_Struct nil -%LCLsort _eenum2e_Enum enum eenum2e nil -%LCLsort yasta enumMem nil nil -%LCLsort pasta enumMem nil nil -%LCLsort hasta enumMem nil nil -%LCLsort enumEnd nil nil nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop one : -> _eenum0e_Enum -%LCLop two : -> _eenum0e_Enum -%LCLop three : -> _eenum0e_Enum -%LCLop cero : -> _eenum1e_Enum -%LCLop uno : -> _eenum1e_Enum -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop dos : -> _eenum1e_Enum -%LCLop true : -> bool -%LCLop false : -> bool -%LCLtag _ietag enum -%LCLop siete : -> __ietag_Enum -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop [__, __] :int, int -> _senum0s_Struct_Tuple -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :__senum0s_Struct_Ptr -> __senum0s_Struct_Arr -%LCLop __ [] :__senum1s_Struct_Ptr -> __senum1s_Struct_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop [__, __, __] :int, int, int -> _senum1s_Struct_Tuple -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :__senum0s_Struct_Tuple_Vec, int -> _senum0s_Struct_Tuple -%LCLop __ [__] :__senum0s_Struct_Arr, int -> _senum0s_Struct -%LCLop __ [__] :__senum1s_Struct_Tuple_Vec, int -> _senum1s_Struct_Tuple -%LCLop __ [__] :__senum1s_Struct_Arr, int -> _senum1s_Struct -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop hasta : -> _eenum2e_Enum -%LCLop pasta : -> _eenum2e_Enum -%LCLop yasta : -> _eenum2e_Enum -%LCLop __ \select a :_senum0s_Struct_Tuple -> int -%LCLop __ \select a :_senum0s_Struct -> _int_Obj -%LCLop __ \select a :_senum1s_Struct_Tuple -> int -%LCLop __ \select a :_senum1s_Struct -> _int_Obj -%LCLop __ \select b :_senum0s_Struct_Tuple -> int -%LCLop __ \select b :_senum0s_Struct -> _int_Obj -%LCLop __ \select b :_senum1s_Struct_Tuple -> int -%LCLop __ \select b :_senum1s_Struct -> _int_Obj -%LCLop __ \field_arrow a :__senum0s_Struct_Ptr -> _int_Obj -%LCLop __ \field_arrow a :__senum1s_Struct_Ptr -> _int_Obj -%LCLop __ \field_arrow b :__senum0s_Struct_Ptr -> _int_Obj -%LCLop __ \field_arrow b :__senum1s_Struct_Ptr -> _int_Obj -%LCLop __ \select c :_senum1s_Struct_Tuple -> int -%LCLop __ \select c :_senum1s_Struct -> _int_Obj -%LCLop __ \field_arrow c :__senum1s_Struct_Ptr -> _int_Obj -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> __senum0s_Struct_Ptr -%LCLop NIL : -> __senum1s_Struct_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :__senum0s_Struct_Ptr, int -> __senum0s_Struct_Ptr -%LCLop __ + __ :int, __senum0s_Struct_Ptr -> __senum0s_Struct_Ptr -%LCLop __ + __ :__senum1s_Struct_Ptr, int -> __senum1s_Struct_Ptr -%LCLop __ + __ :int, __senum1s_Struct_Ptr -> __senum1s_Struct_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :__senum0s_Struct_Ptr, int -> __senum0s_Struct_Ptr -%LCLop __ - __ :__senum0s_Struct_Ptr, __senum0s_Struct_Ptr -> int -%LCLop __ - __ :__senum1s_Struct_Ptr, int -> __senum1s_Struct_Ptr -%LCLop __ - __ :__senum1s_Struct_Ptr, __senum1s_Struct_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :_eenum0e_Enum -> int -%LCLop sizeof :_eenum1e_Enum -> int -%LCLop sizeof :__ietag_Enum -> int -%LCLop sizeof :_eenum2e_Enum -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :__senum0s_Struct_Tuple_Vec, int -> bool -%LCLop isSub :__senum0s_Struct_Arr, int -> bool -%LCLop isSub :__senum1s_Struct_Tuple_Vec, int -> bool -%LCLop isSub :__senum1s_Struct_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLenumConst one _eenum0e_Enum -%LCLenumConst two _eenum0e_Enum -%LCLenumConst three _eenum0e_Enum -%LCLtype etype _etype exposed -%LCLenumConst cero _eenum1e_Enum -%LCLenumConst uno _eenum1e_Enum -%LCLenumConst dos _eenum1e_Enum -%LCLtype stype _stype exposed -%LCLenumConst siete __ietag_Enum -%LCLtype itype _itype exposed -%LCLtype st _st exposed -%LCLtype st2 _st2 exposed -%LCLenumConst hasta _eenum2e_Enum -%LCLenumConst pasta _eenum2e_Enum -%LCLenumConst yasta _eenum2e_Enum -%LCLSymbolTableEnd diff --git a/test/glob.lcs b/test/glob.lcs deleted file mode 100644 index 486b13e..0000000 --- a/test/glob.lcs +++ /dev/null @@ -1,129 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _int_Obj obj int nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar x _int_Obj -%LCLvar y _int_Obj -%LCLvar z _int_Obj -%LCLfcn useGlob : int -> int -%LCLfcnGlobals _int_Obj x; _int_Obj y; _int_Obj z; -%LCLfcn dontuseGlob : int -> int -%LCLfcnGlobals -%LCLfcn callsUseGlob : int -> int -%LCLfcnGlobals _int_Obj x; -%LCLSymbolTableEnd diff --git a/test/impabstract.lcs b/test/impabstract.lcs deleted file mode 100644 index b23b157..0000000 --- a/test/impabstract.lcs +++ /dev/null @@ -1,125 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _mint synonym int nil -%LCLsort cint immutable nil nil -%LCLsort _cint_Obj mutable cint nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :cint -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype mint _mint exposed -%LCLtype cint _cint_Obj mutable -%LCLSymbolTableEnd diff --git a/test/iter.lcs b/test/iter.lcs deleted file mode 100644 index 1a5f4f1..0000000 --- a/test/iter.lcs +++ /dev/null @@ -1,119 +0,0 @@ -%FAILED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLSymbolTableEnd diff --git a/test/macros.lcs b/test/macros.lcs deleted file mode 100644 index 7cb29e6..0000000 --- a/test/macros.lcs +++ /dev/null @@ -1,152 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort twerp immutable nil nil -%LCLsort _int_Obj obj int nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :twerp -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype twerp twerp immutable -%LCLfcn ok : int, int -> int -%LCLfcnGlobals -%LCLfcn needparen : int, int -> int -%LCLfcnGlobals -%LCLfcn needuse : int, int -> int -%LCLfcnGlobals -%LCLfcn multuse : int, int -> int -%LCLfcnGlobals -%LCLfcn badassign : int, int -> int -%LCLfcnGlobals -%LCLfcn predok : int, int -> int -%LCLfcnGlobals -%LCLfcn predbad : int, int -> int -%LCLfcnGlobals -%LCLfcn predbad2 : int, int -> int -%LCLfcnGlobals -%LCLfcn badorder : int, int -> int -%LCLfcnGlobals -%LCLfcn okorder : int, int, int -> int -%LCLfcnGlobals -%LCLfcn okorder2 : int, int, int -> int -%LCLfcnGlobals -%LCLfcn badval : int, int -> int -%LCLfcnGlobals -%LCLconst badconst bool -%LCLconst goodconst bool -%LCLconst worseconst int -%LCLvar var _int_Obj -%LCLvar var2 _int_Obj -%LCLSymbolTableEnd diff --git a/test/macrosef.lcs b/test/macrosef.lcs deleted file mode 100644 index b5abbd9..0000000 --- a/test/macrosef.lcs +++ /dev/null @@ -1,137 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _HOF_sort_13 hof nil nil -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar f _HOF_sort_13 -%LCLfcn g : __int_Obj_Ptr -> int -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/modtest.lcs b/test/modtest.lcs deleted file mode 100644 index 166a123..0000000 --- a/test/modtest.lcs +++ /dev/null @@ -1,174 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLsort __ts_Struct str _ts nil -%LCLsort b strMem _int_Obj nil -%LCLsort a strMem _int_Obj nil -%LCLsort strEnd nil nil nil -%LCLsort __ts_Struct_Tuple tup __ts_Struct nil -%LCLsort ___ts_Struct_Ptr ptr __ts_Struct nil -%LCLsort ___ts_Struct_Arr arr __ts_Struct nil -%LCLsort ___ts_Struct_Tuple_Vec vec __ts_Struct_Tuple ___ts_Struct_Arr -%LCLsort _tst synonym __ts_Struct nil -%LCLsort ____ts_Struct_Ptr_Obj obj ___ts_Struct_Ptr nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 3 : -> double -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 6 : -> double -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLtag _ts struct -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop [__, __] :int, int -> __ts_Struct_Tuple -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :___ts_Struct_Ptr -> ___ts_Struct_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ [__] :___ts_Struct_Tuple_Vec, int -> __ts_Struct_Tuple -%LCLop __ [__] :___ts_Struct_Arr, int -> __ts_Struct -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop __ \select a :__ts_Struct_Tuple -> int -%LCLop __ \select a :__ts_Struct -> _int_Obj -%LCLop __ \select b :__ts_Struct_Tuple -> int -%LCLop __ \select b :__ts_Struct -> _int_Obj -%LCLop null : -> char -%LCLop __ \field_arrow a :___ts_Struct_Ptr -> _int_Obj -%LCLop __ \field_arrow b :___ts_Struct_Ptr -> _int_Obj -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> ___ts_Struct_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :___ts_Struct_Ptr, int -> ___ts_Struct_Ptr -%LCLop __ + __ :int, ___ts_Struct_Ptr -> ___ts_Struct_Ptr -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :___ts_Struct_Ptr, int -> ___ts_Struct_Ptr -%LCLop __ - __ :___ts_Struct_Ptr, ___ts_Struct_Ptr -> int -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop isSub :___ts_Struct_Tuple_Vec, int -> bool -%LCLop isSub :___ts_Struct_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar x _int_Obj -%LCLvar y _int_Obj -%LCLvar ai __int_Obj_Arr -%LCLvar bi __int_Obj_Arr -%LCLtype tst _tst exposed -%LCLvar ts __ts_Struct -%LCLvar tstp ____ts_Struct_Ptr_Obj -%LCLfcn f : __int_Obj_Arr, __int_Obj_Ptr -> int -%LCLfcnGlobals __int_Obj_Arr ai; _int_Obj x; _int_Obj y; __ts_Struct ts; ____ts_Struct_Ptr_Obj tstp; -%LCLfcn g : __int_Obj_Arr, __int_Obj_Ptr -> int -%LCLfcnGlobals _int_Obj x; _int_Obj y; -%LCLSymbolTableEnd diff --git a/test/mut.lcs b/test/mut.lcs deleted file mode 100644 index 3f1adf4..0000000 --- a/test/mut.lcs +++ /dev/null @@ -1,127 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort mut immutable nil nil -%LCLsort _mut_Obj mutable mut nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :mut -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype mut _mut_Obj mutable -%LCLfcn mut_create : -> _mut_Obj -%LCLfcnGlobals -%LCLfcn mut_mod : _mut_Obj -> void -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/mut.lh b/test/mut.lh deleted file mode 100644 index 6597d98..0000000 --- a/test/mut.lh +++ /dev/null @@ -1,6 +0,0 @@ -/* Output from Splint 3.0.0.20 */ -# include "bool.h" - - -extern /*@only@*/ mut mut_create (void); -extern void mut_mod (mut /* a */); diff --git a/test/null6.lcs b/test/null6.lcs deleted file mode 100644 index 867bb7f..0000000 --- a/test/null6.lcs +++ /dev/null @@ -1,123 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort mnull immutable nil nil -%LCLsort _mnull_Obj mutable mnull nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :mnull -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype mnull _mnull_Obj mutable -%LCLSymbolTableEnd diff --git a/test/observer.lcs b/test/observer.lcs deleted file mode 100644 index 6a2d112..0000000 --- a/test/observer.lcs +++ /dev/null @@ -1,125 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort stx immutable nil nil -%LCLsort _stx_Obj mutable stx nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :stx -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype stx _stx_Obj mutable -%LCLfcn stx_name : _stx_Obj -> __char_Obj_Ptr -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/oldstyle.lcs b/test/oldstyle.lcs deleted file mode 100644 index 2508f08..0000000 --- a/test/oldstyle.lcs +++ /dev/null @@ -1,125 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _HOF_sort_13 hof nil nil -%LCLsort _HOF_sort_14 hof nil nil -%LCLsort _HOF_sort_15 hof nil nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar f1 _HOF_sort_13 -%LCLvar f2 _HOF_sort_14 -%LCLvar f3 _HOF_sort_15 -%LCLSymbolTableEnd diff --git a/test/outglob.lcs b/test/outglob.lcs deleted file mode 100644 index 2a6aa08..0000000 --- a/test/outglob.lcs +++ /dev/null @@ -1,127 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _int_Obj obj int nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar x1 _int_Obj -%LCLvar x2 _int_Obj -%LCLvar x3 _int_Obj -%LCLfcn f : -> int -%LCLfcnGlobals _int_Obj x1; _int_Obj x2; _int_Obj x3; -%LCLfcn g : -> int -%LCLfcnGlobals _int_Obj x1; _int_Obj x2; _int_Obj x3; -%LCLSymbolTableEnd diff --git a/test/outparam.lcs b/test/outparam.lcs deleted file mode 100644 index fcab577..0000000 --- a/test/outparam.lcs +++ /dev/null @@ -1,167 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort __st_Struct str _st nil -%LCLsort b strMem _int_Obj nil -%LCLsort a strMem _int_Obj nil -%LCLsort strEnd nil nil nil -%LCLsort _int_Obj obj int nil -%LCLsort __st_Struct_Tuple tup __st_Struct nil -%LCLsort ___st_Struct_Ptr ptr __st_Struct nil -%LCLsort ___st_Struct_Arr arr __st_Struct nil -%LCLsort ___st_Struct_Tuple_Vec vec __st_Struct_Tuple ___st_Struct_Arr -%LCLsort _st synonym ___st_Struct_Ptr nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLtag _st struct -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop [__, __] :int, int -> __st_Struct_Tuple -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :___st_Struct_Ptr -> ___st_Struct_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ \select a :__st_Struct_Tuple -> int -%LCLop __ \select a :__st_Struct -> _int_Obj -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ \select b :__st_Struct_Tuple -> int -%LCLop __ \select b :__st_Struct -> _int_Obj -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :___st_Struct_Tuple_Vec, int -> __st_Struct_Tuple -%LCLop __ [__] :___st_Struct_Arr, int -> __st_Struct -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ \field_arrow a :___st_Struct_Ptr -> _int_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \field_arrow b :___st_Struct_Ptr -> _int_Obj -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> ___st_Struct_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :___st_Struct_Ptr, int -> ___st_Struct_Ptr -%LCLop __ + __ :int, ___st_Struct_Ptr -> ___st_Struct_Ptr -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :___st_Struct_Ptr, int -> ___st_Struct_Ptr -%LCLop __ - __ :___st_Struct_Ptr, ___st_Struct_Ptr -> int -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :___st_Struct_Tuple_Vec, int -> bool -%LCLop isSub :___st_Struct_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype st _st exposed -%LCLfcn f : __int_Obj_Ptr, __int_Obj_Ptr -> void -%LCLfcnGlobals -%LCLfcn h : ___st_Struct_Ptr, ___st_Struct_Ptr -> void -%LCLfcnGlobals -%LCLfcn g : -> int -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/repexpose.lcs b/test/repexpose.lcs deleted file mode 100644 index 0f92ce3..0000000 --- a/test/repexpose.lcs +++ /dev/null @@ -1,172 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort abst immutable nil nil -%LCLsort _abst_Obj mutable abst nil -%LCLsort immut immutable nil nil -%LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil -%LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil -%LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil -%LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr -%LCLsort _____char_Obj_Ptr_Obj_Ptr_Obj obj ____char_Obj_Ptr_Obj_Ptr nil -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr -%LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr -%LCLop __ + __ :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr -%LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :abst -> int -%LCLop sizeof :immut -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :___char_Obj_Ptr_Vec, int -> bool -%LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype abst _abst_Obj mutable -%LCLtype immut immut immutable -%LCLvar globstring _____char_Obj_Ptr_Obj_Ptr_Obj -%LCLfcn abst_create : _abst_Obj, __char_Obj_Ptr, int -> _abst_Obj -%LCLfcnGlobals _____char_Obj_Ptr_Obj_Ptr_Obj globstring; -%LCLfcn abst_name : _abst_Obj -> __char_Obj_Ptr -%LCLfcnGlobals -%LCLfcn abst_val : _abst_Obj -> int -%LCLfcnGlobals -%LCLfcn abst_aval : _abst_Obj -> __int_Obj_Ptr -%LCLfcnGlobals -%LCLfcn abst_parent : _abst_Obj -> _abst_Obj -%LCLfcnGlobals -%LCLfcn immut_name : immut -> __char_Obj_Ptr -%LCLfcnGlobals -%LCLfcn abst_setIm : _abst_Obj, immut -> void -%LCLfcnGlobals -%LCLfcn abst_getIm : _abst_Obj -> immut -%LCLfcnGlobals -%LCLSymbolTableEnd diff --git a/test/repexpose.lh b/test/repexpose.lh deleted file mode 100644 index b448cea..0000000 --- a/test/repexpose.lh +++ /dev/null @@ -1,14 +0,0 @@ -/* Output from Splint 3.0.0.20 */ -# include "bool.h" - - - -extern char **globstring; -extern /*@only@*/ abst abst_create (/*@dependent@*/ abst /* p */, /*@only@*/ char * /* x */, int /* i */); -extern /*@only@*/ char *abst_name (abst /* a */); -extern int abst_val (abst /* a */); -extern int *abst_aval (abst /* a */); -extern /*@only@*/ abst abst_parent (/*@only@*/ abst /* a */); -extern /*@dependent@*/ char *immut_name (immut /* im */); -extern void abst_setIm (abst /* a */, immut /* im */); -extern immut abst_getIm (abst /* a */); diff --git a/test/special.lcs b/test/special.lcs deleted file mode 100644 index 090ce77..0000000 --- a/test/special.lcs +++ /dev/null @@ -1,126 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort _int_Obj obj int nil -%LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLvar gc _char_Obj -%LCLvar gi _int_Obj -%LCLvar gs ___char_Obj_Ptr_Obj -%LCLfcn f : -> int -%LCLfcnGlobals _char_Obj gc; _int_Obj gi; ___char_Obj_Ptr_Obj gs; -%LCLSymbolTableEnd diff --git a/test/tq.lcs b/test/tq.lcs deleted file mode 100644 index f7040ce..0000000 --- a/test/tq.lcs +++ /dev/null @@ -1,149 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort tam immutable nil nil -%LCLsort _tam_Obj mutable tam nil -%LCLsort tai immutable nil nil -%LCLsort tmixm immutable nil nil -%LCLsort _tmixm_Obj mutable tmixm nil -%LCLsort tmixi immutable nil nil -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLsort _tmixa synonym __int_Obj_Ptr nil -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop sizeof :tam -> int -%LCLop sizeof :tai -> int -%LCLop sizeof :tmixm -> int -%LCLop sizeof :tmixi -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLtype tam _tam_Obj mutable -%LCLtype tai tai immutable -%LCLtype tmixm _tmixm_Obj mutable -%LCLtype tmixi tmixi immutable -%LCLtype tmixa _tmixa exposed -%LCLSymbolTableEnd diff --git a/test/ud2.lcs b/test/ud2.lcs deleted file mode 100644 index f2ee966..0000000 --- a/test/ud2.lcs +++ /dev/null @@ -1,153 +0,0 @@ -%PASSED Output from Splint 3.0.0.20 -%LCLimports -%LCLSortTable -%LCLsort bool immutable nil nil -%LCLsort Bool synonym bool nil -%LCLsort int primitive nil nil -%LCLsort char primitive nil nil -%LCLsort void primitive nil nil -%LCLsort _char_Obj obj char nil -%LCLsort __char_Obj_Ptr ptr _char_Obj nil -%LCLsort __char_Obj_Arr arr _char_Obj nil -%LCLsort _char_Vec vec char __char_Obj_Arr -%LCLsort float primitive nil nil -%LCLsort double primitive nil nil -%LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil -%LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil -%LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil -%LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr -%LCLsort _int_Obj obj int nil -%LCLsort __int_Obj_Ptr ptr _int_Obj nil -%LCLsort __int_Obj_Arr arr _int_Obj nil -%LCLsort _int_Vec vec int __int_Obj_Arr -%LCLSortTableEnd -%LCLSymbolTable -%LCLop min :int, int -> int -%LCLop max :int, int -> int -%LCLop 0 : -> int -%LCLop 0 : -> double -%LCLop 1 : -> int -%LCLop 1 : -> double -%LCLop if __ then __ else __ :bool, bool, bool -> bool -%LCLop if __ then __ else __ :bool, int, int -> int -%LCLop if __ then __ else __ :bool, double, double -> double -%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec -%LCLop if __ then __ else __ :bool, char, char -> char -%LCLop __ < __ :int, int -> bool -%LCLop __ < __ :double, double -> bool -%LCLop empty : -> _char_Vec -%LCLop __ > __ :int, int -> bool -%LCLop __ > __ :double, double -> bool -%LCLop count :char, _char_Vec -> int -%LCLop head :_char_Vec -> char -%LCLop __ \inv :double -> double -%LCLop init :_char_Vec -> _char_Vec -%LCLop isEmpty :_char_Vec -> bool -%LCLop last :_char_Vec -> char -%LCLop len :_char_Vec -> int -%LCLop prefix :_char_Vec, int -> _char_Vec -%LCLop __ / __ :double, double -> double -%LCLop __ \implies __ :bool, bool -> bool -%LCLop removePrefix :_char_Vec, int -> _char_Vec -%LCLop substring :_char_Vec, int, int -> _char_Vec -%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec -%LCLop tail :_char_Vec -> _char_Vec -%LCLop __ \in __ :char, _char_Vec -> bool -%LCLop nullTerminated :_char_Vec -> bool -%LCLop throughNull :_char_Vec -> _char_Vec -%LCLop sameStr :_char_Vec, _char_Vec -> bool -%LCLop lenStr :_char_Vec -> int -%LCLop times10plus :int, int -> int -%LCLop plus1 :int -> int -%LCLop 2 : -> int -%LCLop 3 : -> int -%LCLop 4 : -> int -%LCLop 5 : -> int -%LCLop 6 : -> int -%LCLop 7 : -> int -%LCLop 8 : -> int -%LCLop 9 : -> int -%LCLop __ * __ :int, int -> int -%LCLop __ * __ :double, double -> double -%LCLop true : -> bool -%LCLop false : -> bool -%LCLop __ \and __ :bool, bool -> bool -%LCLop __ \or __ :bool, bool -> bool -%LCLop __ \eq __ :bool, bool -> bool -%LCLop __ \eq __ :int, int -> bool -%LCLop __ \eq __ :double, double -> bool -%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \eq __ :char, char -> bool -%LCLop \not __ :bool -> bool -%LCLop __ \neq __ :bool, bool -> bool -%LCLop __ \neq __ :int, int -> bool -%LCLop __ \neq __ :double, double -> bool -%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool -%LCLop __ \neq __ :char, char -> bool -%LCLop { __ } :char -> _char_Vec -%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr -%LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr -%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr -%LCLop __ |- __ :_char_Vec, char -> _char_Vec -%LCLop __ [__] :_char_Vec, int -> char -%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj -%LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr -%LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj -%LCLop __ [__] :_int_Vec, int -> int -%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj -%LCLop __ -| __ :char, _char_Vec -> _char_Vec -%LCLop __ \leq __ :int, int -> bool -%LCLop __ \leq __ :double, double -> bool -%LCLop __ \geq __ :int, int -> bool -%LCLop __ \geq __ :double, double -> bool -%LCLop null : -> char -%LCLop NIL : -> __char_Obj_Ptr -%LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr -%LCLop NIL : -> __int_Obj_Ptr -%LCLop - __ :int -> int -%LCLop - __ :double -> double -%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr -%LCLop __ + __ :int, int -> int -%LCLop __ + __ :double, double -> double -%LCLop __ + __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr -%LCLop __ + __ :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr -%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr -%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int -%LCLop __ - __ :int, int -> int -%LCLop __ - __ :double, double -> double -%LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr -%LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int -%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr -%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int -%LCLop sizeof :bool -> int -%LCLop sizeof :int -> int -%LCLop sizeof :char -> int -%LCLop sizeof :void -> int -%LCLop sizeof :float -> int -%LCLop sizeof :double -> int -%LCLop isSub :_char_Vec, int -> bool -%LCLop isSub :__char_Obj_Arr, int -> bool -%LCLop isSub :___char_Obj_Ptr_Vec, int -> bool -%LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool -%LCLop isSub :_int_Vec, int -> bool -%LCLop isSub :__int_Obj_Arr, int -> bool -%LCLop succ :int -> int -%LCLop pred :int -> int -%LCLop abs :int -> int -%LCLop abs :double -> double -%LCLop div :int, int -> int -%LCLop mod :int, int -> int -%LCLtype float float exposed -%LCLtype bool bool immutable -%LCLconst FALSE bool -%LCLconst TRUE bool -%LCLfcn f1 : ____char_Obj_Ptr_Obj_Ptr -> void -%LCLfcnGlobals -%LCLfcn f2 : ____char_Obj_Ptr_Obj_Ptr -> void -%LCLfcnGlobals -%LCLfcn f3 : __int_Obj_Ptr -> void -%LCLfcnGlobals -%LCLSymbolTableEnd -- 2.45.2