From 5c2e4bdc1e189f2038e315dbd09a6b504a71ec57 Mon Sep 17 00:00:00 2001 From: jbj Date: Mon, 25 Feb 2002 15:29:22 +0000 Subject: Annotation fiddles. CVS patchset: 5336 CVS date: 2002/02/25 15:29:22 --- rpmdb/rpmdb.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'rpmdb/rpmdb.c') diff --git a/rpmdb/rpmdb.c b/rpmdb/rpmdb.c index 56801e292..339804bc3 100644 --- a/rpmdb/rpmdb.c +++ b/rpmdb/rpmdb.c @@ -143,7 +143,9 @@ static void dbiTagsInit(void) /*@-redecl@*/ #if USE_DB1 /*@unchecked@*/ +/*@-exportheadervar -declundef @*/ extern struct _dbiVec db1vec; +/*@=exportheadervar =declundef @*/ #define DB1vec &db1vec #else #define DB1vec NULL @@ -151,7 +153,9 @@ extern struct _dbiVec db1vec; #if USE_DB2 /*@unchecked@*/ +/*@-exportheadervar -declundef @*/ extern struct _dbiVec db2vec; +/*@=exportheadervar =declundef @*/ #define DB2vec &db2vec #else #define DB2vec NULL @@ -159,7 +163,9 @@ extern struct _dbiVec db2vec; #if USE_DB3 /*@unchecked@*/ +/*@-exportheadervar -declundef @*/ extern struct _dbiVec db3vec; +/*@=exportheadervar =declundef @*/ #define DB3vec &db3vec #else #define DB3vec NULL -- cgit v1.2.3