diff options
| author | jbj <devnull@localhost> | 2002-12-30 14:50:33 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-12-30 14:50:33 +0000 |
| commit | be48ddd9e2f81fa2a3d224d1d7de0c532abf6c9d (patch) | |
| tree | 62bdae7e1ecfc72d1deb1580d7991372b917030e /lib/formats.c | |
| parent | 24e9464d2e30b02b4178198947b45fb45c165cbb (diff) | |
| download | librpm-tizen-be48ddd9e2f81fa2a3d224d1d7de0c532abf6c9d.tar.gz librpm-tizen-be48ddd9e2f81fa2a3d224d1d7de0c532abf6c9d.tar.bz2 librpm-tizen-be48ddd9e2f81fa2a3d224d1d7de0c532abf6c9d.zip | |
- fix: typo in assertion.
CVS patchset: 5988
CVS date: 2002/12/30 14:50:33
Diffstat (limited to 'lib/formats.c')
| -rw-r--r-- | lib/formats.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/formats.c b/lib/formats.c index 7aa936361..07edb0198 100644 --- a/lib/formats.c +++ b/lib/formats.c @@ -683,7 +683,8 @@ static int filenamesTag(Header h, /*@out@*/ rpmTagType * type, static int fileclassTag(Header h, /*@out@*/ rpmTagType * type, /*@out@*/ const void ** data, /*@out@*/ int_32 * count, /*@out@*/ int * freeData) - /*@modifies *type, *data, *count, *freeData @*/ + /*@globals fileSystem @*/ + /*@modifies h, *type, *data, *count, *freeData, fileSystem @*/ /*@requires maxSet(type) >= 0 /\ maxSet(data) >= 0 /\ maxSet(count) >= 0 /\ maxSet(freeData) >= 0 @*/ { @@ -705,7 +706,8 @@ static int fileclassTag(Header h, /*@out@*/ rpmTagType * type, static int fileprovideTag(Header h, /*@out@*/ rpmTagType * type, /*@out@*/ const void ** data, /*@out@*/ int_32 * count, /*@out@*/ int * freeData) - /*@modifies h, *type, *data, *count, *freeData @*/ + /*@globals fileSystem @*/ + /*@modifies h, *type, *data, *count, *freeData, fileSystem @*/ /*@requires maxSet(type) >= 0 /\ maxSet(data) >= 0 /\ maxSet(count) >= 0 /\ maxSet(freeData) >= 0 @*/ { @@ -727,7 +729,8 @@ static int fileprovideTag(Header h, /*@out@*/ rpmTagType * type, static int filerequireTag(Header h, /*@out@*/ rpmTagType * type, /*@out@*/ const void ** data, /*@out@*/ int_32 * count, /*@out@*/ int * freeData) - /*@modifies h, *type, *data, *count, *freeData @*/ + /*@globals fileSystem @*/ + /*@modifies h, *type, *data, *count, *freeData, fileSystem @*/ /*@requires maxSet(type) >= 0 /\ maxSet(data) >= 0 /\ maxSet(count) >= 0 /\ maxSet(freeData) >= 0 @*/ { |