diff --git a/rpmio/rpmio.c b/rpmio/rpmio.c index c0595f834..8d80138a8 100644 --- a/rpmio/rpmio.c +++ b/rpmio/rpmio.c @@ -2373,9 +2373,7 @@ static int gzdClose( /*@only@*/ void * cookie) DBGIO(fd, (stderr, "==>\tgzdClose(%p) zerror %d %s\n", cookie, rc, fdbg(fd))); /*@=modfilesys@*/ if (rc < 0) { - /*@-usereleased@*/ - fd->errcookie = gzerror(gzfile, &rc); - /*@=usereleased@*/ + fd->errcookie = "gzclose error"; if (rc == Z_ERRNO) { fd->syserrno = errno; fd->errcookie = strerror(fd->syserrno); diff --git a/zlib/zlib.h b/zlib/zlib.h index b7aa24452..a4591059f 100644 --- a/zlib/zlib.h +++ b/zlib/zlib.h @@ -969,7 +969,7 @@ ZEXTERN int ZEXPORT gzeof OF((gzFile file)) input stream, otherwise zero. */ -ZEXTERN int ZEXPORT gzclose OF((gzFile file)) +ZEXTERN int ZEXPORT gzclose OF((/*@only@*/ gzFile file)) /*@globals fileSystem @*/ /*@modifies file, fileSystem @*/; /*