diff options
| author | jbj <devnull@localhost> | 2003-01-23 20:23:24 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2003-01-23 20:23:24 +0000 |
| commit | 7e716b70fb68cbef5bd35e154a734269067f1e37 (patch) | |
| tree | 3e9d8030e9e884673e9f561618b4711ff95cd912 /lib/fs.c | |
| parent | ff140452c3620c5216778aa72505ada37f3407be (diff) | |
| download | librpm-tizen-7e716b70fb68cbef5bd35e154a734269067f1e37.tar.gz librpm-tizen-7e716b70fb68cbef5bd35e154a734269067f1e37.tar.bz2 librpm-tizen-7e716b70fb68cbef5bd35e154a734269067f1e37.zip | |
splint fiddles.
CVS patchset: 6023
CVS date: 2003/01/23 20:23:24
Diffstat (limited to 'lib/fs.c')
| -rw-r--r-- | lib/fs.c | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -1,4 +1,3 @@ -/*@-mods@*/ /** * \file lib/fs.c */ @@ -24,6 +23,8 @@ struct fsinfo { static int numFilesystems = 0; void freeFilesystems(void) + /*@globals filesystems, fsnames, numFilesystems @*/ + /*@modifies filesystems, fsnames, numFilesystems @*/ { int i; @@ -133,8 +134,10 @@ static int getFilesystemList(void) * @return 0 on success, 1 on error */ static int getFilesystemList(void) - /*@globals fileSystem, internalState@*/ - /*@modifies fileSystem, internalState@*/ + /*@globals filesystems, fsnames, numFilesystems, + fileSystem, internalState @*/ + /*@modifies filesystems, fsnames, numFilesystems, + fileSystem, internalState @*/ { int numAlloced = 10; struct stat sb; @@ -353,4 +356,3 @@ int rpmGetFilesystemUsage(const char ** fileList, int_32 * fssizes, int numFiles return 0; } /*@=usereleased =onlytrans@*/ -/*@=mods@*/ |