CPL Quality Control - failure in esorex on host psdlin1

OS:Linux
OS Version:Scientific Linux SL release 6.3 (Carbon)
CPU:Intel(R) Xeon(R) E5345 @ 2.33GHz
Hardware:x86_64 (x86_64)
C Compiler:gcc (GCC) 4.4.6 20120305 (Red Hat 4.4.6-4)
CFITSIODIR:/home/llundin/Linux64/cfitsio
FFTWDIR:/opt/fftw
GSLDIR:/home/llundin/Linux64/gsl
JAVA_HOME:/vlt/VLT2013/jdk1.6.0_26
WCSDIR:/home/llundin/Linux64/wcs

Failed with exit-value 1

stderr produced by: make clean && make CC=splint -k CFLAGS='+weak +posixstrictlib -globs -retvalother -badflag -fileextensions +messagestreamstdout +warningstreamstdout +errorstreamstdout -D__STRICT_ANSI__' 2>/dev/null | splint_filter.pl

Dropped these compiler flags: -fno-common
sh: line 0: ulimit: file size: cannot modify limit: Operation not permitted
Makefile:833: warning: overriding commands for target `install-html-recursive'
Makefile:348: warning: ignoring old commands for target `install-html-recursive'
Makefile:833: warning: overriding commands for target `install-html-recursive'
Makefile:348: warning: ignoring old commands for target `install-html-recursive'
Splint 3.1.1 --- 29 Nov 2004

lt_dlloader.c: (in function loader_callback)
lt_dlloader.c:53:11: Function assert expects arg 1 to be boolean gets
lt_dlvtable *: vtable
Types are incompatible. (Use -type to inhibit warning)
lt_dlloader.c: (in function lt_dlloader_add)
lt_dlloader.c:67:11: Operands of == have incompatible types (lt_module_open *,
int): vtable->module_open == 0
lt_dlloader.c:68:11: Operands of == have incompatible types (lt_module_close *,
int): vtable->module_close == 0
lt_dlloader.c:69:11: Operands of == have incompatible types (lt_find_sym *,
int): vtable->find_sym == 0

Finished checking --- 4 code warnings
Splint 3.1.1 --- 29 Nov 2004

lt_error.c: (in function lt_dladderror)
lt_error.c:52:11: Function assert expects arg 1 to be boolean gets char *:
diagnostic
Types are incompatible. (Use -type to inhibit warning)

Finished checking --- 1 code warning
Splint 3.1.1 --- 29 Nov 2004

ltdl.c: (in function tryall_dlopen_module)
ltdl.c:485:11: Function assert expects arg 1 to be boolean gets lt_dlhandle *:
handle
Types are incompatible. (Use -type to inhibit warning)
ltdl.c:486:11: Function assert expects arg 1 to be boolean gets char *: dirname
ltdl.c:487:11: Function assert expects arg 1 to be boolean gets char *: dlname
ltdl.c:505:3: Buffer overflow possible with sprintf. Recommend using snprintf
instead: sprintf
Use of function that may lead to buffer overflow. (Use -bufferoverflowhigh to
inhibit warning)
ltdl.c: (in function canonicalize_path)
ltdl.c:575:11: Function assert expects arg 1 to be boolean gets char **:
pcanonical
ltdl.c: (in function argzize_path)
ltdl.c:635:11: Function assert expects arg 1 to be boolean gets char *: path
ltdl.c:636:11: Function assert expects arg 1 to be boolean gets char **: pargz
ltdl.c:637:11: Function assert expects arg 1 to be boolean gets size_t *:
pargz_len
ltdl.c: (in function find_file_callback)
ltdl.c:736:11: Function assert expects arg 1 to be boolean gets char **: pdir
ltdl.c:737:11: Function assert expects arg 1 to be boolean gets FILE **: pfile
ltdl.c: (in function trim)
ltdl.c:1006:28: Function memcpy expects arg 3 to be size_t gets int:
(end - str) - 1
To allow arbitrary integral types to match long unsigned, use +longintegral.
ltdl.c: (in function try_dlopen)
ltdl.c:1147:11: Function assert expects arg 1 to be boolean gets lt_dlhandle *:
phandle
ltdl.c:1187:7: Buffer overflow possible with sprintf. Recommend using snprintf
instead: sprintf
ltdl.c:1209:23: Variable dirlen initialized to type int, expects size_t:
(1 + base_name) - canonical
ltdl.c:1280:4: Buffer overflow possible with sprintf. Recommend using snprintf
instead: sprintf
ltdl.c:1385:15: Function assert expects arg 1 to be boolean gets lt_dlhandle:
*phandle
ltdl.c: (in function has_library_ext)
ltdl.c:1512:11: Function assert expects arg 1 to be boolean gets char *:
filename
ltdl.c: (in function lt_argz_insertinorder)
ltdl.c:1705:11: Function assert expects arg 1 to be boolean gets char **: pargz
ltdl.c:1706:11: Function assert expects arg 1 to be boolean gets size_t *:
pargz_len
ltdl.c: (in function lt_argz_insertdir)
ltdl.c:1732:11: Function assert expects arg 1 to be boolean gets char **: pargz
ltdl.c:1733:11: Function assert expects arg 1 to be boolean gets size_t *:
pargz_len
ltdl.c:1734:11: Function assert expects arg 1 to be boolean gets struct dirent
*: dp
ltdl.c:1768:11: Function assert expects arg 1 to be boolean gets char *: buf
ltdl.c: (in function list_files_by_dir)
ltdl.c:1791:11: Function assert expects arg 1 to be boolean gets char **: pargz
ltdl.c:1792:11: Function assert expects arg 1 to be boolean gets size_t *:
pargz_len
ltdl.c: (in function lt_dlclose)
ltdl.c:1939:17: Call to non-function (type lt_module_close *):
cur->vtable->module_close
ltdl.c: (in function lt_dlsym)
ltdl.c:2025:17: Call to non-function (type lt_find_sym *):
handle->vtable->find_sym
ltdl.c:2048:13: Call to non-function (type lt_find_sym *):
handle->vtable->find_sym
ltdl.c: (in function lt_dlpath_insertdir)
ltdl.c:2076:11: Function assert expects arg 1 to be boolean gets char **: ppath
ltdl.c:2091:15: Function assert expects arg 1 to be boolean gets char *: dir
ltdl.c: (in function lt_dlisresident)
ltdl.c:2233:10: Return value type unsigned int does not match declared type
int: ((handle)->info.is_resident)
To ignore signs in type comparisons use +ignoresigns
ltdl.c: (in function lt_dlhandle_iterate)
ltdl.c:2360:11: Function assert expects arg 1 to be boolean gets
lt_dlinterface_id: iface
ltdl.c: (in function lt_dlhandle_fetch)
ltdl.c:2383:11: Function assert expects arg 1 to be boolean gets
lt_dlinterface_id: iface
ltdl.c: (in function lt_dlhandle_map)
ltdl.c:2403:11: Function assert expects arg 1 to be boolean gets
lt_dlinterface_id: iface

Finished checking --- 34 code warnings
Splint 3.1.1 --- 29 Nov 2004

slist.c: (in function lt__slist_delete)
slist.c:55:11: Function assert expects arg 1 to be boolean gets [function (void
*) returns void] *: delete_fct
Types are incompatible. (Use -type to inhibit warning)
slist.c: (in function lt__slist_remove)
slist.c:82:11: Function assert expects arg 1 to be boolean gets SListCallback
*: find
slist.c: (in function lt__slist_find)
slist.c:121:11: Function assert expects arg 1 to be boolean gets SListCallback
*: find
slist.c: (in function lt__slist_foreach)
slist.c:245:11: Function assert expects arg 1 to be boolean gets SListCallback
*: foreach

Finished checking --- 4 code warnings
4 files out of 18 had warnings