+unixlib
-# XXX ignore doxygen markings
--unrecogcomments
+-unrecogcomments # XXX ignore doxygen markings
-#+mustmod # segfault in psm.c:597
#+proto-param-match
-#-cpp-names
-#-declundef # db3 is noisy
-#-deepbreak # 485 cases
-#-export-local
-#-export-header
-#-export-header-var
+#-deepbreak # shortcut 485 cases
+
+# --- not-yet at strict level
+#+ptrarith
+#+bitwisesigned
+#+strictops
+#+sizeoftype
+
+#+mod-uncon # shortcut alloca is painful
+#+mod-nomods
+#+modglobsnomods
+#+modstrictglobsnomods
+
+#+mod-uncon-nomods
+#+mod-internal-strict
+#+mod-file-sys
+#+globnoglobs
+#+internalglobs
+#+internalglobnoglobs
+#+modglobsunchecked
+#+warnmissingglobs
+#+warnmissingglobsnomods
+#+impcheckedstrictglobs
+#+impcheckedstrictstatics
+#+strictusereleas
+#+strictbranchstate
+#+strictdestroy
+#+modobserveruncon
+#+macroempty
+#+ansi-reserved-internal
+#+evalorderuncon
+#+elseifcomplete
+#+loopswitchbreak
+#+switchswitchbreak
+#+looploopcontinue
+#+whileblock
+#+forempty
+#+forblock
+#+ifblock
+#+noeffectuncon
++topuse
+#+unusedspecial
+#+export-local
+#+oldstyle
+#+sys-dir-errors
+#controlnestdepth 15
+#stringliterallen 509
+#numstructfields 127
+#numenummembers 127
+
+# --- not-yet at checks level
+#+predboolptr
+-ptrnegate
+#-enumint
+-relaxquals
+#+mustmod # segfault in psm.c:597
+#+allglobs
+#+impcheckmodinternals
+#+uncheckedglobalias
+#+deparrays
+#+onlyunqglobaltrans
+#+staticinittrans
+#+unqualifiedinittrans
+#+retalias
+#+assignexpose
+#+castexpose
+#+retexpose
+#+readonlytrans
+#+sefuncon
+#+ansi-reserved
++cpp-names # check for c++ names
+#+infloopsuncon
+#+looploopbreak
+#+switchloopbreak
+#+whileempty
++declundef
++export-header
++export-header-var
++redecl
++noparams
+#includenest 8
# don't-bother-me-yet parameters
-branchstate # painful
-mustfree # alloca is painful
-# not-yet normal parameters
+# --- not-yet at standard level
-boolops # w->n
-predboolint # w->n
-type #
* @param csa
* @return 0 on success
*/
-int readRPM(/*@null@*/ const char * fileName, /*@out@*/ Spec * specp,
- /*@out@*/ struct rpmlead * lead, /*@out@*/ Header * sigs,
+/*@unused@*/ int readRPM(/*@null@*/ const char * fileName,
+ /*@out@*/ Spec * specp,
+ /*@out@*/ struct rpmlead * lead,
+ /*@out@*/ Header * sigs,
CSA_t csa)
- /*@modifies *specp, *sigs, csa, csa->cpioFdIn @*/;
+ /*@modifies *specp, *lead, *sigs, csa, csa->cpioFdIn @*/;
/**
* Write rpm package to file.
*
- * @warning The first header argument is now passed by reference in order to
+ * @warning The first argument (header) is now passed by reference in order to
* return a reloaded contiguous header to the caller.
*
* @retval hdrp header to write (final header is returned).
* @retval cookie generated cookie (i.e build host/time)
* @return 0 on success
*/
-int writeRPM(Header * hdrp, const char * fileName, int type,
- CSA_t csa, /*@null@*/ char * passPhrase,
+int writeRPM(Header * hdrp,
+ const char * fileName,
+ int type,
+ CSA_t csa,
+ /*@null@*/ char * passPhrase,
/*@out@*/ const char ** cookie)
/*@modifies *hdrp, *cookie, csa, csa->cpioArchiveSize @*/;
#define MAXDOCDIR 1024
+/*@-redecl@*/
extern int _noDirTokens;
+/*@=redecl@*/
/**
*/
/**
*/
-/*@-exportlocal@*/
+/*@-exportlocal -exportheadervar@*/
VFA_t verifyAttrs[] = {
{ "md5", RPMVERIFY_MD5 },
{ "size", RPMVERIFY_FILESIZE },
{ "rdev", RPMVERIFY_RDEV },
{ NULL, 0 }
};
-/*@=exportlocal@*/
+/*@=exportlocal =exportheadervar@*/
/**
* @param fl package file tree walk data
char *p, *pe, *q;
const char *name;
int *resultVerify;
- int not;
+ int negated;
int verifyFlags;
specdFlags * specdFlags;
while (p <= pe)
*p++ = ' ';
- not = 0;
+ negated = 0;
verifyFlags = RPMVERIFY_NONE;
for (p = q; *p != '\0'; p = pe) {
}
if (!strcmp(p, "not")) {
- not ^= 1;
+ negated ^= 1;
} else {
rpmError(RPMERR_BADSPEC, _("Invalid %s token: %s\n"), name, p);
fl->processingFailed = 1;
}
}
- *resultVerify = not ? ~(verifyFlags) : verifyFlags;
+ *resultVerify = negated ? ~(verifyFlags) : verifyFlags;
*specdFlags |= SPECD_VERIFY;
return 0;
/**
*/
-/*@-exportlocal@*/
+/*@-exportlocal -exportheadervar@*/
VFA_t virtualFileAttributes[] = {
{ "%dir", 0 }, /* XXX why not RPMFILE_DIR? */
{ "%doc", RPMFILE_DOC },
{ NULL, 0 }
};
-/*@=exportlocal@*/
+/*@=exportlocal =exportheadervar@*/
/**
* @param fl package file tree walk data
static int processPackageFiles(Spec spec, Package pkg,
int installSpecialDoc, int test)
/*@modifies spec->macros,
- pkg->cpioList, pkg->specialDoc, pkg->header */
+ pkg->cpioList, pkg->fileList, pkg->specialDoc, pkg->header */
{
HGE_t hge = (HGE_t)headerGetEntryMinMemory;
struct FileList_s fl;
/**
*/
-/*@-exportlocal@*/
+/*@-exportlocal -exportheadervar@*/
DepMsg_t depMsgs[] = {
{ "Provides", { "%{__find_provides}", NULL, NULL, NULL },
RPMTAG_PROVIDENAME, RPMTAG_PROVIDEVERSION, RPMTAG_PROVIDEFLAGS,
0, -1 },
{ NULL, { NULL, NULL, NULL, NULL }, 0, 0, 0, 0, 0 }
};
-/*@=exportlocal@*/
+/*@=exportlocal =exportheadervar@*/
/**
*/
#include "rpmlead.h"
#include "debug.h"
+/*@-redecl@*/
extern int _noDirTokens;
+/*@=redecl@*/
/*@access StringBuf @*/ /* compared with NULL */
/*@access TFI_t @*/ /* compared with NULL */
*/
static int cpio_doio(FD_t fdo, /*@unused@*/ Header h, CSA_t csa,
const char * fmodeMacro)
- /*@modifies csa, fileSystem @*/
+ /*@modifies fdo, csa, fileSystem @*/
{
const char * rootDir = "/";
rpmdb rpmdb = NULL;
/**
*/
static int cpio_copy(FD_t fdo, CSA_t csa)
- /*@modifies csa, fileSystem @*/
+ /*@modifies fdo, csa, fileSystem @*/
{
char buf[BUFSIZ];
size_t nb;
#include "rpmbuild.h"
#include "debug.h"
-extern int noLang; /* XXX FIXME: pass as arg */
+/*@-exportheadervar@*/
+extern int noLang;
+/*@=exportheadervar@*/
/* These have to be global scope to make up for *stupid* compilers */
/*@observer@*/ /*@null@*/ static const char *name = NULL;
return RPMERR_BADSPEC; \
}
-extern int noLang; /* XXX FIXME: pass as arg */
+/*@-redecl@*/
+extern int noLang;
+/*@=redecl@*/
/**
*/
/**
*/
-static int addTriggerIndex(Package pkg, const char *file, const char *script, const char *prog)
+static int addTriggerIndex(Package pkg, const char *file,
+ const char *script, const char *prog)
{
- struct TriggerFileEntry *new;
+ struct TriggerFileEntry *tfe;
struct TriggerFileEntry *list = pkg->triggerFiles;
struct TriggerFileEntry *last = NULL;
int index = 0;
index = last->index + 1;
}
- new = xmalloc(sizeof(*new));
+ tfe = xmalloc(sizeof(*tfe));
- new->fileName = (file) ? xstrdup(file) : NULL;
- new->script = (script && *script != '\0') ? xstrdup(script) : NULL;
- new->prog = xstrdup(prog);
- new->index = index;
- new->next = NULL;
+ tfe->fileName = (file) ? xstrdup(file) : NULL;
+ tfe->script = (script && *script != '\0') ? xstrdup(script) : NULL;
+ tfe->prog = xstrdup(prog);
+ tfe->index = index;
+ tfe->next = NULL;
if (last) {
- last->next = new;
+ last->next = tfe;
} else {
- pkg->triggerFiles = new;
+ pkg->triggerFiles = tfe;
}
return index;
}
}
+/*@-redecl@*/
extern int noLang; /* XXX FIXME: pass as arg */
+/*@=redecl@*/
/*@todo Skip parse recursion if os is not compatible. @*/
int parseSpec(Spec *specp, const char *specFile, const char *rootURL,
/** \ingroup rpmbuild
* Bit(s) to control buildSpec() operation.
*/
+/*@-typeuse@*/
typedef enum rpmBuildFlags_e {
+/*@-enummemuse@*/
RPMBUILD_NONE = 0,
+/*@=enummemuse@*/
RPMBUILD_PREP = (1 << 0), /*!< Execute %%prep. */
RPMBUILD_BUILD = (1 << 1), /*!< Execute %%build. */
RPMBUILD_INSTALL = (1 << 2), /*!< Execute %%install. */
RPMBUILD_STRINGBUF = (1 << 9), /*!< only for doScript() */
RPMBUILD_RMSPEC = (1 << 10) /*!< Remove spec file. */
} rpmBuildFlags;
+/*@=typeuse@*/
#include <ctype.h>
spec->sl @*/;
/** \ingroup rpmbuild
- * Parse %%trigger et al scriptlets from a spec file.
- * @param spec spec file control structure
- * @param pkg package control structure
- * @param field
- * @param tag
- * @return
- */
-int parseTrigger(Spec spec, Package pkg, char * field, int tag)
- /*@modifies nothing @*/;
-
-/** \ingroup rpmbuild
* Evaluate boolean expression.
* @param spec spec file control structure
* @param expr expression to parse
* @param expr expression to parse
* @return
*/
+/*@unused@*/
char * parseExpressionString(Spec spec, const char * expr)
/*@modifies nothing @*/;
* @return 0 on success
*/
int processBinaryFiles(Spec spec, int installSpecialDoc, int test)
- /*@modifies spec->packages->cpioList, spec->packages->specialDoc,
- spec->macros,
- spec->packages->header @*/;
+ /*@modifies spec->macros,
+ spec->packages->cpioList, spec->packages->fileList,
+ spec->packages->specialDoc, spec->packages->header @*/;
/** \ingroup rpmbuild
* Create and initialize header for source package.
* @param force
* @return
*/
+/*@-declundef@*/
extern int (*parseSpecVec) (Spec * specp, const char * specFile,
const char * rootdir,
/*@null@*/ const char * buildRoot,
/*@null@*/ char * cookie,
int anyarch, int force)
/*@modifies *specp @*/;
+/*@=declundef@*/
/** \ingroup rpmbuild
* Build stages state machine driver.
spec->sourceRpmName, spec->macros,
spec->BASpecs,
spec->buildRestrictions, spec->BANames,
- spec->packages->cpioList, spec->packages->specialDoc,
- spec->packages->header @*/;
+ spec->packages->cpioList, spec->packages->fileList,
+ spec->packages->specialDoc, spec->packages->header @*/;
/** \ingroup rpmbuild
* Generate binary package(s).
/** \ingroup rpmbuild
*/
+/*@-typeuse@*/
typedef struct ReadLevelEntry {
int reading;
/*@dependent@*/ struct ReadLevelEntry * next;
} RLE_t;
+/*@=typeuse@*/
/** \ingroup rpmbuild
*/
* @param spec spec file control structure
* @return NULL always
*/
+/*@-declundef@*/
extern /*@null@*/ Spec (*freeSpecVec) (Spec spec) /* XXX FIXME */
/*@modifies spec @*/;
+/*@=declundef@*/
/** \ingroup rpmbuild
*/
#include "buildio.h"
#include "debug.h"
+/*@-redecl@*/
extern int specedit;
+/*@=redecl@*/
+/*@-exportheadervar@*/
extern struct MacroContext_s rpmGlobalMacroContext;
+/*@=exportheadervar@*/
#define SKIPWHITE(_x) {while(*(_x) && (xisspace(*_x) || *(_x) == ',')) (_x)++;}
#define SKIPNONWHITE(_x){while(*(_x) &&!(xisspace(*_x) || *(_x) == ',')) (_x)++;}
if test $rpm_cv_glob = no ; then
AC_MSG_CHECKING(for GNU extensions to glob)
+ rm -f t
mkdir t
mkdir t/p
touch t/p/foo.8
.libs
*.la
*.lo
+db3lobjs
config.cache
config.log
db_config.h
mv db.h db.h.orig
cat db.h.orig | sed \
- -e '/^struct __db;/i\
-/*@-incondefs@*/' \
+ -e '/^typedef u_int32_t db_pgno_t;/i\
+/*@-incondefs -fielduse -enummemuse -typeuse @*/' \
-e '/^struct __key_range;/a\
-/*@=incondefs@*/' > db.h
+/*@=incondefs@*/' \
+ -e '/^#define db_create/i\
+/*@-declundef -noparams -fcnuse@*/' \
+ -e '/^#define db_xa_switch/a\
+/*@=declundef =noparams =fcnuse =fielduse =enummemuse =typeuse @*/' > db.h
# Generate manifest for rpmdb.
make -s listobjs > db3lobjs
@echo expect 10 shift/reduce conflicts
$(YACC) $(srcdir)/getdate.y
-@if test -f y.tab.c; then \
- { echo "/*@-globstate -statictrans -unqualifiedtrans @*/";\
+ { echo "/*@-globstate -statictrans -unqualifiedtrans -noparams @*/";\
echo "/*@-retvalint -usedef -varuse -nullderef -nullassign @*/";\
sed -e 's,y.tab.c,getdate.c,' y.tab.c \
-e 's,^YYSTYPE ,static &,' \
-e 's,^int yydebug,/*@unused@*/ static &,' \
-e 's,^int ,static &,' ;\
echo "/*@=retvalint =usedef =varuse =nullderef =nullassign @*/";\
- echo "/*@=globstate =statictrans =unqualifiedtrans @*/";\
+ echo "/*@=globstate =statictrans =unqualifiedtrans =noparams @*/";\
} > getdate.c ;\
rm -f y.tab.c; \
else \
/*@access FSM_t @*/
+/*@-exportheadervar@*/
extern int _fsm_debug;
+/*@=exportheadervar@*/
/**
* Convert string to unsigned integer (with buffer size check).
* @retval fsm file path and stat info
* @return 0 on success
*/
-int cpioTrailerWrite(FSM_t fsm);
+int cpioTrailerWrite(FSM_t fsm)
+ /*@modifies fsm, fileSystem @*/;
/**
* Write cpio header.
* @retval fsm file path and stat info
* @return 0 on success
*/
-int cpioHeaderWrite(FSM_t fsm, struct stat * st);
+int cpioHeaderWrite(FSM_t fsm, struct stat * st)
+ /*@modifies fsm, fileSystem @*/;
/**
* Read cpio header.
* \file lib/depends.c
*/
-int _depends_debug = 0;
+/*@-exportheadervar@*/
+/*@unused@*/ int _depends_debug = 0;
+/*@=exportheadervar@*/
#include "system.h"
return result;
}
+/*@-typeuse@*/
typedef int (*dbrecMatch_t) (Header h, const char *reqName, const char * reqEVR, int reqFlags);
+/*@=typeuse@*/
static int rangeMatchesDepFlags (Header h,
const char * reqName, const char * reqEVR, int reqFlags)
const char * keyType, const char * keyDepend,
const char * keyName, const char * keyEVR, int keyFlags,
/*@null@*/ /*@out@*/ struct availablePackage *** suggestion)
- /*@modifies *suggestion @*/
+ /*@modifies ts, *suggestion @*/
{
static int _cacheDependsRC = 1;
rpmdbMatchIterator mi;
size_t datalen = 0;
int xx;
xx = dbiCopen(dbi, &dbcursor, 0);
+ /*@-mods@*/ /* FIX: keyDepends mod undocumented. */
xx = dbiGet(dbi, dbcursor, (void **)&keyDepend, &keylen, &datap, &datalen, 0);
+ /*@=mods@*/
if (xx == 0 && datap && datalen == 4) {
memcpy(&rc, datap, datalen);
rpmMessage(RPMMESS_DEBUG, _("%s: %-45s %-s (cached)\n"),
*/
static int checkPackageDeps(rpmTransactionSet ts, problemsSet psp,
Header h, const char * keyName, uint_32 multiLib)
- /*@modifies h, psp */
+ /*@modifies ts, h, psp */
{
HGE_t hge = (HGE_t)headerGetEntryMinMemory;
HFD_t hfd = headerFreeData;
*/
static int checkPackageSet(rpmTransactionSet ts, problemsSet psp,
const char * key, /*@only@*/ /*@null@*/ rpmdbMatchIterator mi)
- /*@modifies mi, psp @*/
+ /*@modifies ts, mi, psp @*/
{
Header h;
int rc = 0;
*/
static int checkDependentPackages(rpmTransactionSet ts,
problemsSet psp, const char * key)
- /*@modifies psp @*/
+ /*@modifies ts, psp @*/
{
rpmdbMatchIterator mi;
mi = rpmdbInitIterator(ts->rpmdb, RPMTAG_REQUIRENAME, key, 0);
*/
static int checkDependentConflicts(rpmTransactionSet ts,
problemsSet psp, const char * key)
- /*@modifies psp @*/
+ /*@modifies ts, psp @*/
{
int rc = 0;
TR_REMOVED /*!< Package will be removed. */
} type; /*!< Package disposition (installed/removed). */
union {
- int addedIndex;
- struct {
+/*@unused@*/ int addedIndex;
+/*@unused@*/ struct {
int dboffset;
int dependsOnIndex;
} removed;
/* I18N look aside diversions */
-/*@-exportlocal@*/
+/*@-exportlocal -exportheadervar@*/
int _nl_msg_cat_cntr; /* XXX GNU gettext voodoo */
-/*@=exportlocal@*/
+/*@=exportlocal =exportheadervar@*/
static const char * language = "LANGUAGE";
static char * _macro_i18ndomains = "%{?_i18ndomains:%{_i18ndomains}}";
int _fsm_debug = 0;
/* XXX Failure to remove is not (yet) cause for failure. */
-/*@-exportlocal@*/
+/*@-exportlocal -exportheadervar@*/
int strict_erasures = 0;
-/*@=exportlocal@*/
+/*@=exportlocal =exportheadervar@*/
rpmTransactionSet fsmGetTs(const FSM_t fsm) {
const FSMI_t iter = fsm->iter;
/** \ingroup payload
* Destroy file info iterator.
- * @param this file info iterator
+ * @param p file info iterator
* @retval NULL always
*/
-static /*@null@*/ void * mapFreeIterator(/*@only@*//*@null@*/const void * this)
+static /*@null@*/ void * mapFreeIterator(/*@only@*//*@null@*/const void * p)
{
- return _free((void *)this);
+ return _free((void *)p);
}
/** \ingroup payload
* Create file info iterator.
- * @param this transaction set
- * @param that transaction element file info
+ * @param a transaction set
+ * @param b transaction element file info
* @return file info iterator
*/
static void *
-mapInitIterator(/*@kept@*/ const void * this, /*@kept@*/ const void * that)
+mapInitIterator(/*@kept@*/ const void * a, /*@kept@*/ const void * b)
{
- rpmTransactionSet ts = (void *)this;
- TFI_t fi = (void *)that;
+ rpmTransactionSet ts = (void *)a;
+ TFI_t fi = (void *)b;
FSMI_t iter = NULL;
iter = xcalloc(1, sizeof(*iter));
/** \ingroup payload
* Return next index into file info.
- * @param this file info iterator
+ * @param a file info iterator
* @return next index, -1 on termination
*/
-static int mapNextIterator(void * this) {
- FSMI_t iter = this;
+static int mapNextIterator(void * a) {
+ FSMI_t iter = a;
const TFI_t fi = iter->fi;
int i = -1;
/** \ingroup payload
* Locate archive path in file info.
- * @param this file info iterator
+ * @param a file info iterator
* @param fsmPath archive path
* @return index into file info, -1 if archive path was not found
*/
-static int mapFind(void * this, const char * fsmPath)
+static int mapFind(void * a, const char * fsmPath)
/*@*/
{
- FSMI_t iter = this;
+ FSMI_t iter = a;
const TFI_t fi = iter->fi;
int ix = -1;
/** \ingroup payload
* Destroy directory name iterator.
- * @param this file info iterator
+ * @param a directory name iterator
* @retval NULL always
*/
-static /*@null@*/ void * dnlFreeIterator(/*@only@*//*@null@*/ const void * this)
+static /*@null@*/ void * dnlFreeIterator(/*@only@*//*@null@*/ const void * a)
{
- if (this) {
- DNLI_t dnli = (void *)this;
+ if (a) {
+ DNLI_t dnli = (void *)a;
if (dnli->active) free(dnli->active);
}
- return _free(this);
+ return _free(a);
}
/** \ingroup payload
/*@kept@*/ /*@null@*/ unsigned int * archiveSize; /*!< Pointer to archive size. */
/*@kept@*/ /*@null@*/ const char ** failedFile; /*!< First file name that failed. */
/*@shared@*/ const char * subdir; /*!< Current file sub-directory. */
- char subbuf[64]; /* XXX eliminate */
+/*@unused@*/ char subbuf[64]; /* XXX eliminate */
/*@observer@*/ const char * osuffix; /*!< Old, preserved, file suffix. */
/*@observer@*/ const char * nsuffix; /*!< New, created, file suffix. */
/*@shared@*/ const char * suffix; /*!< Current file suffix. */
#include "debug.h"
-/* XXX avoid rpmlib.h, need for debugging. */
+/*@-redecl@*/ /* FIX: avoid rpmlib.h, need for debugging. */
/*@observer@*/ const char *const tagName(int tag) /*@*/;
+/*@=redecl@*/
/*
* Teach header.c about legacy tags.
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
- * @param this memory to free
+ * @param p memory to free
* @return NULL always
*/
-/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * p) {
+/*@unused@*/ static inline /*@null@*/ void *
+_free(/*@only@*/ /*@null@*/ const void * p) /*@modifies *p @*/
+{
if (p != NULL) free((void *)p);
return NULL;
}
*/
static int regionSwab(/*@null@*/ struct indexEntry * entry, int il, int dl,
const struct entryInfo * pe, char * dataStart, int regionid)
+ /*@modifies *entry, *dataStart @*/
{
char * tprev = NULL;
char * t = NULL;
*/
static /*@null@*/
struct indexEntry * findEntry(/*@null@*/ Header h, int_32 tag, int_32 type)
+ /*@modifies h @*/
{
struct indexEntry * entry, * entry2, * last;
struct indexEntry key;
int headerIsEntry(Header h, int_32 tag)
{
+ /*@-mods@*/ /*@ FIX: h modified by sort. */
return (findEntry(h, tag, RPM_NULL_TYPE) ? 1 : 0);
+ /*@=mods@*/
}
int headerGetRawEntry(Header h, int_32 tag, int_32 * type, const void ** p,
if (p == NULL) return headerIsEntry(h, tag);
/* First find the tag */
+ /*@-mods@*/ /*@ FIX: h modified by sort. */
entry = findEntry(h, tag, RPM_NULL_TYPE);
+ /*@=mods@*/
if (!entry) {
if (p) *p = NULL;
if (c) *c = 0;
int rc;
/* First find the tag */
+ /*@-mods@*/ /*@ FIX: h modified by sort. */
entry = findEntry(h, tag, RPM_NULL_TYPE);
+ /*@mods@*/
if (entry == NULL) {
if (type) type = 0;
if (p) *p = NULL;
*/
static /*@null@*/ struct sprintfToken *
freeFormat( /*@only@*/ /*@null@*/ struct sprintfToken * format, int num)
+ /*@modifies *format @*/
{
int i;
enum headerSprintfExtenstionType type; /*!< Type of extension. */
char * name; /*!< Name of extension. */
union {
- void * generic; /*!< Private extension. */
+/*@unused@*/ void * generic; /*!< Private extension. */
headerTagFormatFunction formatFunction; /*!< HEADER_EXT_TAG extension. */
headerTagTagFunction tagFunction; /*!< HEADER_EXT_FORMAT extension. */
struct headerSprintfExtension * more; /*!< Chained table extension. */
/** \ingroup header
* Supported default header tag output formats.
*/
+/*@-redecl@*/
extern const struct headerSprintfExtension headerDefaultFormats[];
+/*@=redecl@*/
/** \ingroup header
* Include calculation for 8 bytes of (magic, 0)?
* @return header
*/
/*@-exportlocal@*/
-/*@null@*/ Header headerLoad(/*@kept@*/ void * uh) /*@*/;
+/*@null@*/ Header headerLoad(/*@kept@*/ void * uh)
+ /*@modifies uh @*/;
/*@=exportlocal@*/
/** \ingroup header
* @param uh on-disk header blob (i.e. with offsets)
* @return header
*/
-/*@null@*/ Header headerCopyLoad(void * uh) /*@*/;
+/*@null@*/ Header headerCopyLoad(void * uh)
+ /*@modifies uh @*/;
/** \ingroup header
* Convert header to on-disk representation.
* @param h header
* @return NULL always
*/
-/*@null@*/ Header headerFree( /*@null@*/ /*@killref@*/ Header h);
+/*@null@*/ Header headerFree( /*@null@*/ /*@killref@*/ Header h)
+ /*@modifies h @*/;
/** \ingroup header
* Return header reference count.
* @param h header
* @return no. of references
*/
+/*@unused@*/
int headerUsageCount(Header h) /*@*/;
/** \ingroup header
* @param flags 0 or HEADER_DUMP_LINLINE
* @param tags array of tag name/value pairs
*/
+/*@unused@*/
void headerDump(Header h, FILE *f, int flags,
const struct headerTagTableEntry * tags);
#define HEADER_DUMP_INLINE 1
* @param h header
* @return array of locales (or NULL on error)
*/
+/*@unused@*/
/*@only@*/ /*@null@*/ char ** headerGetLangs(Header h) /*@*/;
/** \ingroup header
*
* @param h header
* @param tag tag
- * @retval type address of tag value data type
- * @retval p address of pointer to tag value(s)
- * @retval c address of number of values
+ * @retval type address of tag value data type (or NULL)
+ * @retval p address of pointer to tag value(s) (or NULL)
+ * @retval c address of number of values (or NULL)
* @return 1 on success, 0 on failure
*/
-int headerGetEntry(Header h, int_32 tag, /*@null@*/ /*@out@*/ int_32 *type,
- /*@null@*/ /*@out@*/ void **p, /*@null@*/ /*@out@*/int_32 *c)
+int headerGetEntry(Header h, int_32 tag,
+ /*@null@*/ /*@out@*/ int_32 * type,
+ /*@null@*/ /*@out@*/ void ** p,
+ /*@null@*/ /*@out@*/int_32 *c)
/*@modifies *type, *p, *c @*/;
/** \ingroup header
*
* @param h header
* @param tag tag
- * @retval type address of tag value data type
- * @retval p address of pointer to tag value(s)
- * @retval c address of number of values
+ * @retval type address of tag value data type (or NULL)
+ * @retval p address of pointer to tag value(s) (or NULL)
+ * @retval c address of number of values (or NULL)
* @return 1 on success, 0 on failure
*/
-int headerGetEntryMinMemory(Header h, int_32 tag, /*@out@*/ int_32 *type,
- /*@out@*/ const void **p, /*@out@*/ int_32 *c)
+int headerGetEntryMinMemory(Header h, int_32 tag,
+ /*@null@*/ /*@out@*/ int_32 * type,
+ /*@null@*/ /*@out@*/ const void ** p,
+ /*@null@*/ /*@out@*/ int_32 * c)
/*@modifies *type, *p, *c @*/;
/** \ingroup header
*
* @param h header
* @param tag tag
- * @retval type address of tag value data type
- * @retval p address of pointer to tag value(s)
- * @retval c address of number of values
+ * @retval type address of tag value data type (or NULL)
+ * @retval p address of pointer to tag value(s) (or NULL)
+ * @retval c address of number of values (or NULL)
* @return 1 on success, 0 on failure
*/
/*@-exportlocal@*/
-int headerGetRawEntry(Header h, int_32 tag, /*@out@*/ int_32 *type,
- /*@out@*/ const void **p, /*@out@*/ int_32 *c)
+int headerGetRawEntry(Header h, int_32 tag,
+ /*@null@*/ /*@out@*/ int_32 * type,
+ /*@null@*/ /*@out@*/ const void ** p,
+ /*@null@*/ /*@out@*/ int_32 * c)
/*@modifies *type, *p, *c @*/;
/*@=exportlocal@*/
/** \ingroup header
* Free data allocated when retrieved from header.
- * @param data address of data
- * @param type type of data
+ * @param data address of data (or NULL)
+ * @param type type of data (or -1 to force free)
* @return NULL always
*/
/*@unused@*/ static inline /*@null@*/
void * headerFreeData( /*@only@*/ /*@null@*/ const void * data, rpmTagType type)
+ /*@modifies data @*/
{
if (data) {
/*@-branchstate@*/
- if (type < 0 ||
+ if (type == -1 ||
type == RPM_STRING_ARRAY_TYPE ||
type == RPM_I18NSTRING_TYPE ||
type == RPM_BIN_TYPE)
* value of the tag a 16 byte image of what should/will be in the header index,
* followed by per-tag private data.
*/
+/*@-enummemuse -typeuse @*/
typedef enum rpmSubTagType_e {
RPM_REGION_TYPE = -10,
RPM_BIN_ARRAY_TYPE = -11,
/*!<@todo Implement, intent is to to carry a (???,tagNum,valNum) cross
reference to retrieve data from other tags. */
} rpmSubTagType;
+/*@=enummemuse =typeuse @*/
/**
* Header private tags.
* @param mode file mode
* @return (malloc'd) formatted mode string
*/
-char * rpmPermsString(int mode);
+char * rpmPermsString(int mode)
+ /*@*/;
/**
* Read manifest, glob items, and append to existing args.
* @retval argcPtr no. of args
* @retval argvPtr args themselves
*/
-int rpmReadPackageManifest(FD_t fd, int * argcPtr, const char *** argvPtr);
+int rpmReadPackageManifest(FD_t fd, int * argcPtr, const char *** argvPtr)
+ /*@modifies fd, *argcPtr, *argvPtr @*/;
#ifdef __cplusplus
}
#include "debug.h"
static int _ie = 0x44332211;
-static union _mendian { int i; char b[4]; } *_endian = (union _mendian *)&_ie;
+static union _mendian {
+/*@unused@*/ int i;
+ char b[4];
+} *_endian = (union _mendian *)&_ie;
#define IS_BIG_ENDIAN() (_endian->b[0] == '\x44')
#define IS_LITTLE_ENDIAN() (_endian->b[0] == '\x11')
-/*@-exportlocal@*/
-void byteReverse(unsigned char *buf, unsigned longs);
-/*@=exportlocal@*/
-
/*
* Note: this code is harmless on little-endian machines.
*/
-void byteReverse(unsigned char *buf, unsigned longs)
+static void byteReverse(unsigned char *buf, unsigned longs)
+ /*@modifies *buf @*/
{
uint32 t;
do {
/*@access Header@*/ /* XXX compared with NULL */
/*@access FD_t@*/ /* XXX compared with NULL */
-char * RPMVERSION = VERSION; /* just to put a marker in librpm.a */
+/*@-exportheadervar@*/
+/*@unused@*/ char * RPMVERSION = VERSION; /* just to put a marker in librpm.a */
+/*@=exportheadervar@*/
char ** splitString(const char * str, int length, char sep)
{
/**
*/
-/*@only@*/ char ** splitString(const char * str, int length, char sep);
+/*@only@*/ char ** splitString(const char * str, int length, char sep)
+ /*@*/;
/**
*/
-void freeSplitString( /*@only@*/ char ** list);
+void freeSplitString( /*@only@*/ char ** list)
+ /*@modifies list @*/;
/**
* Remove occurences of trailing character from string.
/**
*/
-int rpmfileexists(const char * urlfn) /*@*/;
+int rpmfileexists(const char * urlfn)
+ /*@modifies fileSystem @*/;
/**
*/
-int rpmvercmp(const char * a, const char * b);
+int rpmvercmp(const char * a, const char * b)
+ /*@*/;
/*
* These are like the libc functions, but they malloc() the space which
/**
*/
-int dosetenv(const char * name, const char * value, int overwrite);
+int dosetenv(const char * name, const char * value, int overwrite)
+ /*@modifies fileSystem @*/;
/**
*/
-int doputenv(const char * str);
+int doputenv(const char * str)
+ /*@modifies fileSystem @*/;
/**
*/
-int makeTempFile(const char * prefix, /*@out@*/ const char ** fnptr,
- /*@out@*/ FD_t * fdptr);
+int makeTempFile(const char * prefix,
+ /*@null@*/ /*@out@*/ const char ** fnptr,
+ /*@out@*/ FD_t * fdptr)
+ /*@modifies *fnptr, *fdptr, fileSystem @*/;
/**
* @return cureent working directory (malloc'ed)
*/
-/*@only@*/ char * currentDirectory(void);
+/*@only@*/ char * currentDirectory(void)
+ /*@modifies fileSystem @*/;
/**
*/
-void compressFilelist(Header h);
+void compressFilelist(Header h)
+ /*@modifies h @*/;
/**
*/
-void expandFilelist(Header h);
+void expandFilelist(Header h)
+ /*@modifies h @*/;
/**
*/
-void buildOrigFileList(Header h, /*@out@*/ const char *** fileListPtr,
- /*@out@*/ int * fileCountPtr);
+void buildOrigFileList(Header h, /*@out@*/ const char *** fileListPtr,
+ /*@out@*/ int * fileCountPtr)
+ /*@modifies *fileListPtr, *fileCountPtr @*/;
/**
*/
/**
*/
-void providePackageNVR(Header h);
+void providePackageNVR(Header h)
+ /*@modifies h @*/;
#ifdef __cplusplus
}
struct rpmlead * lead;
char * defaultPrefix;
struct stat sb;
- int_32 true = 1;
rpmRC rc;
hdr = hdrPtr ? hdrPtr : &hdrBlock;
/* XXX binary rpms always have RPMTAG_SOURCERPM, source rpms do not */
if (lead->type == RPMLEAD_SOURCE) {
+ int_32 one = 1;
if (!headerIsEntry(*hdr, RPMTAG_SOURCEPACKAGE))
(void)headerAddEntry(*hdr, RPMTAG_SOURCEPACKAGE, RPM_INT32_TYPE,
- &true, 1);
+ &one, 1);
} else if (lead->major < 4) {
/* Retrofit "Provide: name = EVR" for binary packages. */
providePackageNVR(*hdr);
#define POPT_TP 0x7470
#define POPT_TS 0x7473
+/*@-redecl@*/
extern int _noDirTokens;
extern int _fsm_debug;
+/*@=redecl@*/
static int force = 0;
int noLang = 0;
static int noBuild = 0;
/*@access PSM_t @*/ /* compared with NULL */
/*@access FD_t @*/ /* compared with NULL */
+/*@-redecl@*/
extern int _fsm_debug;
+/*@=redecl@*/
int rpmVersionCompare(Header first, Header second)
{
/**
*/
-struct sharedFile {
- int mainFileNumber;
- int secRecOffset;
- int secFileNumber;
-} ;
-
-/**
- */
struct sharedFileInfo {
int pkgFileNum;
int otherFileNum;
int_32 * dil; /*!< Directory indice(s) (from header) */
/*@owned@*/ const char ** obnl; /*!< Original base name(s) (from header) */
/*@owned@*/ const char ** odnl; /*!< Original directory name(s) (from header) */
- int_32 * odil; /*!< Original directory indice(s) (from header) */
+/*@unused@*/ int_32 * odil; /*!< Original directory indice(s) (from header) */
/*@owned@*/ const char ** fmd5s;/*!< File MD5 sum(s) (from header) */
/*@owned@*/ const char ** flinks; /*!< File link(s) (from header) */
/* XXX setuid/setgid bits are turned off if fuser/fgroup doesn't map. */
unsigned long total; /*!< Callback total. */
rpmRC rc;
pkgStage goal;
- pkgStage stage;
+/*@unused@*/ pkgStage stage;
};
#ifdef __cplusplus
const char ** fileOwnerList = NULL;
const char ** fileGroupList = NULL;
const char ** fileLinktoList = NULL;
+ int m5t, fot, fgt, ltt;
const char * fileStatesList;
int_32 * fileFlagsList, * fileMTimeList, * fileSizeList;
int_32 * fileUIDList = NULL;
te = stpcpy(te, _("(contains no files)"));
goto exit;
}
- if (!hge(h, RPMTAG_FILESTATES, &type, (void **) &fileStatesList, &count)) {
+ if (!hge(h, RPMTAG_FILESTATES, &type, (void **) &fileStatesList, &count))
fileStatesList = NULL;
- }
- (void) hge(h, RPMTAG_DIRNAMES, &dnt, (void **) &dirNames, NULL);
- (void) hge(h, RPMTAG_DIRINDEXES, NULL, (void **) &dirIndexes, NULL);
- (void) hge(h, RPMTAG_FILEFLAGS, &type, (void **)&fileFlagsList, &count);
- (void) hge(h, RPMTAG_FILESIZES, &type, (void **) &fileSizeList, &count);
- (void) hge(h, RPMTAG_FILEMODES, &type, (void **) &fileModeList, &count);
- (void) hge(h, RPMTAG_FILEMTIMES, &type, (void **)&fileMTimeList,&count);
- (void) hge(h, RPMTAG_FILERDEVS, &type, (void **) &fileRdevList, &count);
- (void) hge(h, RPMTAG_FILEINODES, &type, (void **)&fileInodeList,&count);
- (void) hge(h, RPMTAG_FILELINKTOS,&type,(void **)&fileLinktoList,&count);
- (void) hge(h, RPMTAG_FILEMD5S, &type, (void **) &fileMD5List, &count);
-
- if (!hge(h, RPMTAG_FILEUIDS, &type, (void **) &fileUIDList, &count)) {
+ if (!hge(h, RPMTAG_DIRNAMES, &dnt, (void **) &dirNames, NULL))
+ dirNames = NULL;
+ if (!hge(h, RPMTAG_DIRINDEXES, NULL, (void **) &dirIndexes, NULL))
+ dirIndexes = NULL;
+ if (!hge(h, RPMTAG_FILEFLAGS, &type, (void **) &fileFlagsList, &count))
+ fileFlagsList = NULL;
+ if (!hge(h, RPMTAG_FILESIZES, &type, (void **) &fileSizeList, &count))
+ fileSizeList = NULL;
+ if (!hge(h, RPMTAG_FILEMODES, &type, (void **) &fileModeList, &count))
+ fileModeList = NULL;
+ if (!hge(h, RPMTAG_FILEMTIMES, &type, (void **) &fileMTimeList, &count))
+ fileMTimeList = NULL;
+ if (!hge(h, RPMTAG_FILERDEVS, &type, (void **) &fileRdevList, &count))
+ fileRdevList = NULL;
+ if (!hge(h, RPMTAG_FILEINODES, &type, (void **) &fileInodeList, &count))
+ fileInodeList = NULL;
+ if (!hge(h, RPMTAG_FILELINKTOS, <t, (void **) &fileLinktoList, NULL))
+ fileLinktoList = NULL;
+ if (!hge(h, RPMTAG_FILEMD5S, &m5t, (void **) &fileMD5List, NULL))
+ fileMD5List = NULL;
+ if (!hge(h, RPMTAG_FILEUIDS, &type, (void **) &fileUIDList, &count))
fileUIDList = NULL;
- } else if (!hge(h, RPMTAG_FILEGIDS, &type,
- (void **) &fileGIDList, &count)) {
+ if (!hge(h, RPMTAG_FILEGIDS, &type, (void **) &fileGIDList, &count))
fileGIDList = NULL;
- }
-
- if (!hge(h, RPMTAG_FILEUSERNAME, &type, (void **) &fileOwnerList, &count)) {
+ if (!hge(h, RPMTAG_FILEUSERNAME, &fot, (void **) &fileOwnerList, NULL))
fileOwnerList = NULL;
- } else
- if (!hge(h, RPMTAG_FILEGROUPNAME, &type, (void **) &fileGroupList, &count)) {
+ if (!hge(h, RPMTAG_FILEGROUPNAME, &fgt, (void **) &fileGroupList, NULL))
fileGroupList = NULL;
- }
for (i = 0; i < count; i++) {
/* If querying only docs, skip non-doc files. */
sprintf(te, "%s%s %d %d %s 0%o ",
dirNames[dirIndexes[i]], baseNames[i],
fileSizeList[i], fileMTimeList[i],
- fileMD5List[i], fileModeList[i]);
+ fileMD5List[i], (unsigned) fileModeList[i]);
te += strlen(te);
if (fileOwnerList && fileGroupList) {
sprintf(te, " %s %s %u ",
fileFlagsList[i] & RPMFILE_CONFIG ? "1" : "0",
fileFlagsList[i] & RPMFILE_DOC ? "1" : "0",
- (unsigned)fileRdevList[i]);
+ (unsigned) fileRdevList[i]);
te += strlen(te);
if (strlen(fileLinktoList[i]))
t = _free(t);
dirNames = hfd(dirNames, dnt);
baseNames = hfd(baseNames, bnt);
- fileLinktoList = hfd(fileLinktoList, -1);
- fileMD5List = hfd(fileMD5List, -1);
- fileOwnerList = hfd(fileOwnerList, -1);
- fileGroupList = hfd(fileGroupList, -1);
+ fileLinktoList = hfd(fileLinktoList, ltt);
+ fileMD5List = hfd(fileMD5List, m5t);
+ fileOwnerList = hfd(fileOwnerList, fot);
+ fileGroupList = hfd(fileGroupList, fgt);
return rc;
}
return ec;
}
+/*@-redecl@*/
/**
* @todo Eliminate linkage loop into librpmbuild.a
*/
* @todo Eliminate linkage loop into librpmbuild.a
*/
/*@null@*/ Spec (*freeSpecVec) (Spec spec) = NULL;
+/*@=redecl@*/
int rpmQueryVerify(QVA_t qva, rpmQVSources source, const char * arg,
rpmdb rpmdb, QVF_t showPackage)
case RPMCALLBACK_TRANS_PROGRESS:
case RPMCALLBACK_INST_PROGRESS:
if (flags & INSTALL_PERCENT)
- fprintf(stdout, "%%%% %f\n", (total
- ? ((float) ((((float) amount) / total) * 100))
+ fprintf(stdout, "%%%% %f\n", (double) (total
+ ? ((((float) amount) / total) * 100)
: 100.0));
else if (flags & INSTALL_HASH)
printHash(amount, total);
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
- * @param this memory to free
+ * @param p memory to free
* @return NULL always
*/
-/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * p) {
+/*@unused@*/ static inline /*@null@*/ void *
+_free(/*@only@*/ /*@null@*/ const void * p) /*@modifies p@*/
+{
if (p != NULL) free((void *)p);
return NULL;
}
* @retval c address of number of values
* @return 0 on success, 1 on bad magic, 2 on error
*/
+/*@unused@*/
int rpmPackageGetEntry(void *leadp, Header sigs, Header h,
int_32 tag, int_32 *type, void **p, int_32 *c)
/*@modifies *type, *p, *c @*/;
+/*@-redecl@*/
/**
* Automatically generated table of tag name/value pairs.
*/
* @note Chains to headerDefaultFormats[].
*/
extern const struct headerSprintfExtension rpmHeaderFormats[];
+/*@=redecl@*/
/**
* Pseudo-tags used by the rpmdb iterator API.
* Tags identify data in package headers.
* @note tags should not have value 0!
*/
+/*@-enummemuse -typeuse@*/
typedef enum rpmTag_e {
RPMTAG_HEADERIMAGE = HEADER_IMAGE, /*!< Current image. */
RPMTAG_REMOVETID = 1129,
RPMTAG_FIRSTFREE_TAG /*!< internal */
} rpmTag;
+/*@=enummemuse =typeuse@*/
#define RPMTAG_EXTERNAL_TAG 1000000
/**
* File States (when installed).
*/
+/*@-typeuse@*/
typedef enum rpmfileStates_e {
RPMFILE_STATE_NORMAL = 0,
RPMFILE_STATE_REPLACED = 1,
RPMFILE_STATE_NOTINSTALLED = 2,
RPMFILE_STATE_NETSHARED = 3
} rpmfileStates;
+/*@=typeuse@*/
/**
* File Attributes.
*/
+/*@-typeuse@*/
typedef enum rpmfileAttrs_e {
RPMFILE_CONFIG = (1 << 0), /*!< from %%config */
RPMFILE_DOC = (1 << 1), /*!< from %%doc */
+/*@-enummemuse@*/
RPMFILE_DONOTUSE = (1 << 2), /*!< @todo (unimplemented) from %donotuse. */
+/*@=enummemuse@*/
RPMFILE_MISSINGOK = (1 << 3), /*!< from %%config(missingok) */
RPMFILE_NOREPLACE = (1 << 4), /*!< from %%config(noreplace) */
RPMFILE_SPECFILE = (1 << 5), /*!< @todo (unnecessary) marks 1st file in srpm. */
RPMFILE_README = (1 << 8), /*!< from %%readme */
RPMFILE_EXCLUDE = (1 << 9) /*!< from %%exclude */
} rpmfileAttrs;
+/*@=typeuse@*/
#define RPMFILE_MULTILIB_SHIFT 9
#define RPMFILE_MULTILIB(N) ((N) << RPMFILE_MULTILIB_SHIFT)
#define RPMFILE_MULTILIB_MASK RPMFILE_MULTILIB(7)
*/
typedef enum rpmsenseFlags_e {
RPMSENSE_ANY = 0,
+/*@-enummemuse@*/
RPMSENSE_SERIAL = (1 << 0), /*!< @todo Legacy. */
+/*@=enummemuse@*/
RPMSENSE_LESS = (1 << 1),
RPMSENSE_GREATER = (1 << 2),
RPMSENSE_EQUAL = (1 << 3),
RPMSENSE_SCRIPT_INSTALL = (1 << 22),/*!< %install build dependency. */
RPMSENSE_SCRIPT_CLEAN = (1 << 23), /*!< %clean build dependency. */
RPMSENSE_RPMLIB = ((1 << 24) | RPMSENSE_PREREQ), /*!< rpmlib(feature) dependency. */
+/*@-enummemuse@*/
RPMSENSE_TRIGGERPREIN = (1 << 25) /*!< @todo Implement %triggerprein. */
+/*@=enummemuse@*/
} rpmsenseFlags;
* @deprecated Use rpmExpand() with appropriate macro expression.
* @todo Eliminate from API.
*/
+/*@-redecl@*/
/*@observer@*/ /*@null@*/ extern const char * rpmGetVar(int var) /*@*/;
+/*@=redecl@*/
/** \ingroup rpmrc
* Set value of an rpmrc variable.
* This is a colon separated list of files. URI's are permitted as well,
* identified by the token '://', so file paths must not begin with '//'.
*/
+/*@-redecl@*/
extern const char * macrofiles;
+/*@=redecl@*/
/** \ingroup rpmrc
* Build and install arch/os table identifiers.
* @retval arch address of arch name (or NULL)
* @retval os address of os name (or NULL)
*/
+/*@unused@*/
void rpmGetMachine( /*@null@*/ /*@out@*/ const char **arch,
/*@null@*/ /*@out@*/ const char **os)
/*@modifies *arch, *os @*/;
/** \ingroup rpmdb
* Open all database indices.
- * @param rpmdb rpm database
+ * @param db rpm database
* @return 0 on success
*/
-int rpmdbOpenAll (/*@null@*/ rpmdb rpmdb)
- /*@modifies fileSystem @*/;
+int rpmdbOpenAll (/*@null@*/ rpmdb db)
+ /*@modifies db, fileSystem @*/;
/** \ingroup rpmdb
* Return number of instances of package in rpm database.
* @return number of instances
*/
int rpmdbCountPackages(rpmdb db, const char * name)
- /*@*/;
+ /*@modifies db @*/;
/** \ingroup rpmdb
*/
/** \ingroup rpmdb
* Return database iterator.
- * @param rpmdb rpm database
+ * @param db rpm database
* @param rpmtag rpm tag
* @param keyp key data (NULL for sequential access)
* @param keylen key data length (0 will use strlen(keyp))
* @return NULL on failure
*/
/*@only@*/ /*@null@*/ rpmdbMatchIterator rpmdbInitIterator(
- /*@kept@*/ /*@null@*/ rpmdb rpmdb, int rpmtag,
+ /*@kept@*/ /*@null@*/ rpmdb db, int rpmtag,
/*@null@*/ const void * key, size_t keylen)
- /*@modifies fileSystem @*/;
+ /*@modifies db, fileSystem @*/;
/** \ingroup rpmdb
* Add package header to rpm database and indices.
- * @param rpmdb rpm database
+ * @param db rpm database
* @param iid install transaction id (or -1 to skip)
* @param h header
* @return 0 on success
*/
-int rpmdbAdd(rpmdb rpmdb, int iid, Header h)
- /*@modifies h, fileSystem @*/;
+int rpmdbAdd(rpmdb db, int iid, Header h)
+ /*@modifies db, h, fileSystem @*/;
/** \ingroup rpmdb
* Remove package header from rpm database and indices.
- * @param rpmdb rpm database
+ * @param db rpm database
* @param rid remove transaction id (or -1 to skip)
* @param offset location in Packages dbi
* @return 0 on success
*/
-int rpmdbRemove(rpmdb rpmdb, int rid, unsigned int offset)
- /*@modifies fileSystem @*/;
+int rpmdbRemove(rpmdb db, int rid, unsigned int offset)
+ /*@modifies db, fileSystem @*/;
/** \ingroup rpmdb
* Rebuild database indices from package headers.
* @param prob rpm problem
* @return formatted string
*/
+/*@-redecl@*/
/*@only@*/ extern const char * rpmProblemString(const rpmProblem prob) /*@*/;
+/*@=redecl@*/
/**
* Output formatted string representation of problem to file handle.
* Prototype for headerFreeData() vector.
*/
typedef /*@null@*/
- void * (*HFD_t) (/*@only@*/ /*@null@*/ const void * data, rpmTagType type);
+ void * (*HFD_t) (/*@only@*/ /*@null@*/ const void * data, rpmTagType type)
+ /*@modifies data @*/;
/**
* Prototype for headerGetEntry() vector.
*/
-typedef int (*HGE_t) (Header h, int_32 tag, /*@null@*/ /*@out@*/ int_32 * type,
+typedef int (*HGE_t) (Header h, int_32 tag,
+ /*@null@*/ /*@out@*/ int_32 * type,
/*@null@*/ /*@out@*/ void ** p,
- /*@null@*/ /*@out@*/int_32 * c)
+ /*@null@*/ /*@out@*/ int_32 * c)
/*@modifies *type, *p, *c @*/;
/**
* @param h header
* @param key package private data
*/
+/*@unused@*/
void rpmtransAvailablePackage(rpmTransactionSet ts, Header h,
/*@null@*/ /*@owned@*/ const void * key)
/*@modifies h, ts @*/;
* @param ts transaction set
* @param fd file handle
*/
+/*@unused@*/
void rpmtransSetScriptFd(rpmTransactionSet ts, FD_t fd)
/*@modifies ts, fd @*/;
* @retval nep address of no. of returned elements (or NULL)
* @return 0 always
*/
+/*@unused@*/
int rpmtransGetKeys(const rpmTransactionSet ts,
/*@null@*/ /*@out@*/ const void *** ep, /*@null@*/ /*@out@*/ int * nep)
/*@modifies ep, nep @*/;
RPMTRANS_FLAG_NOTRIGGERS = (1 << 4), /*!< from --notriggers */
RPMTRANS_FLAG_NODOCS = (1 << 5), /*!< from --excludedocs */
RPMTRANS_FLAG_ALLFILES = (1 << 6), /*!< from --allfiles */
+/*@-enummemuse@*/
RPMTRANS_FLAG_KEEPOBSOLETE = (1 << 7), /*!< @todo Document. */
+/*@=enummemuse@*/
RPMTRANS_FLAG_MULTILIB = (1 << 8), /*!< @todo Document. */
RPMTRANS_FLAG_DIRSTASH = (1 << 9), /*!< from --dirstash */
RPMTRANS_FLAG_REPACKAGE = (1 << 10), /*!< from --repackage */
RPMTRANS_FLAG_PKGCOMMIT = (1 << 11),
+/*@-enummemuse@*/
RPMTRANS_FLAG_PKGUNDO = (1 << 12),
+/*@=enummemuse@*/
RPMTRANS_FLAG_COMMIT = (1 << 13),
+/*@-enummemuse@*/
RPMTRANS_FLAG_UNDO = (1 << 14),
+/*@=enummemuse@*/
RPMTRANS_FLAG_REVERSE = (1 << 15),
RPMTRANS_FLAG_NOTRIGGERPREIN= (1 << 16),
RPMTRANS_FLAG_NOPREUN = (1 << 21),
RPMTRANS_FLAG_NOPOSTUN = (1 << 22),
RPMTRANS_FLAG_NOTRIGGERPOSTUN = (1 << 23),
+/*@-enummemuse@*/
RPMTRANS_FLAG_NOPAYLOAD = (1 << 24),
+/*@=enummemuse@*/
RPMTRANS_FLAG_APPLYONLY = (1 << 25),
RPMTRANS_FLAG_CHAINSAW = (1 << 26),
* @retval address of array of rpmlib internal provide versions
* @return no. of entries
*/
+/*@unused@*/
int rpmGetRpmlibProvides(/*@out@*/ const char *** provNames,
/*@out@*/ int ** provFlags, /*@out@*/ const char *** provVersions)
/*@ modifies *provNames, *provFlags, *provVersions @*/;
* @param tag tag value
* @return name of tag
*/
+/*@-redecl@*/
/*@observer@*/ extern const char *const tagName(int tag) /*@*/;
+/*@=redecl@*/
/**
* Return value of tag from name.
char name[66];
short osnum;
short signature_type; /*!< Signature header type (RPMSIG_HEADERSIG) */
- char reserved[16]; /*!< Pad to 96 bytes -- 8 byte aligned! */
+/*@unused@*/ char reserved[16]; /*!< Pad to 96 bytes -- 8 byte aligned! */
} ;
/**
/** \ingroup rpmcli
* Bit(s) to control rpmQuery() operation, stored in qva_flags.
*/
+/*@-typeuse@*/
typedef enum rpmQueryFlags_e {
QUERY_FOR_LIST = (1 << 1), /*!< from --list */
QUERY_FOR_STATE = (1 << 2), /*!< from --state */
QUERY_FOR_CONFIG = (1 << 4), /*!< from --configfiles */
QUERY_FOR_DUMPFILES = (1 << 8) /*!< from --dump */
} rpmQueryFlags;
+/*@=typeuse@*/
/** \ingroup rpmcli
* Bit(s) to control rpmVerify() operation, stored in qva_flags.
*/
+/*@-typeuse@*/
typedef enum rpmVerifyFlags_e {
VERIFY_FILES = (1 << 9), /*!< from --nofiles */
VERIFY_DEPS = (1 << 10), /*!< from --nodeps */
VERIFY_SCRIPT = (1 << 11), /*!< from --noscripts */
VERIFY_MD5 = (1 << 12) /*!< from --nomd5 */
} rpmVerifyFlags;
+/*@=typeuse@*/
/** \ingroup rpmcli
* Describe query/verify command line request.
rpmQVSources qva_source; /*!< Identify CLI arg type. */
int qva_sourceCount;/*!< Exclusive check (>1 is error). */
int qva_flags; /*!< Bit(s) to control operation. */
- int qva_verbose; /*!< (unused) */
+/*@unused@*/ int qva_verbose; /*!< (unused) */
/*@only@*/ /*@null@*/ const char * qva_queryFormat; /*!< Format for headerSprintf(). */
/*@dependent@*/ /*@null@*/ const char * qva_prefix; /*!< Path to top of install tree. */
char qva_mode; /*!< 'q' is query, 'v' is verify mode. */
* @param db rpm database
* @param h header to use for query/verify
*/
-typedef int (*QVF_t) (QVA_t qva, rpmdb db, Header h);
+typedef int (*QVF_t) (QVA_t qva, rpmdb db, Header h)
+ /*@modifies db @*/;
/** \ingroup rpmcli
* Display query/verify information for each header in iterator.
* @return result of last non-zero showPackage() return
*/
int showMatches(QVA_t qva, /*@only@*/ /*@null@*/ rpmdbMatchIterator mi,
- QVF_t showPackage);
+ QVF_t showPackage)
+ /*@modifies mi @*/;
/** \ingroup rpmcli
*/
* Display list of tags that can be used in --queryformat.
* @param f file handle to use for display
*/
-void rpmDisplayQueryTags(FILE * f) /*@modifies f@*/;
+void rpmDisplayQueryTags(FILE * f) /*@modifies f @*/;
/** \ingroup rpmcli
* Common query/verify source interface, called once for each CLI arg.
* @param qva parsed query/verify options
* @param source type of source to query/verify
* @param arg name of source to query/verify
- * @param rpmdb rpm database
+ * @param db rpm database
* @param showPackage query/verify specific display routine
* @return showPackage() result, 1 if rpmdbInitIterator() is NULL
*/
int rpmQueryVerify(QVA_t qva, rpmQVSources source, const char * arg,
- rpmdb rpmdb, QVF_t showPackage)
- /*@modifies fileSystem@*/;
+ rpmdb db, QVF_t showPackage)
+ /*@modifies db, fileSystem@*/;
/** \ingroup rpmcli
* Display results of package query.
* @todo Devise a meaningful return code.
* @param qva parsed query/verify options
- * @param rpmdb rpm database (unused for queries)
+ * @param db rpm database (unused for queries)
* @param h header to use for query
* @return 0 always
*/
-int showQueryPackage(QVA_t qva, rpmdb rpmdb, Header h);
+int showQueryPackage(QVA_t qva, rpmdb db, Header h)
+ /*@modifies db, fileSystem @*/;
/** \ingroup rpmcli
* Display package information.
/** \ingroup rpmcli
* Display results of package verify.
* @param qva parsed query/verify options
- * @param rpmdb rpm database
+ * @param db rpm database
* @param h header to use for verify
* @return result of last non-zero verify return
*/
-int showVerifyPackage(QVA_t qva, /*@only@*/ rpmdb rpmdb, Header h)
- /*@modifies fileSystem@*/;
+int showVerifyPackage(QVA_t qva, /*@only@*/ rpmdb db, Header h)
+ /*@modifies db, fileSystem@*/;
/** \ingroup rpmcli
* Verify package install.
/** \ingroup signature
* Tags found in signature header from package.
*/
+/*@-enummemuse@*/
enum rpmtagSignature {
RPMSIGTAG_SIZE = 1000, /*!< Size in bytes. */
/* the md5 sum was broken *twice* on big endian machines */
RPMTAG_HASH_TIGER192= RPMTAG_HASH_BASE+6, /*!< (unused) */
RPMTAG_HASH_HAVAL_5_160= RPMTAG_HASH_BASE+7 /*!< (unused) */
};
+/*@=enummemuse@*/
/**
* Return codes from verifySignature().
struct rpmOption {
const char * name;
int var;
- int archSpecific, required, macroize, localize;
- struct rpmOptionValue * value;
+ int archSpecific;
+/*@unused@*/ int required;
+ int macroize;
+ int localize;
+/*@unused@*/ struct rpmOptionValue * value;
};
typedef struct defaultEntry_s {
}
for (i = 0; i < RPMVAR_NUM; i++) {
- struct rpmvarValue *this;
- while ((this = values[i].next) != NULL) {
- values[i].next = this->next;
- this->value = _free(this->value);
- this->arch = _free(this->arch);
- this = _free(this);
+ struct rpmvarValue * vp;
+ while ((vp = values[i].next) != NULL) {
+ values[i].next = vp->next;
+ vp->value = _free(vp->value);
+ vp->arch = _free(vp->arch);
+ vp = _free(vp);
}
values[i].value = _free(values[i].value);
values[i].arch = _free(values[i].arch);
typedef enum sigType_e {
RPMSIGTYPE_NONE = 0, /*!< unused, legacy. */
RPMSIGTYPE_PGP262_1024 = 1, /*!< unused, legacy. */
+/*@-enummemuse@*/
RPMSIGTYPE_BAD = 2, /*!< Unknown signature type. */
+/*@=enummemuse@*/
RPMSIGTYPE_MD5 = 3, /*!< unused, legacy. */
RPMSIGTYPE_MD5_PGP = 4, /*!< unused, legacy. */
RPMSIGTYPE_HEADERSIG= 5, /*!< Header style signature */
/** \ingroup signature
* Return path to pgp executable of given type, or NULL when not found.
*/
+/*@-redecl@*/
/*@null@*/ const char * rpmDetectPGPVersion(
/*@null@*/ /*@out@*/ pgpVersion * pgpVer)
/*@modifies *pgpVer, fileSystem @*/;
+/*@=redecl@*/
#ifdef __cplusplus
}
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
- * @param this memory to free
+ * @param p memory to free
* @return NULL always
*/
-/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * p) {
+/*@unused@*/ static inline /*@null@*/ void *
+_free(/*@only@*/ /*@null@*/ const void * p) /*@modifies *p @*/
+{
if (p != NULL) free((void *)p);
return NULL;
}
/**
*/
-/*@only@*/ StringBuf newStringBuf(void);
+/*@only@*/ StringBuf newStringBuf(void)
+ /*@*/;
/**
*/
-/*@null@*/ StringBuf freeStringBuf( /*@only@*/ /*@null@*/ StringBuf sb);
+/*@null@*/ StringBuf freeStringBuf( /*@only@*/ /*@null@*/ StringBuf sb)
+ /*@modifies sb @*/;
/**
*/
-void truncStringBuf(StringBuf sb);
+/*@unused@*/
+void truncStringBuf(StringBuf sb)
+ /*@modifies sb @*/;
/**
*/
-/*@observer@*/ char *getStringBuf(StringBuf sb);
+/*@observer@*/ char * getStringBuf(StringBuf sb)
+ /*@*/;
/**
*/
-void stripTrailingBlanksStringBuf(StringBuf sb);
+void stripTrailingBlanksStringBuf(StringBuf sb)
+ /*@modifies sb @*/;
/**
*/
/**
*/
-void appendStringBufAux(StringBuf sb, const char *s, int nl);
+void appendStringBufAux(StringBuf sb, const char * s, int nl)
+ /*@modifies sb @*/;
#ifdef __cplusplus
}
};
/**
+ * Return transaction element order count.
+ * @param a transaction element iterator
+ * @return element order count
*/
-static int tsGetOc(void * this) {
- struct tsIterator_s * iter = this;
+static int tsGetOc(void * a) {
+ struct tsIterator_s * iter = a;
int oc = iter->ocsave;
return oc;
}
/**
+ * Return transaction element available package pointer.
+ * @param a transaction element iterator
+ * @return available package pointer
*/
-static /*@dependent@*/ struct availablePackage * tsGetAlp(void * this) {
- struct tsIterator_s * iter = this;
+static /*@dependent@*/ struct availablePackage * tsGetAlp(void * a) {
+ struct tsIterator_s * iter = a;
struct availablePackage * alp = NULL;
int oc = iter->ocsave;
/**
* Destroy transaction element iterator.
- * @param this transaction element iterator
+ * @param a transaction element iterator
* @return NULL always
*/
-static /*@null@*/ void * tsFreeIterator(/*@only@*//*@null@*/ const void * this)
+static /*@null@*/ void * tsFreeIterator(/*@only@*//*@null@*/ const void * a)
{
- return _free(this);
+ return _free(a);
}
/**
* Create transaction element iterator.
- * @param this transaction set
+ * @param a transaction set
* @return transaction element iterator
*/
-static void * tsInitIterator(/*@kept@*/ const void * this)
+static void * tsInitIterator(/*@kept@*/ const void * a)
{
- rpmTransactionSet ts = (void *)this;
+ rpmTransactionSet ts = (void *)a;
struct tsIterator_s * iter = NULL;
iter = xcalloc(1, sizeof(*iter));
/**
* Return next transaction element's file info.
- * @param this file info iterator
+ * @param a file info iterator
* @return next index, -1 on termination
*/
-static /*@dependent@*/ TFI_t tsNextIterator(void * this) {
- struct tsIterator_s * iter = this;
+static /*@dependent@*/ TFI_t tsNextIterator(void * a) {
+ struct tsIterator_s * iter = a;
rpmTransactionSet ts = iter->ts;
TFI_t fi = NULL;
int oc = -1;
#else
struct statfs sfb;
# if STAT_STATFS4
-/* this platform has the 4-argument version of the statfs call. The last two
+/* This platform has the 4-argument version of the statfs call. The last two
* should be the size of struct statfs and 0, respectively. The 0 is the
* filesystem type, and is always 0 when statfs is called on a mounted
* filesystem, as we're doing.
/*@access rpmdb*/ /* XXX compared with NULL */
static int _ie = 0x44332211;
-static union _vendian { int i; char b[4]; } *_endian = (union _vendian *)&_ie;
+static union _vendian {
+/*@unused@*/ int i;
+ char b[4];
+} *_endian = (union _vendian *)&_ie;
#define IS_BIG_ENDIAN() (_endian->b[0] == '\x44')
#define IS_LITTLE_ENDIAN() (_endian->b[0] == '\x11')
}
static const char * findNextArg(/*@special@*/ poptContext con,
- unsigned argx, int delete)
+ unsigned argx, int delete_arg)
/*@uses con->optionStack, con->os,
con->os->next, con->os->argb, con->os->argc, con->os->argv @*/
{
if (*os->argv[i] == '-') continue;
if (--argx > 0) continue;
arg = os->argv[i];
- if (delete) {
+ if (delete_arg) {
if (os->argb == NULL) os->argb = PBM_ALLOC(os->argc);
if (os->argb != NULL) /* XXX can't happen */
PBM_SET(i, os->argb);
/** \ingroup popt
*/
#ifndef __cplusplus
+/*@-typeuse@*/
typedef struct poptOption * poptOption;
+/*@=typeuse@*/
#endif
enum poptCallbackReason { POPT_CALLBACK_REASON_PRE,
enum poptCallbackReason reason,
/*@null@*/ const struct poptOption * opt,
/*@null@*/ const char * arg,
- /*@null@*/ const void * data);
+ /*@null@*/ const void * data)
+ /*@*/;
/** \ingroup popt
* Initialize popt context.
/*@dependent@*/ /*@keep@*/ const char * name,
int argc, /*@dependent@*/ /*@keep@*/ const char ** argv,
/*@dependent@*/ /*@keep@*/ const struct poptOption * options,
- int flags);
+ int flags)
+ /*@*/;
/** \ingroup popt
* Reinitialize popt context.
* @param con context
*/
-void poptResetContext(/*@null@*/poptContext con);
+void poptResetContext(/*@null@*/poptContext con)
+ /*@modifies con @*/;
/** \ingroup popt
* Return value of next option found.
* @param con context
* @return next option val, -1 on last item, POPT_ERROR_* on error
*/
-int poptGetNextOpt(/*@null@*/poptContext con);
-/* returns NULL if no argument is available */
+int poptGetNextOpt(/*@null@*/poptContext con)
+ /*@modifies con @*/;
+/*@-redecl@*/
/** \ingroup popt
+ * Return next option argument (if any).
* @param con context
+ * @return option argument, NULL if no more options are available
*/
-/*@observer@*/ /*@null@*/ const char * poptGetOptArg(/*@null@*/poptContext con);
+/*@observer@*/ /*@null@*/ const char * poptGetOptArg(/*@null@*/poptContext con)
+ /*@modifies con @*/;
/** \ingroup popt
* Return current option's argument.
* @param con context
* @return option argument, NULL if no more options are available
*/
-/*@observer@*/ /*@null@*/ const char * poptGetArg(/*@null@*/poptContext con);
+/*@observer@*/ /*@null@*/ const char * poptGetArg(/*@null@*/poptContext con)
+ /*@modifies con @*/;
/** \ingroup popt
- * Peek at current option's argument.
+ * Peek at current option's argument.
* @param con context
* @return option argument
*/
-/*@observer@*/ /*@null@*/ const char * poptPeekArg(/*@null@*/poptContext con);
+/*@observer@*/ /*@null@*/ const char * poptPeekArg(/*@null@*/poptContext con)
+ /*@*/;
/** \ingroup popt
* Return remaining arguments.
* @param con context
* @return argument array, terminated with NULL
*/
-/*@observer@*/ /*@null@*/ const char ** poptGetArgs(/*@null@*/poptContext con);
+/*@observer@*/ /*@null@*/ const char ** poptGetArgs(/*@null@*/poptContext con)
+ /*@modifies con @*/;
/** \ingroup popt
* Return the option which caused the most recent error.
* @param con context
* @return offending option
*/
-/*@observer@*/ const char * poptBadOption(/*@null@*/poptContext con, int flags);
+/*@observer@*/ const char * poptBadOption(/*@null@*/poptContext con, int flags)
+ /*@*/;
+/*@=redecl@*/
/** \ingroup popt
* Destroy context.
* @param con context
- * @return NULL
+ * @return NULL always
*/
-/*@null@*/ poptContext poptFreeContext( /*@only@*/ /*@null@*/ poptContext con);
+/*@null@*/ poptContext poptFreeContext( /*@only@*/ /*@null@*/ poptContext con)
+ /*@modifies con @*/;
/** \ingroup popt
* Add arguments to context.
* @param argv argument array, NULL terminated
* @return 0 on success, POPT_ERROR_OPTSTOODEEP on failure
*/
-int poptStuffArgs(poptContext con, /*@keep@*/ const char ** argv);
+int poptStuffArgs(poptContext con, /*@keep@*/ const char ** argv)
+ /*@modifies con @*/;
/** \ingroup popt
* Add alias to context.
* @param flags (unused)
* @return 0 always
*/
-int poptAddAlias(poptContext con, struct poptAlias alias, int flags);
+int poptAddAlias(poptContext con, struct poptAlias alias, int flags)
+ /*@modifies con @*/;
/** \ingroup popt
* Read configuration file.
* @param error popt error
* @return error string
*/
+/*@-redecl@*/
/*@observer@*/ const char *const poptStrerror(const int error)
/*@*/;
+/*@=redecl@*/
/** \ingroup popt
* Limit search for executables.
* @param path single path to search for executables
* @param allowAbsolute absolute paths only?
*/
-void poptSetExecPath(poptContext con, const char * path, int allowAbsolute);
+void poptSetExecPath(poptContext con, const char * path, int allowAbsolute)
+ /*@modifies con @*/;
/** \ingroup popt
* Print detailed description of options.
* @param f ouput file handle
* @param flags (unused)
*/
-void poptPrintHelp(poptContext con, FILE * f, /*@unused@*/ int flags);
+void poptPrintHelp(poptContext con, FILE * f, /*@unused@*/ int flags)
+ /*@modifies *f @*/;
/** \ingroup popt
* Print terse description of options.
* @param f ouput file handle
* @param flags (unused)
*/
-void poptPrintUsage(poptContext con, FILE * f, /*@unused@*/ int flags);
+void poptPrintUsage(poptContext con, FILE * f, /*@unused@*/ int flags)
+ /*@modifies *f @*/;
/** \ingroup popt
* Provide text to replace default "[OPTION...]" in help/usage output.
* @param con context
* @param text replacement text
*/
-void poptSetOtherOptionHelp(poptContext con, const char * text);
+/*@-fcnuse@*/
+void poptSetOtherOptionHelp(poptContext con, const char * text)
+ /*@modifies con @*/;
+/*@=fcnuse@*/
/** \ingroup popt
* Return argv[0] from context.
* @param con context
+ * @return argv[0]
*/
-/*@observer@*/ const char * poptGetInvocationName(poptContext con);
+/*@-redecl -fcnuse@*/
+/*@observer@*/ const char * poptGetInvocationName(poptContext con)
+ /*@*/;
+/*@=redecl =fcnuse@*/
/** \ingroup popt
* Shuffle argv pointers to remove stripped args, returns new argc.
* @param con context
+ * @param argc no. of args
+ * @param argv arg vector
* @return new argc
*/
-int poptStrippedArgv(poptContext con, int argc, char ** argv);
+/*@-fcnuse@*/
+int poptStrippedArgv(poptContext con, int argc, char ** argv)
+ /*@modifies *argv @*/;
+/*@=fcnuse@*/
#ifdef __cplusplus
}
/*@null@*/ const char * translation_domain)
{
int max = 0;
- int this = 0;
+ int len = 0;
const char * s;
if (opt != NULL)
while (opt->longName || opt->shortName || opt->arg) {
if ((opt->argInfo & POPT_ARG_MASK) == POPT_ARG_INCLUDE_TABLE) {
if (opt->arg) /* XXX program error */
- this = maxArgWidth(opt->arg, translation_domain);
- if (this > max) max = this;
+ len = maxArgWidth(opt->arg, translation_domain);
+ if (len > max) max = len;
} else if (!(opt->argInfo & POPT_ARGFLAG_DOC_HIDDEN)) {
- this = sizeof(" ")-1;
- if (opt->shortName != '\0') this += sizeof("-X")-1;
- if (opt->shortName != '\0' && opt->longName) this += sizeof(", ")-1;
+ len = sizeof(" ")-1;
+ if (opt->shortName != '\0') len += sizeof("-X")-1;
+ if (opt->shortName != '\0' && opt->longName) len += sizeof(", ")-1;
if (opt->longName) {
- this += ((opt->argInfo & POPT_ARGFLAG_ONEDASH)
+ len += ((opt->argInfo & POPT_ARGFLAG_ONEDASH)
? sizeof("-")-1 : sizeof("--")-1);
- this += strlen(opt->longName);
+ len += strlen(opt->longName);
}
s = getArgDescrip(opt, translation_domain);
if (s)
- this += sizeof("=")-1 + strlen(s);
- if (opt->argInfo & POPT_ARGFLAG_OPTIONAL) this += sizeof("[]")-1;
- if (this > max) max = this;
+ len += sizeof("=")-1 + strlen(s);
+ if (opt->argInfo & POPT_ARGFLAG_OPTIONAL) len += sizeof("[]")-1;
+ if (len > max) max = len;
}
opt++;
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
- * @param this memory to free
+ * @param p memory to free
* @retval NULL always
*/
-/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * this) {
- if (this != NULL) free((void *)this);
+/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * p) {
+ if (p != NULL) free((void *)p);
return NULL;
}
#define alloca __builtin_alloca
#endif
+#if !defined(__LCLINT__)
/*@only@*/ char * xstrdup (const char *str);
-#if !defined(__LCLINT__)
#if HAVE_MCHECK_H && defined(__GNUC__)
#define vmefail() (fprintf(stderr, "virtual memory exhausted.\n"), exit(EXIT_FAILURE), NULL)
#define xstrdup(_str) (strcpy((malloc(strlen(_str)+1) ? : vmefail()), (_str)))
+unixlib
-# XXX ignore doxygen markings
--unrecogcomments
+-unrecogcomments # XXX ignore doxygen markings
+
+#+proto-param-match
+
+#-deepbreak # shortcut 485 cases
+
+# --- not-yet at strict level
+#+ptrarith
+#+bitwisesigned
+#+strictops
+#+sizeoftype
+
+#+mod-uncon # shortcut alloca is painful
+#+mod-nomods
+#+modglobsnomods
+#+modstrictglobsnomods
+
+#+mod-uncon-nomods
+#+mod-internal-strict
+#+mod-file-sys
+#+globnoglobs
+#+internalglobs
+#+internalglobnoglobs
+#+modglobsunchecked
+#+warnmissingglobs
+#+warnmissingglobsnomods
+#+impcheckedstrictglobs
+#+impcheckedstrictstatics
+#+strictusereleas
+#+strictbranchstate
+#+strictdestroy
+#+modobserveruncon
+#+macroempty
+#+ansi-reserved-internal
+#+evalorderuncon
+#+elseifcomplete
+#+loopswitchbreak
+#+switchswitchbreak
+#+looploopcontinue
+#+whileblock
+#+forempty
+#+forblock
+#+ifblock
+#+noeffectuncon
++topuse
+#+unusedspecial
+#+export-local
+#+oldstyle
+#+sys-dir-errors
+#controlnestdepth 15
+#stringliterallen 509
+#numstructfields 127
+#numenummembers 127
+
+# --- not-yet at checks level
+#+predboolptr
+-ptrnegate
+#-enumint
+-relaxquals
+#+mustmod # segfault in psm.c:597
+#+allglobs
+#+impcheckmodinternals
+#+uncheckedglobalias
+#+deparrays
+#+onlyunqglobaltrans
+#+staticinittrans
+#+unqualifiedinittrans
+#+retalias
+#+assignexpose
+#+castexpose
+#+retexpose
+#+readonlytrans
+#+sefuncon
+#+ansi-reserved
++cpp-names # check for c++ names
+#+infloopsuncon
+#+looploopbreak
+#+switchloopbreak
+#+whileempty
++declundef
++export-header
++export-header-var
++redecl
++noparams
+#includenest 8
# don't-bother-me-yet parameters
--branchstate # ~140 painful
--mustfree # ~588 alloca is painful
+-branchstate # painful
+-mustfree # alloca is painful
-# not-yet normal parameters
--boolops # ~831 w->n
--predboolint # ~574 w->n
--type # ~872
+# --- not-yet at standard level
+-boolops # w->n
+-predboolint # w->n
+-type #
# -weak paramaters
#+boolint
return rc;
}
-static int db1open(/*@keep@*/ rpmdb rpmdb, int rpmtag, dbiIndex * dbip)
+static int db1open(/*@keep@*/ rpmdb rpmdb, int rpmtag,
+ /*@out@*/ dbiIndex * dbip)
{
/*@-nestedextern@*/
extern struct _dbiVec db1vec;
/** \ingroup db1
*/
+/*@-exportheadervar@*/
struct _dbiVec db1vec = {
DB_VERSION_MAJOR, DB_VERSION_MINOR, DB_VERSION_PATCH,
db1open, db1close, db1sync, db1copen, db1cclose, db1cdel, db1cget, db1cput,
db1ccount, db1byteswapped, db1stat
};
+/*@=exportheadervar@*/
#include <rpmurl.h> /* XXX urlPath proto */
#include "rpmdb.h"
+
#include "debug.h"
/*@access rpmdb@*/
/** \ingroup dbi
* Hash database statistics.
*/
+/*@-fielduse@*/
struct dbiHStats_s {
unsigned int hash_magic; /*!< hash database magic number. */
unsigned int hash_version; /*!< version of the hash database. */
unsigned int bt_dup_pgfree; /*!< no. of bytes free in duplicate pages. */
unsigned int bt_over_pgfree;/*!< no. of bytes free in overflow pages. */
};
+/*@=fielduse@*/
#if DB_VERSION_MAJOR == 3
#define __USE_DB3 1
/** \ingroup db3
*/
+/*@-exportheadervar@*/
struct _dbiVec db3vec = {
DB_VERSION_MAJOR, DB_VERSION_MINOR, DB_VERSION_PATCH,
db3open, db3close, db3sync, db3copen, db3cclose, db3cdel, db3cget, db3cput,
db3ccount, db3byteswapped, db3stat
};
+/*@=exportheadervar@*/
#endif /* DB_VERSION_MAJOR == 3 */
#if DB_VERSION_MAJOR == 3
#define __USE_DB3 1
-/*@-exportlocal@*/
+/*@-exportlocal -exportheadervar@*/
struct _dbiIndex db3dbi;
-/*@=exportlocal@*/
+/*@=exportlocal =exportheadervar@*/
/** \ingroup db3
* Analogue to struct poptOption
#define _POPT_SET_BIT (POPT_ARG_VAL|POPT_ARGFLAG_OR)
#define _POPT_UNSET_BIT (POPT_ARG_VAL|POPT_ARGFLAG_NAND)
-/*@-immediatetrans -exportlocal@*/
+/*@-immediatetrans -exportlocal -exportheadervar@*/
/** \ingroup db3
*/
struct dbOption rdbOptions[] = {
{ NULL, 0,0, NULL, 0, NULL, NULL }
};
-/*@=immediatetrans =exportlocal@*/
+/*@=immediatetrans =exportlocal =exportheadervar@*/
static int dbSaveLong(const struct dbOption * opt, int argInfo, long aLong) {
if (argInfo & POPT_ARGFLAG_NOT)
return dbi;
}
+/** @todo Set a reasonable "last gasp" default db config. */
static const char *db3_config_default =
"db3:hash:mpool:cdb:usecursors:verbose:mp_mmapsize=8Mb:mp_size=512Kb:pagesize=512:perms=0644";
} ;
/* =============================================================== */
+/*@-nullassign@*/
static struct FDIO_s fadio_s = {
NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
fadOpen, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL
};
+/*@=nullassign@*/
FDIO_t fadio = /*@-compmempass@*/ &fadio_s /*@=compmempass@*/ ;
/* =============================================================== */
* @param h package header
* @retval fpList pointer to array of finger prints
*/
+/*@unused@*/
void fpLookupHeader(fingerPrintCache cache, Header h, fingerPrint * fpList)
/*@modifies h, cache, *fpList @*/;
/*@access Header@*/ /* XXX compared with NULL */
/*@access rpmdbMatchIterator@*/
+/*@-redecl@*/
extern int _noDirTokens;
+/*@=redecl@*/
static int _rebuildinprogress = 0;
static int _db_filter_dups = 1;
-/*@-exportlocal@*/
+/*@-exportlocal -exportheadervar@*/
int _filterDbDups = 0; /* Filter duplicate entries ? (bug in pre rpm-3.0.4) */
-/*@=exportlocal@*/
+/*@=exportlocal =exportheadervar@*/
#define _DBI_FLAGS 0
#define _DBI_PERMS 0644
dbiTagStr = _free(dbiTagStr);
}
+/*@-redecl@*/
#if USE_DB1
extern struct _dbiVec db1vec;
#define DB1vec &db1vec
#else
#define DB3vec NULL
#endif
+/*@=redecl@*/
/*@-nullassign@*/
static struct _dbiVec *mydbvecs[] = {
/*@=unqualifiedtrans@*/
}
+ /*@-nullstate@*/ /* FIX: rpmdb->_dbi[] may be NULL. */
xx = rpmdbClose(rpmdb);
+ /*@=nullstate@*/
if (xx && rc == 0) rc = xx;
rpmdb = NULL;
}
mi->mi_dbc = NULL;
mi->mi_set = set;
mi->mi_setx = 0;
+ mi->mi_ndups = 0;
mi->mi_h = NULL;
mi->mi_sorted = 0;
mi->mi_cflags = 0;
#include "fprint.h"
-#ifdef __LCLINT__
-typedef unsigned int u_int32_t;
-typedef unsigned short u_int16_t;
-typedef unsigned char u_int8_t;
-typedef int int32_t;
-#endif
-
typedef /*@abstract@*/ struct _dbiIndexItem * dbiIndexItem;
typedef /*@abstract@*/ struct _dbiIndex * dbiIndex;
* A single item in an index database (i.e. the "data saved").
*/
struct _dbiIR {
- unsigned int recOffset; /*!< byte offset of header in db */
- unsigned int fileNumber; /*!< file array index */
+/*@unused@*/ unsigned int recOffset; /*!< byte offset of header in db */
+/*@unused@*/ unsigned int fileNumber; /*!< file array index */
};
+/*@-typeuse@*/
typedef struct _dbiIR * DBIR_t;
+/*@=typeuse@*/
/** \ingroup dbi
* Items retrieved from the index database.
* @param rpmtag rpm tag
* @return 0 on success
*/
- int (*open) (rpmdb rpmdb, int rpmtag, /*@out@*/ dbiIndex * dbip);
+ int (*open) (rpmdb rpmdb, int rpmtag, /*@out@*/ dbiIndex * dbip)
+ /*@modifies *dbip @*/;
/** \ingroup dbi
* Close index database, and destroy database handle.
* @param flags (unused)
* @return 0 on success
*/
- int (*close) (/*@only@*/ dbiIndex dbi, unsigned int flags);
+ int (*close) (/*@only@*/ dbiIndex dbi, unsigned int flags)
+ /*@modifies dbi, fileSystem @*/;
/** \ingroup dbi
* Flush pending operations to disk.
* @param flags (unused)
* @return 0 on success
*/
- int (*sync) (dbiIndex dbi, unsigned int flags);
+ int (*sync) (dbiIndex dbi, unsigned int flags)
+ /*@modifies fileSystem @*/;
/** \ingroup dbi
* Open database cursor.
* @param dbcp address of database cursor
* @param flags (unused)
*/
- int (*copen) (dbiIndex dbi, /*@out@*/ DBC ** dbcp, unsigned int flags);
+ int (*copen) (dbiIndex dbi, /*@out@*/ DBC ** dbcp, unsigned int flags)
+ /*@modifies dbi, *dbcp @*/;
/** \ingroup dbi
* Close database cursor.
* @param dbcursor database cursor
* @param flags (unused)
*/
- int (*cclose) (dbiIndex dbi, /*@only@*/ DBC * dbcursor, unsigned int flags);
+ int (*cclose) (dbiIndex dbi, /*@only@*/ DBC * dbcursor, unsigned int flags)
+ /*@modifies dbi, *dbcursor @*/;
/** \ingroup dbi
* Delete (key,data) pair(s) using db->del or dbcursor->c_del.
* @param flags (unused)
* @return 0 on success
*/
- int (*cdel) (dbiIndex dbi, DBC * dbcursor, const void * keyp, size_t keylen, unsigned int flags);
+ int (*cdel) (dbiIndex dbi, DBC * dbcursor,
+ const void * keyp, size_t keylen, unsigned int flags)
+ /*@modifies *dbcursor, fileSystem @*/;
/** \ingroup dbi
* Retrieve (key,data) pair using db->get or dbcursor->c_get.
int (*cget) (dbiIndex dbi, DBC * dbcursor,
/*@out@*/ void ** keypp, /*@out@*/ size_t * keylenp,
/*@out@*/ void ** datapp, /*@out@*/ size_t * datalenp,
- unsigned int flags);
+ unsigned int flags)
+ /*@modifies *dbcursor, *keypp, *keylenp, *datapp, *datalenp,
+ fileSystem @*/;
/** \ingroup dbi
* Store (key,data) pair using db->put or dbcursor->c_put.
int (*cput) (dbiIndex dbi, DBC * dbcursor,
const void * keyp, size_t keylen,
const void * datap, size_t datalen,
- unsigned int flags);
+ unsigned int flags)
+ /*@modifies *dbcursor, fileSystem @*/;
/** \ingroup dbi
* Retrieve count of (possible) duplicate items using dbcursor->c_count.
*/
int (*ccount) (dbiIndex dbi, DBC * dbcursor,
/*@out@*/ unsigned int * countp,
- unsigned int flags);
+ unsigned int flags)
+ /*@modifies *dbcursor @*/;
/** \ingroup dbi
* Is database byte swapped?
* @param dbi index database handle
* @return 0 no
*/
- int (*byteswapped) (dbiIndex dbi);
+ int (*byteswapped) (dbiIndex dbi)
+ /*@*/;
/** \ingroup dbi
* Save statistics in database handle.
* @param flags retrieve statistics that don't require traversal?
* @return 0 on success
*/
- int (*stat) (dbiIndex dbi, unsigned int flags);
+ int (*stat) (dbiIndex dbi, unsigned int flags)
+ /*@modifies dbi @*/;
};
/* dbenv parameters */
int dbi_lorder;
-/*@null@*/ void (*db_errcall) (const char *db_errpfx, char *buffer);
-/*@shared@*/ FILE * dbi_errfile;
+/*@unused@*/ /*@null@*/ void (*db_errcall) (const char *db_errpfx, char *buffer)
+ /*@modifies fileSystem @*/;
+/*@unused@*/ /*@shared@*/ FILE * dbi_errfile;
const char * dbi_errpfx;
int dbi_verbose;
int dbi_region_init;
/* lock sub-system parameters */
unsigned int dbi_lk_max;
unsigned int dbi_lk_detect;
- int dbi_lk_nmodes;
- unsigned char *dbi_lk_conflicts;
+/*@unused@*/ int dbi_lk_nmodes;
+/*@unused@*/ unsigned char * dbi_lk_conflicts;
/* log sub-system parameters */
unsigned int dbi_lg_max;
unsigned int dbi_lg_bsize;
/* transaction sub-system parameters */
unsigned int dbi_tx_max;
#if 0
- int (*dbi_tx_recover) (DB_ENV *dbenv, DBT *log_rec, DB_LSN *lsnp, int redo, void *info);
+ int (*dbi_tx_recover) (DB_ENV *dbenv, DBT *log_rec,
+ DB_LSN *lsnp, int redo, void *info)
+ /*@modifies fileSystem @*/;
#endif
/* dbinfo parameters */
int dbi_cachesize; /*!< */
int dbi_pagesize; /*!< (fs blksize) */
-/*@null@*/ void * (*dbi_malloc) (size_t nbytes);
+/*@unused@*/ /*@null@*/ void * (*dbi_malloc) (size_t nbytes)
+ /*@*/;
/* hash access parameters */
unsigned int dbi_h_ffactor; /*!< */
-/*@null@*/ unsigned int (*dbi_h_hash_fcn) (const void *bytes, unsigned int length);
+/*@unused@*/ /*@null@*/ unsigned int (*dbi_h_hash_fcn) (const void *bytes, unsigned int length)
+ /*@modifies internalState @*/;
unsigned int dbi_h_nelem; /*!< */
unsigned int dbi_h_flags; /*!< DB_DUP, DB_DUPSORT */
-/*@null@*/ int (*dbi_h_dup_compare_fcn) (const DBT *, const DBT *);
+/*@unused@*/ /*@null@*/ int (*dbi_h_dup_compare_fcn) (const DBT *, const DBT *)
+ /*@modifies internalState @*/;
/* btree access parameters */
int dbi_bt_flags;
- int dbi_bt_minkey;
-/*@null@*/ int (*dbi_bt_compare_fcn) (const DBT *, const DBT *);
-/*@null@*/ int (*dbi_bt_dup_compare_fcn) (const DBT *, const DBT *);
-/*@null@*/ size_t (*dbi_bt_prefix_fcn) (const DBT *, const DBT *);
+/*@unused@*/ int dbi_bt_minkey;
+/*@unused@*/ /*@null@*/ int (*dbi_bt_compare_fcn) (const DBT *, const DBT *)
+ /*@modifies internalState @*/;
+/*@unused@*/ /*@null@*/ int (*dbi_bt_dup_compare_fcn) (const DBT *, const DBT *)
+ /*@modifies internalState @*/;
+/*@unused@*/ /*@null@*/ size_t (*dbi_bt_prefix_fcn) (const DBT *, const DBT *)
+ /*@modifies internalState @*/;
/* recno access parameters */
int dbi_re_flags;
int dbi_re_delim;
int db_remove_env;
int db_filter_dups;
/*@owned@*/ const char *db_errpfx;
- void (*db_errcall) (const char *db_errpfx, char *buffer);
+ void (*db_errcall) (const char *db_errpfx, char *buffer)
+ /*@*/;
/*@shared@*/ FILE * db_errfile;
-/*@only@*/ void * (*db_malloc) (size_t nbytes);
+/*@only@*/ void * (*db_malloc) (size_t nbytes)
+ /*@*/;
/*@only@*/ void * (*db_realloc) (/*@only@*//*@null@*/ void * ptr,
- size_t nbytes);
- void (*db_free) (/*@only@*/ void * ptr);
+ size_t nbytes)
+ /*@*/;
+ void (*db_free) (/*@only@*/ void * ptr)
+ /*@modifies *ptr @*/;
int db_ndbi;
dbiIndex *_dbi;
};
enum rpmdbFlags {
RPMDB_FLAG_JUSTCHECK = (1 << 0),
RPMDB_FLAG_MINIMAL = (1 << 1),
+/*@-enummemuse@*/
RPMDB_FLAG_CHROOT = (1 << 2)
+/*@=enummemuse@*/
};
#ifdef __cplusplus
* Return new configured index database handle instance.
* @param rpmdb rpm database
*/
-/*@only@*/ /*@null@*/ dbiIndex db3New(/*@keep@*/ rpmdb rpmdb, int rpmtag);
+/*@only@*/ /*@null@*/ dbiIndex db3New(/*@keep@*/ rpmdb rpmdb, int rpmtag)
+ /*@*/;
/** \ingroup db3
* Destroy index database handle instance.
* @param dbi index database handle
* @return NULL always
*/
-/*@null@*/ dbiIndex db3Free( /*@only@*/ /*@null@*/ dbiIndex dbi);
+/*@null@*/ dbiIndex db3Free( /*@only@*/ /*@null@*/ dbiIndex dbi)
+ /*@*/;
/** \ingroup db3
* Format db3 open flags for debugging print.
* @param print_dbenv_flags format db env flags instead?
* @return formatted flags (static buffer)
*/
+/*@-redecl@*/
/*@exposed@*/ extern const char *const prDbiOpenFlags(int dbflags,
- int print_dbenv_flags);
+ int print_dbenv_flags)
+ /*@*/;
+/*@=redecl@*/
/** \ingroup dbi
* Return handle for an index database.
- * @param rpmdb rpm database
+ * @param db rpm database
* @param rpmtag rpm tag
* @param flags (unused)
* @return index database handle
*/
-/*@only@*/ /*@null@*/ dbiIndex dbiOpen(/*@null@*/ rpmdb rpmdb, int rpmtag,
- unsigned int flags);
+/*@only@*/ /*@null@*/ dbiIndex dbiOpen(/*@null@*/ rpmdb db, int rpmtag,
+ unsigned int flags)
+ /*@modifies db @*/;
/** \ingroup dbi
* @param dbi index database handle
* @param dbiflags DBI_WRITECURSOR or DBI_ITERATOR
*/
-int dbiCopen(dbiIndex dbi, /*@out@*/ DBC ** dbcp, unsigned int dbiflags);
-int XdbiCopen(dbiIndex dbi, /*@out@*/ DBC ** dbcp, unsigned int dbiflags, const char *f, unsigned int l);
+int dbiCopen(dbiIndex dbi, /*@out@*/ DBC ** dbcp, unsigned int dbiflags)
+ /*@modifies dbi, *dbcp @*/;
+int XdbiCopen(dbiIndex dbi, /*@out@*/ DBC ** dbcp, unsigned int dbiflags,
+ const char *f, unsigned int l)
+ /*@modifies dbi, *dbcp @*/;
#define dbiCopen(_a,_b,_c) \
XdbiCopen(_a, _b, _c, __FILE__, __LINE__)
* @param dbi index database handle
* @param flags (unused)
*/
-int dbiCclose(dbiIndex dbi, /*@only@*/ DBC * dbcursor, unsigned int flags);
-int XdbiCclose(dbiIndex dbi, /*@only@*/ DBC * dbcursor, unsigned int flags, const char *f, unsigned int l);
+int dbiCclose(dbiIndex dbi, /*@only@*/ DBC * dbcursor, unsigned int flags)
+ /*@modifies dbi @*/;
+int XdbiCclose(dbiIndex dbi, /*@only@*/ DBC * dbcursor, unsigned int flags,
+ const char *f, unsigned int l)
+ /*@modifies dbi, *dbcursor @*/;
#define dbiCclose(_a,_b,_c) \
XdbiCclose(_a, _b, _c, __FILE__, __LINE__)
* @return 0 on success
*/
int dbiDel(dbiIndex dbi, DBC * dbcursor, const void * keyp, size_t keylen,
- unsigned int flags);
+ unsigned int flags)
+ /*@modifies *dbcursor, fileSystem @*/;
/** \ingroup dbi
* Retrieve (key,data) pair from index database.
* @return 0 on success
*/
int dbiGet(dbiIndex dbi, DBC * dbcursor, void ** keypp,
- /*@null@*/ size_t * keylenp,
- /*@null@*/ void ** datapp,
- /*@null@*/ size_t * datalenp,
- unsigned int flags);
+ /*@null@*/ size_t * keylenp,
+ /*@null@*/ void ** datapp,
+ /*@null@*/ size_t * datalenp,
+ unsigned int flags)
+ /*@modifies *dbcursor, *keypp, *keylenp, *datapp, *datalenp,
+ fileSystem @*/;
/** \ingroup dbi
* Store (key,data) pair in index database.
* @return 0 on success
*/
int dbiPut(dbiIndex dbi, DBC * dbcursor, const void * keyp, size_t keylen,
- const void * datap, size_t datalen, unsigned int flags);
+ const void * datap, size_t datalen, unsigned int flags)
+ /*@modifies *dbcursor, fileSystem @*/;
/** \ingroup dbi
* Retrieve count of (possible) duplicate items.
* @param flags (unused)
* @return 0 on success
*/
+/*@unused@*/
int dbiCount(dbiIndex dbi, DBC * dbcursor, /*@out@*/ unsigned int * countp,
- unsigned int flags);
+ unsigned int flags)
+ /*@modifies *dbcursor, fileSystem @*/;
/** \ingroup dbi
* Verify (and close) index database.
* @param flags (unused)
* @return 0 on success
*/
-int dbiVerify(/*@only@*/ dbiIndex dbi, unsigned int flags);
+int dbiVerify(/*@only@*/ dbiIndex dbi, unsigned int flags)
+ /*@modifies dbi, fileSystem @*/;
/** \ingroup dbi
* Close index database.
* @param flags (unused)
* @return 0 on success
*/
-int dbiClose(/*@only@*/ dbiIndex dbi, unsigned int flags);
+int dbiClose(/*@only@*/ dbiIndex dbi, unsigned int flags)
+ /*@modifies dbi, fileSystem @*/;
/** \ingroup dbi
* Flush pending operations to disk.
* @param flags (unused)
* @return 0 on success
*/
-int dbiSync (dbiIndex dbi, unsigned int flags);
+int dbiSync (dbiIndex dbi, unsigned int flags)
+ /*@modifies fileSystem @*/;
/** \ingroup dbi
* Is database byte swapped?
* @param dbi index database handle
* @return 0 no
*/
-int dbiByteSwapped(dbiIndex dbi);
+int dbiByteSwapped(dbiIndex dbi)
+ /*@*/;
/** \ingroup db1
* Return base file name for db1 database (legacy).
* @param rpmtag rpm tag
* @return base file name of db1 database
*/
-char * db1basename(int rpmtag);
+char * db1basename(int rpmtag)
+ /*@*/;
/*@=exportlocal@*/
/** \ingroup rpmdb
*/
-unsigned int rpmdbGetIteratorFileNum(rpmdbMatchIterator mi);
+/*@unused@*/
+unsigned int rpmdbGetIteratorFileNum(rpmdbMatchIterator mi)
+ /*@*/;
/** \ingroup rpmdb
- * @param rpmdb rpm database
+ * @param db rpm database
*/
-int rpmdbFindFpList(/*@null@*/ rpmdb rpmdb, fingerPrint * fpList,
- /*@out@*/dbiIndexSet * matchList, int numItems);
+int rpmdbFindFpList(/*@null@*/ rpmdb db, fingerPrint * fpList,
+ /*@out@*/dbiIndexSet * matchList, int numItems)
+ /*@modifies db, *matchList @*/;
/** \ingroup dbi
* Destroy set of index database items.
* @param set set of index database items
*/
-void dbiFreeIndexSet(/*@only@*/ /*@null@*/ dbiIndexSet set);
+void dbiFreeIndexSet(/*@only@*/ /*@null@*/ dbiIndexSet set)
+ /*@modifies set @*/;
/** \ingroup dbi
* Count items in index database set.
* @param set set of index database items
* @return number of items
*/
-unsigned int dbiIndexSetCount(dbiIndexSet set);
+unsigned int dbiIndexSetCount(dbiIndexSet set)
+ /*@*/;
/** \ingroup dbi
* Return record offset of header from element in index database set.
* @param recno index of item in set
* @return record offset of header
*/
-unsigned int dbiIndexRecordOffset(dbiIndexSet set, int recno);
+unsigned int dbiIndexRecordOffset(dbiIndexSet set, int recno)
+ /*@*/;
/** \ingroup dbi
* Return file index from element in index database set.
* @param recno index of item in set
* @return file index
*/
-unsigned int dbiIndexRecordFileNumber(dbiIndexSet set, int recno);
+unsigned int dbiIndexRecordFileNumber(dbiIndexSet set, int recno)
+ /*@*/;
#ifdef __cplusplus
}
/** */
typedef unsigned int (*hashFunctionType) (const void * string) /*@*/;
+
/** */
typedef int (*hashEqualityType) (const void * key1, const void * key2) /*@*/;
* @param data pointer to data value
*/
void htAddEntry(hashTable ht, /*@owned@*/ const void * key,
- /*@owned@*/ const void * data) /*@modifies ht */;
+ /*@owned@*/ const void * data)
+ /*@modifies ht */;
/**
* Retrieve item from hash table.
* @param key pointer to key value
* @return 1 if the key is present, 0 otherwise
*/
+/*@unused@*/
int htHasEntry(hashTable ht, const void * key) /*@*/;
#ifdef __cplusplus
* @retval lenp address of no. bytes of binary data
* @return 0 on success
*/
+/*@unused@*/
int B64decode (const char * s, /*@out@*/ void ** datap, /*@out@*/ size_t *lenp);
/**
* @param ns no. bytes of data (0 uses strlen(data))
* @return (malloc'd) base64 string
*/
+/*@unused@*/
char * B64encode (const void * data, size_t ns);
#ifdef __cplusplus
static int _ie = 0x44332211;
/*@-redef@*/
-static union _mendian { int i; char b[4]; } *_endian = (union _mendian *)&_ie;
+static union _mendian {
+/*@unused@*/ int i;
+ char b[4];
+} *_endian = (union _mendian *)&_ie;
/*@=redef@*/
#define IS_BIG_ENDIAN() (_endian->b[0] == '\x44')
#define IS_LITTLE_ENDIAN() (_endian->b[0] == '\x11')
static int expandMacro(MacroBuf *mb);
-/*@-exportlocal@*/
+/*@-exportlocal -exportheadervar@*/
#define MAX_MACRO_DEPTH 16
int max_macro_depth = MAX_MACRO_DEPTH;
int print_macro_trace = 0;
int print_expand_trace = 0;
#endif
-/*@=exportlocal@*/
+/*@=exportlocal =exportheadervar@*/
#define MACRO_CHUNK_SIZE 16
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
- * @param this memory to free
+ * @param p memory to free
* @retval NULL always
*/
-/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * this) {
- if (this != NULL) free((void *)this);
+/*@unused@*/ static inline /*@null@*/ void *
+_free(/*@only@*/ /*@null@*/ const void * p) /*@modifies p@*/
+{
+ if (p != NULL) free((void *)p);
return NULL;
}
/**
* Tokens used by rpmError().
*/
+/*@-enummemuse -typeuse @*/
typedef enum rpmerrCode_e {
RPMERR_GDBMOPEN = _em(2), /*!< gdbm open failed */
RPMERR_GDBMREAD = _em(3), /*!< gdbm read failed */
RPMWARN_RMDIR = _wm(512u+17), /*!< rmdir(2) failed */
RPMWARN_FLOCK = _wm(512u+27) /*!< locking the database failed */
} rpmerrCode;
+/*@=enummemuse =typeuse @*/
/**
* Retrofit rpmError() onto rpmlog sub-system.
#define rpmErrorCode() rpmlogCode()
#define rpmErrorString() rpmlogMessage()
#define rpmErrorSetCallback(_cb) rpmlogSetCallback(_cb)
+/*@-typeuse@*/
typedef rpmlogCallback rpmErrorCallBackType;
+/*@=typeuse@*/
#endif /* H_RPMERR */
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
- * @param this memory to free
+ * @param p memory to free
* @retval NULL always
*/
-/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * this) {
- if (this != NULL) free((void *)this);
+/*@unused@*/ static inline /*@null@*/ void *
+_free(/*@only@*/ /*@null@*/ const void * p) /*@modifies p@*/
+{
+ if (p != NULL) free((void *)p);
return NULL;
}
typedef int fdio_rmdir_function_t (const char * path);
typedef int fdio_rename_function_t (const char * oldpath, const char * newpath);
typedef int fdio_unlink_function_t (const char * path);
+/*@-typeuse@*/
typedef int fdio_stat_function_t (const char * path, struct stat * st);
typedef int fdio_lstat_function_t (const char * path, struct stat * st);
typedef int fdio_access_function_t (const char * path, int amode);
+/*@=typeuse@*/
/*@}*/
/** \ingroup rpmio
* strerror(3) clone.
*/
-/*@observer@*/ const char * Fstrerror(/*@null@*/ FD_t fd);
+/*@-redecl@*/
+/*@observer@*/ const char * Fstrerror(/*@null@*/ FD_t fd)
+ /*@*/;
+/*@=redecl@*/
/** \ingroup rpmio
* fread(3) clone.
*/
-size_t Fread (/*@out@*/ void * buf, size_t size, size_t nmemb, FD_t fd);
+size_t Fread(/*@out@*/ void * buf, size_t size, size_t nmemb, FD_t fd)
+ /*@modifies fd, *buf, fileSystem @*/;
/** \ingroup rpmio
* fwrite(3) clone.
*/
-size_t Fwrite (const void * buf, size_t size, size_t nmemb, FD_t fd);
-
+size_t Fwrite(const void * buf, size_t size, size_t nmemb, FD_t fd)
+ /*@modifies fd, fileSystem @*/;
/** \ingroup rpmio
* fseek(3) clone.
*/
-int Fseek (FD_t fd, _libio_off_t offset, int whence);
+int Fseek(FD_t fd, _libio_off_t offset, int whence)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmio
* fclose(3) clone.
*/
-int Fclose ( /*@killref@*/ FD_t fd);
+int Fclose( /*@killref@*/ FD_t fd)
+ /*@modifies fd, fileSystem @*/;
/** \ingroup rpmio
*/
-/*@null@*/ FD_t Fdopen (FD_t fd, const char * fmode);
+/*@null@*/ FD_t Fdopen(FD_t fd, const char * fmode)
+ /*@modifies fd, fileSystem @*/;
/** \ingroup rpmio
* fopen(3) clone.
*/
-/*@null@*/ FD_t Fopen (/*@null@*/ const char * path, /*@null@*/ const char * fmode);
+/*@null@*/ FD_t Fopen(/*@null@*/ const char * path,
+ /*@null@*/ const char * fmode)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmio
* fflush(3) clone.
*/
-int Fflush (/*@null@*/ FD_t fd);
+int Fflush(/*@null@*/ FD_t fd)
+ /*@modifies fd, fileSystem @*/;
/** \ingroup rpmio
* ferror(3) clone.
*/
-int Ferror (/*@null@*/ FD_t fd);
+int Ferror(/*@null@*/ FD_t fd)
+ /*@*/;
/** \ingroup rpmio
* fileno(3) clone.
*/
-int Fileno (FD_t fd);
-
+int Fileno(FD_t fd)
+ /*@*/;
/** \ingroup rpmio
* fcntl(2) clone.
*/
-int Fcntl (FD_t fd, int op, void *lip);
+int Fcntl(FD_t fd, int op, void *lip)
+ /*@modifies fd, *lip, fileSystem @*/;
/** \ingroup rpmio
* pread(2) clone.
*/
-ssize_t Pread(FD_t fd, void * buf, size_t count, _libio_off_t offset);
+ssize_t Pread(FD_t fd, void * buf, size_t count, _libio_off_t offset)
+ /*@modifies fd, *buf, fileSystem @*/;
/** \ingroup rpmio
* pwrite(2) clone.
*/
-ssize_t Pwrite(FD_t fd, const void * buf, size_t count, _libio_off_t offset);
+ssize_t Pwrite(FD_t fd, const void * buf, size_t count, _libio_off_t offset)
+ /*@modifies fd, fileSystem @*/;
+
/*@}*/
/** \ingroup rpmrpc
/** \ingroup rpmrpc
* mkdir(2) clone.
*/
-int Mkdir (const char * path, mode_t mode);
+int Mkdir(const char * path, mode_t mode)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmrpc
* chdir(2) clone.
*/
-int Chdir (const char * path);
+int Chdir(const char * path)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmrpc
* rmdir(2) clone.
*/
-int Rmdir (const char * path);
+int Rmdir(const char * path)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmrpc
* rename(2) clone.
*/
-int Rename (const char * oldpath, const char * newpath);
+int Rename(const char * oldpath, const char * newpath)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmrpc
* link(2) clone.
*/
-int Link (const char * oldpath, const char * newpath);
+int Link(const char * oldpath, const char * newpath)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmrpc
* unlink(2) clone.
*/
-int Unlink (const char * path);
+int Unlink(const char * path)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmrpc
* readlink(2) clone.
*/
-int Readlink(const char * path, char * buf, size_t bufsiz);
-
+int Readlink(const char * path, char * buf, size_t bufsiz)
+ /*@modifies *buf, fileSystem @*/;
/** \ingroup rpmrpc
* stat(2) clone.
*/
-int Stat (const char * path, /*@out@*/ struct stat * st);
+int Stat(const char * path, /*@out@*/ struct stat * st)
+ /*@modifies *st, fileSystem @*/;
/** \ingroup rpmrpc
* lstat(2) clone.
*/
-int Lstat (const char * path, /*@out@*/ struct stat * st);
+int Lstat(const char * path, /*@out@*/ struct stat * st)
+ /*@modifies *st, fileSystem @*/;
/** \ingroup rpmrpc
* access(2) clone.
*/
-int Access (const char * path, int amode);
+int Access(const char * path, int amode)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmrpc
* glob(3) clone.
*/
-int Glob (const char * pattern, int flags,
- int errfunc(const char * epath, int eerrno), /*@out@*/ glob_t * pglob);
+int Glob(const char * pattern, int flags,
+ int errfunc(const char * epath, int eerrno),
+ /*@out@*/ glob_t * pglob)
+ /*@modifies *pglob @*/;
/** \ingroup rpmrpc
* globfree(3) clone.
*/
-void Globfree( /*@only@*/ glob_t * pglob);
+void Globfree( /*@only@*/ glob_t * pglob)
+ /*@modifies *pglob @*/;
/** \ingroup rpmrpc
* opendir(3) clone.
*/
-/*@null@*/ DIR * Opendir (const char * name);
+/*@null@*/ DIR * Opendir(const char * name)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmrpc
* readdir(3) clone.
*/
-/*@null@*/ struct dirent * Readdir (DIR * dir);
+/*@null@*/ struct dirent * Readdir(DIR * dir)
+ /*@modifies *dir, fileSystem @*/;
/** \ingroup rpmrpc
* closedir(3) clone.
*/
-int Closedir(/*@only@*/ DIR * dir);
+int Closedir(/*@only@*/ DIR * dir)
+ /*@modifies *dir, fileSystem @*/;
+
/*@}*/
/** \ingroup rpmio
*/
-off_t fdSize (FD_t fd);
+off_t fdSize(FD_t fd)
+ /*@modifies fd, fileSystem@*/;
/** \ingroup rpmio
*/
-/*@null@*/ FD_t fdDup(int fdno);
+/*@null@*/ FD_t fdDup(int fdno)
+ /*@modifies fileSystem@*/;
+
#ifdef UNUSED
/*@null@*/ FILE *fdFdopen( /*@only@*/ void * cookie, const char * mode);
#endif
/** \ingroup rpmio
*/
-/*@-shadow@*/
-int fdFileno(void * cookie);
-/*@=shadow@*/
+/*@-shadow -declundef -fcnuse@*/
+int fdFileno(void * cookie)
+ /*@*/;
+/*@=shadow =declundef =fcnuse@*/
/*@-exportlocal@*/
/** \ingroup rpmio
*/
-/*@null@*/ FD_t fdOpen(const char *path, int flags, mode_t mode);
+/*@null@*/ FD_t fdOpen(const char *path, int flags, mode_t mode)
+ /*@modifies fileSystem @*/;
/** \ingroup rpmio
*/
-ssize_t fdRead(void * cookie, /*@out@*/ char * buf, size_t count);
+ssize_t fdRead(void * cookie, /*@out@*/ char * buf, size_t count)
+ /*@modifies *cookie, *buf, fileSystem @*/;
/** \ingroup rpmio
*/
-ssize_t fdWrite(void * cookie, const char * buf, size_t count);
+ssize_t fdWrite(void * cookie, const char * buf, size_t count)
+ /*@modifies *cookie, fileSystem @*/;
/** \ingroup rpmio
*/
-int fdClose( /*@only@*/ void * cookie);
+int fdClose( /*@only@*/ void * cookie)
+ /*@modifies *cookie, fileSystem @*/;
/* XXX FD_t reference count debugging wrappers */
#define fdLink(_fd, _msg) fdio->_fdref(_fd, _msg, __FILE__, __LINE__)
/** \ingroup rpmio
*/
-int fdWritable(FD_t fd, int secs);
+int fdWritable(FD_t fd, int secs)
+ /*@modifies fd @*/;
/** \ingroup rpmio
*/
-int fdReadable(FD_t fd, int secs);
+int fdReadable(FD_t fd, int secs)
+ /*@modifies fd @*/;
/*@=exportlocal@*/
/** \ingroup rpmio
* FTP and HTTP error codes.
*/
+/*@-typeuse@*/
typedef enum ftperrCode_e {
FTPERR_BAD_SERVER_RESPONSE = -1, /*!< Bad server response */
FTPERR_SERVER_IO_ERROR = -2, /*!< Server I/O error */
FTPERR_NIC_ABORT_IN_PROGRESS= -11, /*!< Abort in progress */
FTPERR_UNKNOWN = -100 /*!< Unknown or unexpected error */
} ftperrCode;
+/*@=typeuse@*/
/** \ingroup rpmio
*/
-/*@observer@*/ const char *const ftpStrerror(int errorNumber);
+/*@-redecl@*/
+/*@observer@*/ const char *const ftpStrerror(int errorNumber) /*@*/;
+/*@=redecl@*/
/** \ingroup rpmio
*/
-/*@dependent@*/ /*@null@*/ void * ufdGetUrlinfo(FD_t fd);
+/*@unused@*/
+/*@dependent@*/ /*@null@*/ void * ufdGetUrlinfo(FD_t fd) /*@*/;
/** \ingroup rpmio
*/
-/*@observer@*/ const char * urlStrerror(const char * url);
+/*@-redecl@*/
+/*@unused@*/
+/*@observer@*/ const char * urlStrerror(const char * url) /*@*/;
+/*@=redecl@*/
/** \ingroup rpmio
*/
/*@-exportlocal@*/
-int ufdCopy(FD_t sfd, FD_t tfd);
+int ufdCopy(FD_t sfd, FD_t tfd)
+ /*@modifies sfd, tfd, fileSystem @*/;
/*@=exportlocal@*/
/** \ingroup rpmio
*/
-int ufdGetFile( /*@killref@*/ FD_t sfd, FD_t tfd);
+int ufdGetFile( /*@killref@*/ FD_t sfd, FD_t tfd)
+ /*@modifies sfd, tfd, fileSystem @*/;
/** \ingroup rpmio
*/
-int timedRead(FD_t fd, /*@out@*/ void * bufptr, int length);
+int timedRead(FD_t fd, /*@out@*/ void * bufptr, int length)
+ /*@modifies fd, *bufptr, fileSystem @*/;
#define timedRead ufdio->read
/*@=exportlocal@*/
/*@}*/
-/*@unused@*/ static inline int xislower(int c) {return (c >= 'a' && c <= 'z');}
-/*@unused@*/ static inline int xisupper(int c) {return (c >= 'A' && c <= 'Z');}
-/*@unused@*/ static inline int xisalpha(int c) {
+/*@unused@*/ static inline int xislower(int c) /*@*/ {
+ return (c >= 'a' && c <= 'z');
+}
+/*@unused@*/ static inline int xisupper(int c) /*@*/ {
+ return (c >= 'A' && c <= 'Z');
+}
+/*@unused@*/ static inline int xisalpha(int c) /*@*/ {
return (xislower(c) || xisupper(c));
}
-/*@unused@*/ static inline int xisdigit(int c) {return (c >= '0' && c <= '9');}
-/*@unused@*/ static inline int xisalnum(int c) {
+/*@unused@*/ static inline int xisdigit(int c) /*@*/ {
+ return (c >= '0' && c <= '9');
+}
+/*@unused@*/ static inline int xisalnum(int c) /*@*/ {
return (xisalpha(c) || xisdigit(c));
}
-/*@unused@*/ static inline int xisblank(int c) {return (c == ' ' || c == '\t');}
-/*@unused@*/ static inline int xisspace(int c) {
+/*@unused@*/ static inline int xisblank(int c) /*@*/ {
+ return (c == ' ' || c == '\t');
+}
+/*@unused@*/ static inline int xisspace(int c) /*@*/ {
return (xisblank(c) || c == '\n' || c == '\r' || c == '\f' || c == '\v');
}
-/*@unused@*/ static inline int xtolower(int c) {
+/*@unused@*/ static inline int xtolower(int c) /*@*/ {
return ((xisupper(c)) ? (c | ('a' - 'A')) : c);
}
-/*@unused@*/ static inline int xtoupper(int c) {
+/*@unused@*/ static inline int xtoupper(int c) /*@*/ {
return ((xislower(c)) ? (c & ~('a' - 'A')) : c);
}
/** \ingroup rpmio
* Locale insensitive strcasecmp(3).
*/
-int xstrcasecmp(const char *s1, const char * s2) /*@*/;
+int xstrcasecmp(const char * s1, const char * s2) /*@*/;
/** \ingroup rpmio
* Locale insensitive strncasecmp(3).
/*@access FD_t@*/
-/*@-redef@*/
+/*@-redef -redecl@*/
int fdFileno(void * cookie); /* Yet Another Prototype. */
int fdFileno(void * cookie) {
FD_t fd;
fd = c2f(cookie);
return fd->fps[0].fdno;
}
-/*@=redef@*/
+/*@=redef =redecl@*/
/** \ingroup rpmio
*/
typedef struct _FDSTACK_s {
- FDIO_t io;
+ FDIO_t io;
/*@dependent@*/ void * fp;
- int fdno;
+ int fdno;
} FDSTACK_t;
/** \ingroup rpmio
* Cumulative statistics for an I/O operation.
*/
typedef struct {
- int count; /*!< Number of operations. */
- off_t bytes; /*!< Number of bytes transferred. */
- time_t msecs; /*!< Number of milli-seconds. */
+ int count; /*!< Number of operations. */
+ off_t bytes; /*!< Number of bytes transferred. */
+ time_t msecs; /*!< Number of milli-seconds. */
} OPSTAT_t;
/** \ingroup rpmio
* Identify per-desciptor I/O operation statistics.
*/
enum FDSTAT_e {
- FDSTAT_READ = 0, /*!< Read statistics index. */
- FDSTAT_WRITE = 1, /*!< Write statistics index. */
- FDSTAT_SEEK = 2, /*!< Seek statistics index. */
- FDSTAT_CLOSE = 3 /*!< Close statistics. index */
+ FDSTAT_READ = 0, /*!< Read statistics index. */
+ FDSTAT_WRITE = 1, /*!< Write statistics index. */
+ FDSTAT_SEEK = 2, /*!< Seek statistics index. */
+ FDSTAT_CLOSE = 3 /*!< Close statistics. index */
};
/** \ingroup rpmio
* Cumulative statistics for a descriptor.
*/
typedef /*@abstract@*/ struct {
- struct timeval create; /*!< Structure creation time. */
- struct timeval begin; /*!< Operation start time. */
- OPSTAT_t ops[4]; /*!< Cumulative statistics. */
+ struct timeval create; /*!< Structure creation time. */
+ struct timeval begin; /*!< Operation start time. */
+ OPSTAT_t ops[4]; /*!< Cumulative statistics. */
} * FDSTAT_t;
/** \ingroup rpmio
* @param flags bit(s) to control digest operation
* @return digest private data
*/
-DIGEST_CTX rpmDigestInit(rpmDigestFlags flags);
+DIGEST_CTX rpmDigestInit(rpmDigestFlags flags)
+ /*@*/;
/** \ingroup rpmio
* Update context to with next plain text buffer.
* @param data next data buffer
* @param len no. bytes of data
*/
-void rpmDigestUpdate(DIGEST_CTX ctx, const void * data, size_t len);
+void rpmDigestUpdate(DIGEST_CTX ctx, const void * data, size_t len)
+ /*@modifies ctx @*/;
/** \ingroup rpmio
* Return digest and destroy context.
*/
void rpmDigestFinal(/*@only@*/ DIGEST_CTX ctx,
/*@null@*/ /*@out@*/ void ** datap,
- /*@null@*/ /*@out@*/ size_t *lenp, int asAscii);
+ /*@null@*/ /*@out@*/ size_t * lenp, int asAscii)
+ /*@modifies *datap, *lenp @*/;
/** \ingroup rpmio
* The FD_t File Handle data structure.
*/
struct _FD_s {
-/*@refs@*/ int nrefs;
- int flags;
+/*@refs@*/ int nrefs;
+ int flags;
#define RPMIO_DEBUG_IO 0x40000000
#define RPMIO_DEBUG_REFS 0x20000000
- int magic;
-#define FDMAGIC 0x04463138
- int nfps;
- FDSTACK_t fps[8];
- int urlType; /* ufdio: */
-
-/*@dependent@*/ void * url; /* ufdio: URL info */
- int rd_timeoutsecs; /* ufdRead: per FD_t timer */
- ssize_t bytesRemain; /* ufdio: */
- ssize_t contentLength; /* ufdio: */
- int persist; /* ufdio: */
- int wr_chunked; /* ufdio: */
-
- int syserrno; /* last system errno encountered */
+ int magic;
+#define FDMAGIC 0x04463138
+ int nfps;
+ FDSTACK_t fps[8];
+ int urlType; /* ufdio: */
+
+/*@dependent@*/ void * url; /* ufdio: URL info */
+ int rd_timeoutsecs; /* ufdRead: per FD_t timer */
+ ssize_t bytesRemain; /* ufdio: */
+ ssize_t contentLength; /* ufdio: */
+ int persist; /* ufdio: */
+ int wr_chunked; /* ufdio: */
+
+ int syserrno; /* last system errno encountered */
/*@observer@*/ const void *errcookie; /* gzdio/bzdio/ufdio: */
- FDSTAT_t stats; /* I/O statistics */
-/*@owned@*/ DIGEST_CTX digest; /* Digest private data */
+ FDSTAT_t stats; /* I/O statistics */
+/*@owned@*/ /*@null@*/ DIGEST_CTX digest; /* Digest private data */
- int ftpFileDoneNeeded; /* ufdio: (FTP) */
- unsigned int firstFree; /* fadio: */
- long int fileSize; /* fadio: */
- long int fd_cpioPos; /* cpio: */
+ int ftpFileDoneNeeded; /* ufdio: (FTP) */
+ unsigned int firstFree; /* fadio: */
+ long int fileSize; /* fadio: */
+ long int fd_cpioPos; /* cpio: */
};
/*@access FD_t@*/
#define FDSANE(fd) assert(fd && fd->magic == FDMAGIC)
+/*@-redecl@*/
extern int _rpmio_debug;
+/*@=redecl@*/
#define DBG(_f, _m, _x) \
if ((_rpmio_debug | ((_f) ? ((FD_t)(_f))->flags : 0)) & (_m)) fprintf _x
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-/*@null@*/ const FDIO_t fdGetIo(FD_t fd) {
+/*@null@*/ const FDIO_t fdGetIo(FD_t fd)
+ /*@*/
+{
FDSANE(fd);
return fd->fps[fd->nfps].io;
}
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdSetIo(FD_t fd, /*@kept@*/ /*@null@*/ FDIO_t io) {
+void fdSetIo(FD_t fd, /*@kept@*/ /*@null@*/ FDIO_t io)
+ /*@modifies fd @*/
+{
FDSANE(fd);
fd->fps[fd->nfps].io = io;
}
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-/*@dependent@*/ /*@null@*/ FILE * fdGetFILE(FD_t fd) {
+/*@dependent@*/ /*@null@*/ FILE * fdGetFILE(FD_t fd)
+ /*@*/
+{
FDSANE(fd);
/*@+voidabstract@*/
return ((FILE *)fd->fps[fd->nfps].fp);
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-/*@dependent@*/ /*@null@*/ void * fdGetFp(FD_t fd) {
+/*@dependent@*/ /*@null@*/ void * fdGetFp(FD_t fd)
+ /*@*/
+{
FDSANE(fd);
return fd->fps[fd->nfps].fp;
}
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdSetFp(FD_t fd, /*@kept@*/ /*@null@*/ void * fp) {
+void fdSetFp(FD_t fd, /*@kept@*/ /*@null@*/ void * fp)
+ /*@modifies fd @*/
+{
FDSANE(fd);
fd->fps[fd->nfps].fp = fp;
}
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-int fdGetFdno(FD_t fd) {
+int fdGetFdno(FD_t fd)
+ /*@*/
+{
FDSANE(fd);
return fd->fps[fd->nfps].fdno;
}
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdSetFdno(FD_t fd, int fdno) {
+void fdSetFdno(FD_t fd, int fdno)
+ /*@modifies fd @*/
+{
FDSANE(fd);
fd->fps[fd->nfps].fdno = fdno;
}
*/
/*@unused@*/ static inline
void fdSetContentLength(FD_t fd, ssize_t contentLength)
+ /*@modifies fd @*/
{
FDSANE(fd);
fd->contentLength = fd->bytesRemain = contentLength;
*/
/*@unused@*/ static inline
void fdPush(FD_t fd, FDIO_t io, void * fp, int fdno)
+ /*@modifies fd @*/
{
FDSANE(fd);
if (fd->nfps >= (sizeof(fd->fps)/sizeof(fd->fps[0]) - 1))
/** \ingroup rpmio
*/
-/*@unused@*/ static inline void fdPop(FD_t fd) {
+/*@unused@*/ static inline void fdPop(FD_t fd)
+ /*@modifies fd @*/
+{
FDSANE(fd);
if (fd->nfps < 0) return;
fdSetIo(fd, NULL);
/** \ingroup rpmio
*/
/*@unused@*/ static inline void fdstat_enter(/*@null@*/ FD_t fd, int opx)
+ /*@modifies fd @*/
{
if (fd == NULL || fd->stats == NULL) return;
fd->stats->ops[opx].count++;
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-time_t tvsub(struct timeval * etv, struct timeval * btv) {
+time_t tvsub(/*@null@*/ const struct timeval * etv,
+ /*@null@*/ const struct timeval * btv)
+ /*@*/
+{
time_t secs, usecs;
- if (!(etv && btv)) return 0;
+ if (etv == NULL || btv == NULL) return 0;
secs = etv->tv_sec - btv->tv_sec;
- usecs = etv->tv_usec - btv->tv_usec;
- while (usecs < 0) {
+ for (usecs = etv->tv_usec - btv->tv_usec; usecs < 0; usecs += 1000000)
secs++;
- usecs += 1000000;
- }
return ((secs * 1000) + (usecs/1000));
}
*/
/*@unused@*/ static inline
void fdstat_exit(/*@null@*/ FD_t fd, int opx, ssize_t rc)
+ /*@modifies fd @*/
{
struct timeval end;
if (fd == NULL) return;
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdstat_print(/*@null@*/ FD_t fd, const char * msg, FILE * fp) {
+void fdstat_print(/*@null@*/ FD_t fd, const char * msg, FILE * fp)
+ /*@modifies *fp @*/
+{
int opx;
if (fd == NULL || fd->stats == NULL) return;
for (opx = 0; opx < 4; opx++) {
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdSetSyserrno(FD_t fd, int syserrno, /*@kept@*/ const void * errcookie) {
+void fdSetSyserrno(FD_t fd, int syserrno, /*@kept@*/ const void * errcookie)
+ /*@modifies fd @*/
+{
FDSANE(fd);
fd->syserrno = syserrno;
fd->errcookie = errcookie;
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-int fdGetRdTimeoutSecs(FD_t fd) {
+int fdGetRdTimeoutSecs(FD_t fd)
+ /*@*/
+{
FDSANE(fd);
return fd->rd_timeoutsecs;
}
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-long int fdGetCpioPos(FD_t fd) {
+long int fdGetCpioPos(FD_t fd)
+ /*@*/
+{
FDSANE(fd);
return fd->fd_cpioPos;
}
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdSetCpioPos(FD_t fd, long int cpioPos) {
+void fdSetCpioPos(FD_t fd, long int cpioPos)
+ /*@modifies fd @*/
+{
FDSANE(fd);
fd->fd_cpioPos = cpioPos;
}
/** \ingroup rpmio
*/
/*@mayexit@*/ /*@unused@*/ static inline
-FD_t c2f(/*@null@*/ void * cookie) {
+FD_t c2f(/*@null@*/ void * cookie)
+ /*@*/
+{
FD_t fd = (FD_t) cookie;
FDSANE(fd);
/*@-refcounttrans@*/ return fd; /*@=refcounttrans@*/
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdInitMD5(FD_t fd, int flags) {
+void fdInitMD5(FD_t fd, int flags)
+ /*@modifies fd @*/
+{
if (flags) flags = RPMDIGEST_NATIVE;
flags |= RPMDIGEST_MD5;
fd->digest = rpmDigestInit(flags);
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdInitSHA1(FD_t fd) {
+void fdInitSHA1(FD_t fd)
+ /*@modifies fd @*/
+{
fd->digest = rpmDigestInit(RPMDIGEST_SHA1);
}
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdFiniMD5(FD_t fd, void **datap, size_t *lenp, int asAscii) {
+void fdFiniMD5(FD_t fd,
+ /*@null@*/ /*@out@*/ void ** datap,
+ /*@null@*/ /*@out@*/ size_t * lenp,
+ int asAscii)
+ /*@modifies fd, *datap, *lenp @*/
+{
if (fd->digest == NULL) {
if (datap) *datap = NULL;
if (lenp) *lenp = 0;
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-void fdFiniSHA1(FD_t fd, void **datap, size_t *lenp, int asAscii) {
+void fdFiniSHA1(FD_t fd,
+ /*@null@*/ /*@out@*/ void ** datap,
+ /*@null@*/ /*@out@*/ size_t * lenp,
+ int asAscii)
+ /*@modifies fd, *datap, *lenp @*/
+{
if (fd->digest == NULL) {
if (datap) *datap = NULL;
if (lenp) *lenp = 0;
/** \ingroup rpmio
*/
/*@unused@*/ static inline
-int fdFileno(/*@null@*/ void * cookie) {
+int fdFileno(/*@null@*/ void * cookie)
+ /*@*/
+{
FD_t fd;
if (cookie == NULL) return -2;
fd = c2f(cookie);
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
- * @param this memory to free
+ * @param p memory to free
* @retval NULL always
*/
-/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * this) {
- if (this != NULL) free((void *)this);
+/*@unused@*/ static inline /*@null@*/ void *
+_free(/*@only@*/ /*@null@*/ const void * p) /*@modifies p@*/
+{
+ if (p != NULL) free((void *)p);
return NULL;
}
*
* priorities (these are ordered)
*/
+/*@-typeuse@*/
typedef enum rpmlogLvl_e {
RPMLOG_EMERG = 0, /*!< system is unusable */
RPMLOG_ALERT = 1, /*!< action must be taken immediately */
RPMLOG_INFO = 6, /*!< informational */
RPMLOG_DEBUG = 7 /*!< debug-level messages */
} rpmlogLvl;
+/*@=typeuse@*/
#define RPMLOG_PRIMASK 0x07 /* mask to extract priority part (internal) */
/* extract priority */
/**
* facility codes
*/
+/*@-enummemuse -typeuse@*/
typedef enum rpmlogFac_e {
RPMLOG_KERN = (0<<3), /*!< kernel messages */
RPMLOG_USER = (1<<3), /*!< random user-level messages */
#define RPMLOG_NFACILITIES 24 /*!< current number of facilities */
RPMLOG_ERRMSG = (((unsigned)(RPMLOG_NFACILITIES+0))<<3)
} rpmlogFac;
+/*@=enummemuse =typeuse@*/
#define RPMLOG_FACMASK 0x03f8 /*!< mask to extract facility part */
#define RPMLOG_FAC(p) (((p) & RPMLOG_FACMASK) >> 3)
* Return number of rpmError() ressages.
* @return number of messages
*/
-int rpmlogGetNrecs(void);
+int rpmlogGetNrecs(void) /*@*/;
/**
* Print all rpmError() messages.
* @param f file handle (NULL uses stderr)
*/
-void rpmlogPrint(FILE *f);
+void rpmlogPrint(FILE *f)
+ /*@modifies *f @*/;
/**
* Close desriptor used to write to system logger.
* @todo Implement.
*/
-void rpmlogClose (void);
+/*@unused@*/
+void rpmlogClose (void)
+ /*@modifies internalState @*/;
/**
* Open connection to system logger.
* @todo Implement.
*/
-void rpmlogOpen (const char *ident, int option, int facility);
+/*@unused@*/
+void rpmlogOpen (const char * ident, int option, int facility)
+ /*@modifies internalState @*/;
/**
* Set the log mask level.
*/
-int rpmlogSetMask (int mask);
+int rpmlogSetMask (int mask)
+ /*@modifies internalState @*/;
/**
* Generate a log message using FMT string and option arguments.
*/
-/*@mayexit@*/ /*@printflike@*/ void rpmlog (int pri, const char *fmt, ...);
+/*@mayexit@*/ /*@printflike@*/ void rpmlog (int pri, const char *fmt, ...)
+ /*@modifies internalState @*/;
/*@-exportlocal@*/
/**
* Return text of last rpmError() message.
* @return text of last message
*/
-/*@observer@*/ /*@null@*/ const char * rpmlogMessage(void);
+/*@-redecl@*/
+/*@observer@*/ /*@null@*/ const char * rpmlogMessage(void) /*@*/;
+/*@=redecl@*/
/**
* Return error code from last rpmError() message.
* and parsed IMHO.
* @return code from last message
*/
-int rpmlogCode(void);
+int rpmlogCode(void) /*@*/;
/**
* Set rpmlog callback function.
*/
-rpmlogCallback rpmlogSetCallback(rpmlogCallback cb);
+rpmlogCallback rpmlogSetCallback(rpmlogCallback cb)
+ /*@modifies internalState @*/;
/*@=exportlocal@*/
/**
* Set rpmlog callback function.
* @deprecated gnorpm needs, use rpmlogSetCallback() instead.
*/
-extern rpmlogCallback rpmErrorSetCallback(rpmlogCallback cb);
+extern rpmlogCallback rpmErrorSetCallback(rpmlogCallback cb)
+ /*@modifies internalState @*/;
/**
* Return error code from last rpmError() message.
* @deprecated Perl-RPM needs, use rpmlogCode() instead.
* @return code from last message
*/
-extern int rpmErrorCode(void);
+extern int rpmErrorCode(void) /*@*/;
/**
* Return text of last rpmError() message.
* @deprecated gnorpm needs, use rpmlogMessage() instead.
* @return text of last message
*/
-/*@observer@*/ /*@null@*/ extern const char * rpmErrorString(void);
+/*@-redecl@*/
+/*@observer@*/ /*@null@*/ extern const char * rpmErrorString(void) /*@*/;
+/*@=redecl@*/
#ifdef __cplusplus
}
* @param path macro(s) to expand (NULL terminates list)
* @return canonicalized path (malloc'ed)
*/
+/*@-redecl@*/
const char * rpmGetPath (/*@null@*/ const char * path, ...)
/*@*/;
+/*@=redecl@*/
/**
* Merge 3 args into path, any or all of which may be a url.
* @param file file URL (often a file, or NULL)
* @return expanded, merged, canonicalized path (malloc'ed)
*/
+/*@-redecl@*/
const char * rpmGenPath (/*@null@*/ const char * root,
/*@null@*/ const char * mdir,
/*@null@*/ const char * file)
/*@*/;
+/*@=redecl@*/
/**
* Return macro expansion as a numeric value.
/**
*/
+/*@unused@*/
void urlSetCallback(rpmCallbackFunction notify, rpmCallbackData notifyData,
int notifyCount);
/*@access FD_t@*/
/*@access urlinfo@*/
+/*@-redecl@*/
extern int _rpmio_debug;
+/*@=redecl@*/
/* =============================================================== */
static int ftpMkdir(const char * path, /*@unused@*/ mode_t mode) {
/* Call w/ -1 to flush the cache, returns NULL if the user can't be found */
/*@observer@*/ /*@null@*/ char * uidToUname(uid_t uid);
+/*@unused@*/
/*@observer@*/ /*@null@*/ char * gidToGname(gid_t gid);
#ifdef __cplusplus
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
- * @param this memory to free
+ * @param p memory to free
* @retval NULL always
*/
-/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * this) {
- if (this != NULL) free((void *)this);
+/*@unused@*/ static inline /*@null@*/ void *
+_free(/*@only@*/ /*@null@*/ const void * p) /*@modifies p@*/
+{
+ if (p != NULL) free((void *)p);
return NULL;
}
#define MODES_FOR_TEST (MODES_BT | MODES_IE)
#define MODES_FOR_ROOT (MODES_BT | MODES_IE | MODES_QV | MODES_DB)
+/*@-exportheadervar@*/
extern int _ftp_debug;
extern int noLibio;
extern int _rpmio_debug;
extern int _url_debug;
extern int _noDirTokens;
+/*@-varuse@*/
extern const char * rpmNAME;
+/*@=varuse@*/
extern const char * rpmEVR;
+/*@-varuse@*/
extern int rpmFLAGS;
+/*@=varuse@*/
extern struct MacroContext_s rpmCLIMacroContext;
+/*@=exportheadervar@*/
/* options for all executables */
extern time_t timezone;
#endif
+#ifdef __LCLINT__
+typedef unsigned int u_int32_t;
+typedef unsigned short u_int16_t;
+typedef unsigned char u_int8_t;
+typedef int int32_t;
+#endif
/* Since major is a function on SVR4, we can't use `ifndef major'. */
#if MAJOR_IN_MKDEV
#endif
#if !defined(HAVE_STPCPY) || defined(__LCLINT__)
-char * stpcpy(char * dest, const char * src);
+/*@-declundef@*/
+char * stpcpy(char * dest, const char * src) /*@modifies *dest @*/;
+/*@=declundef@*/
#endif
#if !defined(HAVE_STPNCPY) || defined(__LCLINT__)
-char * stpncpy(char * dest, const char * src, size_t n);
+/*@-declundef@*/
+char * stpncpy(char * dest, const char * src, size_t n) /*@modifies *dest @*/;
+/*@=declundef@*/
#endif
#include <errno.h>
#ifndef errno
+/*@-declundef @*/
extern int errno;
+/*@=declundef @*/
#endif
#ifdef STDC_HEADERS
#include <sys/file.h>
#endif
-#ifndef SEEK_SET
+#if !defined(SEEK_SET) && !defined(__LCLINT__)
#define SEEK_SET 0
#define SEEK_CUR 1
#define SEEK_END 2
#endif
-#ifndef F_OK
+#if !defined(F_OK) && !defined(__LCLINT__)
#define F_OK 0
#define X_OK 1
#define W_OK 2
#include <malloc.h>
#endif
-/*@only@*/ void * xmalloc (size_t size);
-/*@only@*/ void * xcalloc (size_t nmemb, size_t size);
-/*@only@*/ void * xrealloc (/*@only@*/ /*@null@*/ void * ptr, size_t size);
-/*@only@*/ char * xstrdup (const char *str);
-/*@only@*/ void *vmefail(size_t size);
+/*@-declundef@*/
+/*@mayexit@*/ /*@only@*/ void * xmalloc (size_t size) /*@*/;
+/*@mayexit@*/ /*@only@*/ void * xcalloc (size_t nmemb, size_t size) /*@*/;
+/*@mayexit@*/ /*@only@*/ void * xrealloc (/*@only@*//*@null@*/ void * ptr,
+ size_t size) /*@*/;
+/*@mayexit@*/ /*@only@*/ char * xstrdup (const char *str) /*@*/;
+/*@=declundef@*/
+/*@unused@*/ /*@exits@*/ /*@only@*/ void * vmefail(size_t size);
#if HAVE_MCHECK_H
#include <mcheck.h>
projects / platform / upstream / rpm.git / commitdiff