diff options
| author | jbj <devnull@localhost> | 2002-07-03 14:01:49 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-07-03 14:01:49 +0000 |
| commit | af3c677f06687e5ad1e33eb24f984c7ac5ff2a33 (patch) | |
| tree | 9f18227a31e49ecccafa3852610d3346594dad69 /rpmdb | |
| parent | e5fb770e7d9aac53a513965c0f2bcf360934794b (diff) | |
| download | rpm-af3c677f06687e5ad1e33eb24f984c7ac5ff2a33.tar.gz rpm-af3c677f06687e5ad1e33eb24f984c7ac5ff2a33.tar.bz2 rpm-af3c677f06687e5ad1e33eb24f984c7ac5ff2a33.zip | |
- use rpmfi in showQueryPackage(), eliminating headerGetEntry().
CVS patchset: 5538
CVS date: 2002/07/03 14:01:49
Diffstat (limited to 'rpmdb')
| -rw-r--r-- | rpmdb/header.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rpmdb/header.c b/rpmdb/header.c index 6efe6aaa7..35a9021f7 100644 --- a/rpmdb/header.c +++ b/rpmdb/header.c @@ -542,6 +542,7 @@ static /*@only@*/ /*@null@*/ void * doHeaderUnload(Header h, /*@out@*/ int * lengthPtr) /*@modifies h, *lengthPtr @*/ /*@requires maxSet(lengthPtr) >= 0 @*/ + /*@ensures maxRead(result) == (*lengthPtr) @*/ { int_32 * ei = NULL; entryInfo pe; @@ -1279,9 +1280,11 @@ int headerWrite(FD_t fd, /*@null@*/ Header h, enum hMagic magicp) return 1; switch (magicp) { case HEADER_MAGIC_YES: +/*@-boundsread@*/ /*@-sizeoftype@*/ nb = Fwrite(header_magic, sizeof(char), sizeof(header_magic), fd); /*@=sizeoftype@*/ +/*@=boundsread@*/ if (nb != sizeof(header_magic)) goto exit; break; |