diff options
Diffstat (limited to 'lib/verify.c')
| -rw-r--r-- | lib/verify.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/verify.c b/lib/verify.c index 1890a1a34..4b087f7e7 100644 --- a/lib/verify.c +++ b/lib/verify.c @@ -119,6 +119,7 @@ int rpmVerifyFile(const rpmts ts, const rpmfi fi, /* * Verify file security context. */ +/*@-branchstate@*/ if (flags & RPMVERIFY_CONTEXTS) { security_context_t con; @@ -142,6 +143,7 @@ int rpmVerifyFile(const rpmts ts, const rpmfi fi, freecon(con); } } +/*@=branchstate@*/ if (flags & RPMVERIFY_MD5) { unsigned char md5sum[16]; @@ -281,7 +283,7 @@ static int rpmVerifyScript(/*@unused@*/ QVA_t qva, rpmts ts, */ static int verifyHeader(QVA_t qva, const rpmts ts, rpmfi fi) /*@globals h_errno, fileSystem, internalState @*/ - /*@modifies fi, fileSystem, internalState @*/ + /*@modifies ts, fi, fileSystem, internalState @*/ { char buf[BUFSIZ]; char * t, * te; |