diff options
Diffstat (limited to 'rpmio/rpmio.c')
| -rw-r--r-- | rpmio/rpmio.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rpmio/rpmio.c b/rpmio/rpmio.c index 51064555b..27b5a7d2b 100644 --- a/rpmio/rpmio.c +++ b/rpmio/rpmio.c @@ -508,9 +508,9 @@ int fdWritable(FD_t fd, int secs) tvp->tv_usec = 0; } FD_SET(fdno, &wrfds); - /*@-compdef -nullpass@*/ +/*@-compdef -nullpass@*/ rc = select(fdno + 1, NULL, &wrfds, NULL, tvp); - /*@=compdef =nullpass@*/ +/*@=compdef =nullpass@*/ #endif if (_rpmio_debug && !(rc == 1 && errno == 0)) @@ -2213,7 +2213,7 @@ static int gzdFlush(FD_t fd) /* =============================================================== */ static ssize_t gzdRead(void * cookie, /*@out@*/ char * buf, size_t count) /*@globals fileSystem, internalState @*/ - /*@modifies *buf, fileSystem, internalState @*/ + /*@modifies buf, fileSystem, internalState @*/ { FD_t fd = c2f(cookie); gzFile gzfile; |