Hello Simo,

now I am in linux.
The biggest changed regards syslog.h. splint does not like a line that is in 
syslog.h so includes.h should be changed the following way

#ifndef _SPLINT_
#include <syslog.h>
#endif 

configure should also prevent the usage of syslog and splint together

I ran splint through a small script

export LARCH_PATH=/usr/local/share/splint/lib
splint $1 -predboolothers -booltype BOOL -booltrue True -boolfalse 
False-boolops -warnposix -retvalother -fixedformalarray 
-I/opt/samba3/source/include -I/opt/samba3/source -I./ubiqx -I./smbwrapper 
-D_SPLINT_ | tee $1.err  

this files misses a few include directory for the client files, but works 
well for the rest.

Bye

Andreas


----------  Weitergeleitete Nachricht  ----------
Subject: Re: Ignored return values
Date: Tue, 9 Apr 2002 20:52:17 +0200
From: andreas moroder <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]


Hello Simo,

it looks good for the start, but ... now you have even more ignored return
values derived from the functions you changed from void to int.
t looks like I opened pandorra's box.

Bye
Andreas

Here the new list:

tdb/tdb.c:309:2: Return value (type int) ignored: tdb_munmap(tdb)
tdb/tdb.c:367:10: Returned storage buf not completely defined (*buf is
tdb/tdb.c:483:3: Return value (type int) ignored: tdb_dump_chain(t...
tdb/tdb.c:486:2: Return value (type int) ignored: tdb_dump_chain(t...
tdb/tdb.c:633:2: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:637:2: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:706:2: Return value (type int) ignored: tdb_oob(tdb, tdb...
tdb/tdb.c:713:3: Return value (type int) ignored: tdb_munmap(tdb)
tdb/tdb.c:751:2: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:754:2: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:829:4: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:841:2: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:923:9: Return value type int does not match declared type tdb_off:
tdb/tdb.c:950:3: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:1011:2: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:1029:2: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:1045:2: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:1169:12: Return value type unsigned int does not match declared
 type tdb/tdb.c:1177:3: Return value (type int) ignored: tdb_unlock(tdb, ...
 tdb/tdb.c:1328:13: Returned storage key.dptr not completely defined
 (key.dptr tdb/tdb.c:1386:3: Return value (type int) ignored: tdb_delete(tdb,
 key) tdb/tdb.c:1423:2: Return value (type int) ignored: tdb_unlock(tdb, ...
 tdb/tdb.c:1618:4: Return value (type int) ignored: tdb_munmap(tdb)
tdb/tdb.c:1641:4: Return value (type int) ignored: tdb_munmap(tdb)
tdb/tdb.c:1682:4: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:1692:3: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:1722:4: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:1734:3: Return value (type int) ignored: tdb_unlock(tdb, ...
tdb/tdb.c:1792:2: Return value (type int) ignored: tdb_close(tdb)

-------------------------------------------------------

Reply via email to