diff options
| author | jbj <devnull@localhost> | 2004-03-26 17:27:57 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2004-03-26 17:27:57 +0000 |
| commit | 60057a2de1e72a8077afc926e40addc923695419 (patch) | |
| tree | 771ae515fd347b4195aa33d1614f3fe64f85cbf2 /lib/rpmlock.c | |
| parent | 18fe40be2d0c5a5b0d52e4cdccda909c812a9882 (diff) | |
| download | rpm-60057a2de1e72a8077afc926e40addc923695419.tar.gz rpm-60057a2de1e72a8077afc926e40addc923695419.tar.bz2 rpm-60057a2de1e72a8077afc926e40addc923695419.zip | |
Splint fiddles.
CVS patchset: 7195
CVS date: 2004/03/26 17:27:57
Diffstat (limited to 'lib/rpmlock.c')
| -rw-r--r-- | lib/rpmlock.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/rpmlock.c b/lib/rpmlock.c index 467d2f53d..4045a0b08 100644 --- a/lib/rpmlock.c +++ b/lib/rpmlock.c @@ -32,7 +32,7 @@ typedef struct { } * rpmlock; /*@null@*/ -static rpmlock rpmlock_new(const char *rootdir) +static rpmlock rpmlock_new(/*@unused@*/ const char *rootdir) /*@globals fileSystem @*/ /*@modifies fileSystem @*/ { @@ -49,10 +49,14 @@ static rpmlock rpmlock_new(const char *rootdir) free(lock); lock = NULL; } else { +/*@-nullderef@*/ /* XXX splint on crack */ lock->openmode = RPMLOCK_READ; +/*@=nullderef@*/ } } else { +/*@-nullderef@*/ /* XXX splint on crack */ lock->openmode = RPMLOCK_WRITE | RPMLOCK_READ; +/*@=nullderef@*/ } /*@=branchstate@*/ } |