I'm trying forwarding this directly because of the apparent problems with
bouncing messages to this mailing list.  They should be received by
everyone when I do this, but it seems to not work reliably.  Unfortunatly,
we do not control the mailing list service.  I've been asking our
postmaster to fix it for a long time now, and am currently looking into
other options, since they seem unable to provide me with a reliable
mailing list.  If anyone has any suggestions, let me know.  I don't want
to moderate this list, just to prevent spam messages from getting through
--- its meant to be for open discussion.  Until we have a solution, I will
just forward messages to the list, so they will appear to come from me
instead of the original sender.  Sorry for all the problems with this ---
I never imagined setting up a mailing list could be so problematic!

--- Dave

---------- Forwarded message ----------
Date: Tue, 26 Feb 2002 11:07:05 +0100
From: Ralf Wildenhues <[EMAIL PROTECTED]>
Subject: splint lib/*.h annotations

Some questions and comments regarding splint lib files
(as of splint-

fchmod is undeclared in unix.h, cf.
A possible declaration could IMHO be

int fchmod (int fildes, mode_t mode)
    /*@modifies fileSystem, errno@*/ ;

crypt is not declared in unix.h, cf.
Possible declaration:

/*@dependent@*/ char *crypt (const char *key, const char *salt)
    /*@modifies internalState@*/ ;

In posix.h, waitpid's options WNOHANG and WUNTRACED are undefined.  They
are mentioned in
http://www.opengroup.org/onlinepubs/007908799/xsh/wait.html , so maybe
they should be added.  I'm not sure if they are mentioned in POSIX as I
am lacking a standard document, maybe they should be defined in unix.h
instead - maybe somebody with access to a standard document could check

In standard.h and stdio.h, tmpfile should return dependent, similar to
fopen.  freopen should return dependent, too, but I'm not sure if rather
its last argument should be declared as returned.

In posix.h and unix.h, readdir should return dependent, similar to fopen.

BTW, since the time the lclint-interest started  being moderated, I have
only received messages authored by David Evans.  Is this the proposed
way to go, reading the original messages only by quotation in the


Reply via email to