diff options
author | jbj <devnull@localhost> | 2002-09-17 15:21:03 +0000 |
---|---|---|
committer | jbj <devnull@localhost> | 2002-09-17 15:21:03 +0000 |
commit | 0ef682d77e28d4ab69e11b4c064acb195e061737 (patch) | |
tree | 63c4b804ad80e9c8663ce8d32057b8fec1fbe304 /rpmio | |
parent | c1542ea2071d8c4086877587919eb7e4165c2b85 (diff) | |
download | rpm-0ef682d77e28d4ab69e11b4c064acb195e061737.tar.gz rpm-0ef682d77e28d4ab69e11b4c064acb195e061737.tar.bz2 rpm-0ef682d77e28d4ab69e11b4c064acb195e061737.zip |
- lclint clean.
CVS patchset: 5715
CVS date: 2002/09/17 15:21:03
Diffstat (limited to 'rpmio')
-rw-r--r-- | rpmio/macro.c | 6 | ||||
-rw-r--r-- | rpmio/rpmrpc.c | 5 |
2 files changed, 11 insertions, 0 deletions
diff --git a/rpmio/macro.c b/rpmio/macro.c index 1498f689b..e155ef3c2 100644 --- a/rpmio/macro.c +++ b/rpmio/macro.c @@ -50,6 +50,12 @@ typedef FILE * FD_t; #include "debug.h" +#if defined(__LCLINT__) +/*@-exportheader@*/ +extern const unsigned short int **__ctype_b_loc (void) /*@*/; +/*@=exportheader@*/ +#endif + /*@access FD_t@*/ /* XXX compared with NULL */ /*@access MacroContext@*/ /*@access MacroEntry@*/ diff --git a/rpmio/rpmrpc.c b/rpmio/rpmrpc.c index 80c10f987..2edaa013d 100644 --- a/rpmio/rpmrpc.c +++ b/rpmio/rpmrpc.c @@ -13,6 +13,7 @@ #include "ugid.h" #include "debug.h" +/*@access DIR@*/ /*@access FD_t@*/ /*@access urlinfo@*/ @@ -1174,7 +1175,9 @@ fprintf(stderr, "*** ftpOpendir(%s)\n", path); /*@=abstract@*/ mydir->fd = ftpmagicdir; +/*@-usereleased@*/ mydir->data = (char *) dp; +/*@=usereleased@*/ mydir->allocation = nb; mydir->size = ac; mydir->offset = -1; @@ -1242,7 +1245,9 @@ fprintf(stderr, "*** ftpOpendir(%s)\n", path); } av[ac] = NULL; +/*@-kepttrans@*/ return (DIR *) mydir; +/*@=kepttrans@*/ } /*@=boundswrite@*/ |