diff options
| author | jbj <devnull@localhost> | 2004-10-26 00:22:10 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2004-10-26 00:22:10 +0000 |
| commit | 959434ca80cdbb55e1372a338d25a27759e8f29a (patch) | |
| tree | 2d5ba3fc72b87117e666164a8de8153cee502172 /lib/rpmgi.h | |
| parent | 0a68012b6f704ccf0964f0e4ea098b8d1f940c13 (diff) | |
| download | rpm-959434ca80cdbb55e1372a338d25a27759e8f29a.tar.gz rpm-959434ca80cdbb55e1372a338d25a27759e8f29a.tar.bz2 rpm-959434ca80cdbb55e1372a338d25a27759e8f29a.zip | |
Splint fiddles.
CVS patchset: 7513
CVS date: 2004/10/26 00:22:10
Diffstat (limited to 'lib/rpmgi.h')
| -rw-r--r-- | lib/rpmgi.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/rpmgi.h b/lib/rpmgi.h index 038fcb350..674133182 100644 --- a/lib/rpmgi.h +++ b/lib/rpmgi.h @@ -38,6 +38,7 @@ struct rpmgi_s { /*@refcounted@*/ rpmts ts; /*!< Iterator transaction set. */ int tag; /*!< Iterator type. */ +/*@kept@*/ /*@relnull@*/ const void * keyp; /*!< Iterator key. */ size_t keylen; /*!< Iterator key length. */ @@ -61,7 +62,7 @@ struct rpmgi_s { int ftsOpts; /*@null@*/ FTS * ftsp; -/*@null@*/ +/*@relnull@*/ FTSENT * fts; /*@refs@*/ @@ -128,7 +129,8 @@ rpmgi rpmgiFree(/*@killref@*/ /*@only@*/ /*@null@*/ rpmgi gi) * @return new iterator */ /*@null@*/ -rpmgi rpmgiNew(rpmts ts, int tag, /*@null@*/ const void * keyp, size_t keylen) +rpmgi rpmgiNew(rpmts ts, int tag, /*@kept@*/ /*@null@*/ const void * keyp, + size_t keylen) /*@globals internalState @*/ /*@modifies ts, internalState @*/; @@ -178,7 +180,8 @@ rpmts rpmgiTs(/*@null@*/ rpmgi gi) */ rpmRC rpmgiSetArgs(rpmgi gi, /*@null@*/ ARGV_t argv, int ftsOpts, rpmgiFlags flags) - /*@modifies gi @*/; + /*@globals internalState @*/ + /*@modifies gi, internalState @*/; #ifdef __cplusplus } |