diff options
| author | jbj <devnull@localhost> | 2003-04-09 21:46:31 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2003-04-09 21:46:31 +0000 |
| commit | 552d691608cf3bef7d95acea4e2310a437da2c54 (patch) | |
| tree | 06815cff89dcb22a5bb73e3e96f18d3c727c303a /rpmio/rpmsq.h | |
| parent | 783219a8325bca538d21c367f9c523a79dbcb011 (diff) | |
| download | rpm-552d691608cf3bef7d95acea4e2310a437da2c54.tar.gz rpm-552d691608cf3bef7d95acea4e2310a437da2c54.tar.bz2 rpm-552d691608cf3bef7d95acea4e2310a437da2c54.zip | |
Splint fiddles.
CVS patchset: 6736
CVS date: 2003/04/09 21:46:31
Diffstat (limited to 'rpmio/rpmsq.h')
| -rw-r--r-- | rpmio/rpmsq.h | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/rpmio/rpmsq.h b/rpmio/rpmsq.h index 3ad5eb182..4223e42aa 100644 --- a/rpmio/rpmsq.h +++ b/rpmio/rpmsq.h @@ -43,6 +43,7 @@ struct rpmsqElem { rpmtime_t ms_scriptlets; /*!< Accumulated script duration (msecs). */ int reaper; /*!< Register SIGCHLD handler? */ int pipes[2]; /*!< Parent/child interlock. */ +/*@shared@*/ void * id; /*!< Blocking thread id (pthread_t). */ pthread_mutex_t mutex; /*!< Signal delivery to thread condvar. */ pthread_cond_t cond; @@ -68,7 +69,8 @@ extern sigset_t rpmsqCaught; */ /*@-exportlocal@*/ int rpmsqInsert(/*@null@*/ void * elem, /*@null@*/ void * prev) - /*@modifies elem @*/; + /*@globals systemState @*/ + /*@modifies elem, prev, systemState @*/; /*@=exportlocal@*/ /** @@ -90,8 +92,8 @@ int rpmsqRemove(/*@null@*/ void * elem) */ /*@-exportlocal@*/ void rpmsqAction(int signum, void * info, void * context) - /*@globals rpmsqCaught, errno, fileSystem @*/ - /*@modifies rpmsqCaught, errno, fileSystem @*/; + /*@globals rpmsqCaught, rpmsqQueue, errno, fileSystem @*/ + /*@modifies rpmsqCaught, rpmsqQueue, errno, fileSystem @*/; /*@=exportlocal@*/ /** @@ -101,8 +103,8 @@ void rpmsqAction(int signum, void * info, void * context) * @return no. of refs, -1 on error */ int rpmsqEnable(int signum, /*@null@*/ rpmsqAction_t handler) - /*@globals rpmsqCaught, fileSystem, internalState @*/ - /*@modifies rpmsqCaught, fileSystem, internalState @*/; + /*@globals rpmsqCaught, rpmsqQueue, fileSystem, internalState @*/ + /*@modifies rpmsqCaught, rpmsqQueue, fileSystem, internalState @*/; /** * Fork a child process. |