diff options
author | jbj <devnull@localhost> | 2002-07-02 23:54:35 +0000 |
---|---|---|
committer | jbj <devnull@localhost> | 2002-07-02 23:54:35 +0000 |
commit | e5fb770e7d9aac53a513965c0f2bcf360934794b (patch) | |
tree | d8d581ec8f694a4811172b401e4dcda68898954a /rpmio/digest.c | |
parent | 77076c7c8d83f8b783634c7328b132b938389987 (diff) | |
download | rpm-e5fb770e7d9aac53a513965c0f2bcf360934794b.tar.gz rpm-e5fb770e7d9aac53a513965c0f2bcf360934794b.tar.bz2 rpm-e5fb770e7d9aac53a513965c0f2bcf360934794b.zip |
Add boundsread annotations throughout, enable +bounds checking.
Start narrowing the scope of bounds annotations by adding more annotations.
CVS patchset: 5537
CVS date: 2002/07/02 23:54:35
Diffstat (limited to 'rpmio/digest.c')
-rw-r--r-- | rpmio/digest.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rpmio/digest.c b/rpmio/digest.c index 29ec824e8..174672061 100644 --- a/rpmio/digest.c +++ b/rpmio/digest.c @@ -35,6 +35,7 @@ struct DIGEST_CTX_s { /*@modifies param, digest @*/; /*!< Digest finish. */ }; +/*@-boundsread@*/ DIGEST_CTX rpmDigestDup(DIGEST_CTX octx) { @@ -42,6 +43,7 @@ rpmDigestDup(DIGEST_CTX octx) nctx->param = memcpy(xcalloc(1, nctx->paramlen), octx->param, nctx->paramlen); return nctx; } +/*@=boundsread@*/ DIGEST_CTX rpmDigestInit(pgpHashAlgo hashalgo, rpmDigestFlags flags) @@ -88,7 +90,9 @@ rpmDigestInit(pgpHashAlgo hashalgo, rpmDigestFlags flags) /*@notreached@*/ break; } +/*@-boundsread@*/ xx = (*ctx->Reset) (ctx->param); +/*@=boundsread@*/ DPRINTF((stderr, "*** Init(%x) ctx %p param %p\n", flags, ctx, ctx->param)); return ctx; |