lclint annotations.

CVS patchset: 4109
CVS date: 2000/08/23 13:49:07

rpmio/rpmio.h

@@ -135,7 +135,10 @@ off_t	fdSize	(FD_t fd);
 
 /* XXX Legacy interfaces needed by gnorpm, rpmfind et al */
 
+/*@-shadow@*/
 int	fdFileno(void * cookie);
+/*@=shadow@*/
+
 /*@null@*/ FD_t fdOpen(const char *path, int flags, mode_t mode);
 ssize_t fdRead(void * cookie, /*@out@*/ char * buf, size_t count);
 ssize_t	fdWrite(void * cookie, const char * buf, size_t count);

rpmio/rpmio_internal.h

@@ -57,7 +57,7 @@ struct _FD_s {
 	long int	fileSize;	/* fadio: */
 	long int	fd_cpioPos;	/* cpio: */
 };
-/*@access FD_t */
+/*@access FD_t@*/
 
 #define	FDSANE(fd)	assert(fd && fd->magic == FDMAGIC)
 
@@ -240,12 +240,14 @@ int ufdClose( /*@only@*/ void * cookie);
     /*@-refcounttrans@*/ return fd; /*@=refcounttrans@*/
 }
 
+/*@-shadow@*/
 /*@unused@*/ static inline int fdFileno(void * cookie) {
     FD_t fd;
     if (cookie == NULL) return -2;
     fd = c2f(cookie);
     return fd->fps[0].fdno;
 }
+/*@=shadow@*/
 
 #ifdef __cplusplus
 }