From 8f75bbc17dab6c334583f33c7b912fb16d2ddc4b Mon Sep 17 00:00:00 2001
From: jbj <devnull@localhost>
Date: Sat, 5 May 2001 19:28:32 +0000
Subject: - enough lclint annotations and fiddles already.

CVS patchset: 4741
CVS date: 2001/05/05 19:28:32
---
 rpmio/rpmio.c | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'rpmio/rpmio.c')

diff --git a/rpmio/rpmio.c b/rpmio/rpmio.c
index a5f097134..9ddc7709b 100644
--- a/rpmio/rpmio.c
+++ b/rpmio/rpmio.c
@@ -401,7 +401,9 @@ static struct FDIO_s fdio_s = {
 };
 FDIO_t fdio = /*@-compmempass@*/ &fdio_s /*@=compmempass@*/ ;
 
+/*@-redef@*/	/* see lib/falloc.c */
 FDIO_t fadio;	/* XXX usually NULL, filled in when linked with rpm */
+/*@=redef@*/
 
 int fdWritable(FD_t fd, int secs)
 {
@@ -1473,6 +1475,7 @@ static ssize_t ufdRead(void * cookie, /*@out@*/ char * buf, size_t count) {
     int bytesRead;
     int total;
 
+    *buf = '\0';	/* LCL: insistent bugger. */
     /* XXX preserve timedRead() behavior */
     if (fdGetIo(fd) == fdio) {
 	struct stat sb;
@@ -1608,6 +1611,7 @@ static inline int ufdSeek(void * cookie, _libio_pos_t pos, int whence) {
     return fdSeek(cookie, pos, whence);
 }
 
+/*@-usereleased@*/	/* LCL: fd handling is tricky here. */
 int ufdClose( /*@only@*/ void * cookie)
 {
     FD_t fd = c2f(cookie);
@@ -1720,7 +1724,9 @@ fprintf(stderr, "-> \r\n");
     }
     return fdClose(fd);
 }
+/*@=usereleased@*/
 
+/*@-nullstate@*/	/* FIX: u->{ctrl,data}->url undef after XurlLink. */
 /*@null@*/ FD_t ftpOpen(const char *url, /*@unused@*/ int flags,
 		/*@unused@*/ mode_t mode, /*@out@*/ urlinfo *uret)
 {
@@ -1755,7 +1761,9 @@ exit:
 	*uret = u;
     return fd;
 }
+/*@=nullstate@*/
 
+/*@-nullstate@*/	/* FIX: u->{ctrl,data}->url undef after XurlLink. */
 static /*@null@*/ FD_t httpOpen(const char * url, /*@unused@*/ int flags,
 		/*@unused@*/ mode_t mode, /*@out@*/ urlinfo * uret)
 {
@@ -1795,6 +1803,7 @@ exit:
 	*uret = u;
     return fd;
 }
+/*@=nullstate@*/
 
 static /*@null@*/ FD_t ufdOpen(const char *url, int flags, mode_t mode)
 {
-- 
cgit v1.2.3