From d5dd3dfbc6f0e9128e055eaf84635c85de7b8139 Mon Sep 17 00:00:00 2001
From: jbj <devnull@localhost>
Date: Sat, 20 Oct 2001 22:31:09 +0000
Subject: - stupid macros to configure public key file paths.

CVS patchset: 5127
CVS date: 2001/10/20 22:31:09
---
 rpmdb/db3.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'rpmdb/db3.c')

diff --git a/rpmdb/db3.c b/rpmdb/db3.c
index 46c633056..4739dd114 100644
--- a/rpmdb/db3.c
+++ b/rpmdb/db3.c
@@ -85,7 +85,7 @@ struct dbiBStats_s {
 };
 /*@=fielduse@*/
 
-/*@-globuse@*/	/* FIX: rpmError not annotated yet. */
+/*@-globuse -mustmod @*/	/* FIX: rpmError not annotated yet. */
 static int cvtdberr(dbiIndex dbi, const char * msg, int error, int printit)
 	/*@globals fileSystem @*/
 	/*@modifies fileSystem @*/
@@ -107,7 +107,7 @@ static int cvtdberr(dbiIndex dbi, const char * msg, int error, int printit)
 
     return rc;
 }
-/*@=globuse@*/
+/*@=globuse =mustmod @*/
 
 static int db_fini(dbiIndex dbi, const char * dbhome,
 		/*@null@*/ const char * dbfile,
@@ -339,7 +339,9 @@ static int db3c_del(dbiIndex dbi, DBC * dbcursor, u_int32_t flags)
     if (dbcp) *dbcp = NULL;
     rc = dbcursor->c_dup(dbcursor, dbcp, flags);
     rc = cvtdberr(dbi, "dbcursor->c_dup", rc, _debug);
+    /*@-nullstate @*/ /* FIX: *dbcp can be NULL */
     return rc;
+    /*@=nullstate @*/
 }
 
 static int db3c_get(dbiIndex dbi, DBC * dbcursor,
-- 
cgit v1.2.3