splint-data 3.1.2.dfsg1-2 / usr / share / splint / imports / limits.lcs

%PASSED Output from LCLint 2.0
%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 _eerrno0e_Enum enum eerrno0e nil
%LCLsort EDUPTOOMANYCPUS enumMem nil nil
%LCLsort EDUPINTRANSIT enumMem nil nil
%LCLsort EDUPBADOPCODE enumMem nil nil
%LCLsort EDUPNOTRUN enumMem nil nil
%LCLsort EDUPNOTWAIT enumMem nil nil
%LCLsort EDUPNOTIDLE enumMem nil nil
%LCLsort EDUPNOTCNTD enumMem nil nil
%LCLsort EDUPNODISCONN enumMem nil nil
%LCLsort EDUPNOCONN enumMem nil nil
%LCLsort ENODUST enumMem nil nil
%LCLsort ENOSYSTEM enumMem nil nil
%LCLsort ENORESOURCES enumMem nil nil
%LCLsort ENOACTIVE enumMem nil nil
%LCLsort EACTIVE enumMem nil nil
%LCLsort ENOSYS enumMem nil nil
%LCLsort ENOLCK enumMem nil nil
%LCLsort EDEADLK enumMem nil nil
%LCLsort EALIGN enumMem nil nil
%LCLsort EIDRM enumMem nil nil
%LCLsort ENOMSG enumMem nil nil
%LCLsort EREMOTE enumMem nil nil
%LCLsort ESTALE enumMem nil nil
%LCLsort EDQUOT enumMem nil nil
%LCLsort EUSERS enumMem nil nil
%LCLsort EPROCLIM enumMem nil nil
%LCLsort ENOTEMPTY enumMem nil nil
%LCLsort EHOSTUNREACH enumMem nil nil
%LCLsort EHOSTDOWN enumMem nil nil
%LCLsort ENAMETOOLONG enumMem nil nil
%LCLsort ELOOP enumMem nil nil
%LCLsort ECONNREFUSED enumMem nil nil
%LCLsort ETIMEDOUT enumMem nil nil
%LCLsort ETOOMANYREFS enumMem nil nil
%LCLsort ESHUTDOWN enumMem nil nil
%LCLsort ENOTCONN enumMem nil nil
%LCLsort EISCONN enumMem nil nil
%LCLsort ENOBUFS enumMem nil nil
%LCLsort ECONNRESET enumMem nil nil
%LCLsort ECONNABORTED enumMem nil nil
%LCLsort ENETRESET enumMem nil nil
%LCLsort ENETUNREACH enumMem nil nil
%LCLsort ENETDOWN enumMem nil nil
%LCLsort EADDRNOTAVAIL enumMem nil nil
%LCLsort EADDRINUSE enumMem nil nil
%LCLsort EAFNOSUPPORT enumMem nil nil
%LCLsort EPFNOSUPPORT enumMem nil nil
%LCLsort EOPNOTSUPP enumMem nil nil
%LCLsort ESOCKTNOSUPPORT enumMem nil nil
%LCLsort EPROTONOSUPPORT enumMem nil nil
%LCLsort ENOPROTOOPT enumMem nil nil
%LCLsort EPROTOTYPE enumMem nil nil
%LCLsort EMSGSIZE enumMem nil nil
%LCLsort EDESTADDRREQ enumMem nil nil
%LCLsort ENOTSOCK enumMem nil nil
%LCLsort EALREADY enumMem nil nil
%LCLsort EINPROGRESS enumMem nil nil
%LCLsort EWOULDBLOCK enumMem nil nil
%LCLsort ERANGE enumMem nil nil
%LCLsort EDOM enumMem nil nil
%LCLsort EPIPE enumMem nil nil
%LCLsort EMLINK enumMem nil nil
%LCLsort EROFS enumMem nil nil
%LCLsort ESPIPE enumMem nil nil
%LCLsort ENOSPC enumMem nil nil
%LCLsort EFBIG enumMem nil nil
%LCLsort ETXTBSY enumMem nil nil
%LCLsort ENOTTY enumMem nil nil
%LCLsort EMFILE enumMem nil nil
%LCLsort ENFILE enumMem nil nil
%LCLsort EINVAL enumMem nil nil
%LCLsort EISDIR enumMem nil nil
%LCLsort ENOTDIR enumMem nil nil
%LCLsort ENODEV enumMem nil nil
%LCLsort EXDEV enumMem nil nil
%LCLsort EEXIST enumMem nil nil
%LCLsort EBUSY enumMem nil nil
%LCLsort ENOTBLK enumMem nil nil
%LCLsort EFAULT enumMem nil nil
%LCLsort EACCES enumMem nil nil
%LCLsort ENOMEM enumMem nil nil
%LCLsort EAGAIN enumMem nil nil
%LCLsort ECHILD enumMem nil nil
%LCLsort EBADF enumMem nil nil
%LCLsort ENOEXEC enumMem nil nil
%LCLsort E2BIG enumMem nil nil
%LCLsort ENXIO enumMem nil nil
%LCLsort EIO enumMem nil nil
%LCLsort EINTR enumMem nil nil
%LCLsort ESRCH enumMem nil nil
%LCLsort ENOENT enumMem nil nil
%LCLsort EPERM enumMem nil nil
%LCLsort enumEnd nil nil nil
%LCLsort __eerrno0e_Enum_Obj obj _eerrno0e_Enum nil
%LCLsort _int_Obj obj int nil
%LCLSortTableEnd
%LCLSymbolTable
%LCLop ENOMSG : -> _eerrno0e_Enum
%LCLop mod :int, int -> int
%LCLop EIDRM : -> _eerrno0e_Enum
%LCLop min :int, int -> int
%LCLop EALIGN : -> _eerrno0e_Enum
%LCLop max :int, int -> int
%LCLop EDEADLK : -> _eerrno0e_Enum
%LCLop 0 : -> int
%LCLop 0 : -> double
%LCLop ENOLCK : -> _eerrno0e_Enum
%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 ENOSYS : -> _eerrno0e_Enum
%LCLop EACTIVE : -> _eerrno0e_Enum
%LCLop __ < __  :int, int -> bool
%LCLop __ < __  :double, double -> bool
%LCLop ENOACTIVE : -> _eerrno0e_Enum
%LCLop empty : -> _char_Vec
%LCLop __ > __  :int, int -> bool
%LCLop __ > __  :double, double -> bool
%LCLop ENORESOURCES : -> _eerrno0e_Enum
%LCLop ENOSYSTEM : -> _eerrno0e_Enum
%LCLop ENODUST : -> _eerrno0e_Enum
%LCLop count :char, _char_Vec -> int
%LCLop EDUPNOCONN : -> _eerrno0e_Enum
%LCLop head :_char_Vec -> char
%LCLop __ \inv :double -> double
%LCLop EDUPNODISCONN : -> _eerrno0e_Enum
%LCLop init :_char_Vec -> _char_Vec
%LCLop EDUPNOTCNTD : -> _eerrno0e_Enum
%LCLop isEmpty :_char_Vec -> bool
%LCLop EDUPNOTIDLE : -> _eerrno0e_Enum
%LCLop last :_char_Vec -> char
%LCLop EDUPNOTWAIT : -> _eerrno0e_Enum
%LCLop len :_char_Vec -> int
%LCLop __ \implies __  :bool, bool -> bool
%LCLop EDUPNOTRUN : -> _eerrno0e_Enum
%LCLop prefix :_char_Vec, int -> _char_Vec
%LCLop __ / __  :double, double -> double
%LCLop EDUPBADOPCODE : -> _eerrno0e_Enum
%LCLop removePrefix :_char_Vec, int -> _char_Vec
%LCLop EDUPINTRANSIT : -> _eerrno0e_Enum
%LCLop substring :_char_Vec, int, int -> _char_Vec
%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
%LCLop EDUPTOOMANYCPUS : -> _eerrno0e_Enum
%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 EPERM : -> _eerrno0e_Enum
%LCLop ENOENT : -> _eerrno0e_Enum
%LCLop ESRCH : -> _eerrno0e_Enum
%LCLop EINTR : -> _eerrno0e_Enum
%LCLop EIO : -> _eerrno0e_Enum
%LCLop ENXIO : -> _eerrno0e_Enum
%LCLop E2BIG : -> _eerrno0e_Enum
%LCLop ENOEXEC : -> _eerrno0e_Enum
%LCLop EBADF : -> _eerrno0e_Enum
%LCLop ECHILD : -> _eerrno0e_Enum
%LCLop EAGAIN : -> _eerrno0e_Enum
%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
%LCLop ENOMEM : -> _eerrno0e_Enum
%LCLop EACCES : -> _eerrno0e_Enum
%LCLop __ [__] :_char_Vec, int -> char
%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
%LCLop EFAULT : -> _eerrno0e_Enum
%LCLop __ |- __  :_char_Vec, char -> _char_Vec
%LCLop ENOTBLK : -> _eerrno0e_Enum
%LCLop EBUSY : -> _eerrno0e_Enum
%LCLop __ -| __  :char, _char_Vec -> _char_Vec
%LCLop EEXIST : -> _eerrno0e_Enum
%LCLop EXDEV : -> _eerrno0e_Enum
%LCLop ENODEV : -> _eerrno0e_Enum
%LCLop ENOTDIR : -> _eerrno0e_Enum
%LCLop __ \leq __  :int, int -> bool
%LCLop __ \leq __  :double, double -> bool
%LCLop EISDIR : -> _eerrno0e_Enum
%LCLop EINVAL : -> _eerrno0e_Enum
%LCLop __ \geq __  :int, int -> bool
%LCLop __ \geq __  :double, double -> bool
%LCLop ENFILE : -> _eerrno0e_Enum
%LCLop EMFILE : -> _eerrno0e_Enum
%LCLop ENOTTY : -> _eerrno0e_Enum
%LCLop ETXTBSY : -> _eerrno0e_Enum
%LCLop null : -> char
%LCLop EFBIG : -> _eerrno0e_Enum
%LCLop ENOSPC : -> _eerrno0e_Enum
%LCLop ESPIPE : -> _eerrno0e_Enum
%LCLop EROFS : -> _eerrno0e_Enum
%LCLop EMLINK : -> _eerrno0e_Enum
%LCLop EPIPE : -> _eerrno0e_Enum
%LCLop EDOM : -> _eerrno0e_Enum
%LCLop ERANGE : -> _eerrno0e_Enum
%LCLop EWOULDBLOCK : -> _eerrno0e_Enum
%LCLop EINPROGRESS : -> _eerrno0e_Enum
%LCLop EALREADY : -> _eerrno0e_Enum
%LCLop ENOTSOCK : -> _eerrno0e_Enum
%LCLop EDESTADDRREQ : -> _eerrno0e_Enum
%LCLop EMSGSIZE : -> _eerrno0e_Enum
%LCLop EPROTOTYPE : -> _eerrno0e_Enum
%LCLop ENOPROTOOPT : -> _eerrno0e_Enum
%LCLop EPROTONOSUPPORT : -> _eerrno0e_Enum
%LCLop ESOCKTNOSUPPORT : -> _eerrno0e_Enum
%LCLop EOPNOTSUPP : -> _eerrno0e_Enum
%LCLop EPFNOSUPPORT : -> _eerrno0e_Enum
%LCLop EAFNOSUPPORT : -> _eerrno0e_Enum
%LCLop EADDRINUSE : -> _eerrno0e_Enum
%LCLop EADDRNOTAVAIL : -> _eerrno0e_Enum
%LCLop NIL : -> __char_Obj_Ptr
%LCLop ENETDOWN : -> _eerrno0e_Enum
%LCLop ENETUNREACH : -> _eerrno0e_Enum
%LCLop ENETRESET : -> _eerrno0e_Enum
%LCLop ECONNABORTED : -> _eerrno0e_Enum
%LCLop ECONNRESET : -> _eerrno0e_Enum
%LCLop ENOBUFS : -> _eerrno0e_Enum
%LCLop EISCONN : -> _eerrno0e_Enum
%LCLop - __  :int -> int
%LCLop - __  :double -> double
%LCLop ENOTCONN : -> _eerrno0e_Enum
%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 ESHUTDOWN : -> _eerrno0e_Enum
%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 :_eerrno0e_Enum -> int
%LCLop ETOOMANYREFS : -> _eerrno0e_Enum
%LCLop ETIMEDOUT : -> _eerrno0e_Enum
%LCLop ECONNREFUSED : -> _eerrno0e_Enum
%LCLop isSub :_char_Vec, int -> bool
%LCLop isSub :__char_Obj_Arr, int -> bool
%LCLop ELOOP : -> _eerrno0e_Enum
%LCLop ENAMETOOLONG : -> _eerrno0e_Enum
%LCLop EHOSTDOWN : -> _eerrno0e_Enum
%LCLop EHOSTUNREACH : -> _eerrno0e_Enum
%LCLop ENOTEMPTY : -> _eerrno0e_Enum
%LCLop succ :int -> int
%LCLop EPROCLIM : -> _eerrno0e_Enum
%LCLop pred :int -> int
%LCLop EUSERS : -> _eerrno0e_Enum
%LCLop EDQUOT : -> _eerrno0e_Enum
%LCLop ESTALE : -> _eerrno0e_Enum
%LCLop abs :int -> int
%LCLop abs :double -> double
%LCLop EREMOTE : -> _eerrno0e_Enum
%LCLop div :int, int -> int
%LCLtype float float exposed
%LCLtype bool bool immutable
%LCLconst FALSE bool
%LCLconst TRUE bool
%LCLconst FLT_RADIX int
%LCLconst FLT_ROUNDS int
%LCLconst FLT_MANT_DIG int
%LCLconst DBL_MANT_DIG int
%LCLconst LDBL_MANT_DIG int
%LCLconst FLT_EPSILON double
%LCLconst DBL_EPSILON double
%LCLconst LDBL_EPSILON double
%LCLconst FLT_DIG int
%LCLconst DBL_DIG int
%LCLconst LDBL_DIG int
%LCLconst FLT_MIN_EXP int
%LCLconst DBL_MIN_EXP int
%LCLconst LDBL_MIN_EXP int
%LCLconst FLT_MIN double
%LCLconst DBL_MIN double
%LCLconst LDBL_MIN double
%LCLconst FLT_MIN_10_EXP int
%LCLconst DBL_MIN_10_EXP int
%LCLconst LDBL_MIN_10_EXP int
%LCLconst FLT_MAX_EXP int
%LCLconst DBL_MAX_EXP int
%LCLconst LDBL_MAX_EXP int
%LCLconst FLT_MAX double
%LCLconst DBL_MAX double
%LCLconst LDBL_MAX double
%LCLconst FLT_MAX_10_EXP int
%LCLconst DBL_MAX_10_EXP int
%LCLconst LDBL_MAX_10_EXP int
%LCLconst ARG_MAX int
%LCLconst CHAR_BIT int
%LCLconst CHAR_MIN int
%LCLconst CHAR_MAX int
%LCLconst UCHAR_MAX int
%LCLconst SCHAR_MIN int
%LCLconst SCHAR_MAX int
%LCLconst CHILD_MAX int
%LCLconst FCHR_MAX int
%LCLconst HUGE_VAL double
%LCLconst LOCK_MAX int
%LCLconst LINK_MAX int
%LCLconst SHRT_MIN int
%LCLconst SHRT_MAX int
%LCLconst USHRT_MAX int
%LCLconst INT_MIN int
%LCLconst INT_MAX int
%LCLconst UINT_MAX int
%LCLconst LONG_MIN int
%LCLconst LONG_MAX int
%LCLconst ULONG_MAX int
%LCLconst USI_MAX int
%LCLconst WORD_BIT int
%LCLconst LONG_BIT int
%LCLconst NAME_MAX int
%LCLconst NGROUPS_MAX int
%LCLconst MAX_INPUT int
%LCLconst MAX_CANON int
%LCLconst MAX_CHAR int
%LCLconst OPEN_MAX int
%LCLconst PASS_MAX int
%LCLconst PATH_MAX int
%LCLconst PID_MAX int
%LCLconst SYSPID_MAX int
%LCLconst PIPE_BUF int
%LCLconst PIPE_MAX int
%LCLconst PROC_MAX int
%LCLconst STD_BLK int
%LCLconst SYS_NMLN int
%LCLconst SYS_OPEN int
%LCLconst TMP_MAX int
%LCLconst NZERO int
%LCLconst UID_MAX int
%LCLconst MB_LEN_MAX int
%LCLconst NL_ARGMAX int
%LCLconst NL_MSGMAX int
%LCLconst NL_NMAX int
%LCLconst NL_SETMAX int
%LCLconst NL_TEXTMAX int
%LCLconst NL_LBLMAX int
%LCLconst NL_LANGMAX int
%LCLSymbolTableEnd