diff options
| author | jbj <devnull@localhost> | 2001-10-20 22:31:09 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-10-20 22:31:09 +0000 |
| commit | d5dd3dfbc6f0e9128e055eaf84635c85de7b8139 (patch) | |
| tree | ae1fb8133c9dc87cc7e267ead0906a27165acbc4 /rpmdb/db3.c | |
| parent | 00a348f332021405f90b86748fe209bf1e820830 (diff) | |
| download | rpm-d5dd3dfbc6f0e9128e055eaf84635c85de7b8139.tar.gz rpm-d5dd3dfbc6f0e9128e055eaf84635c85de7b8139.tar.bz2 rpm-d5dd3dfbc6f0e9128e055eaf84635c85de7b8139.zip | |
- stupid macros to configure public key file paths.
CVS patchset: 5127
CVS date: 2001/10/20 22:31:09
Diffstat (limited to 'rpmdb/db3.c')
| -rw-r--r-- | rpmdb/db3.c | 6 |
1 files changed, 4 insertions, 2 deletions
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, |