#include "debug.h"
-/*@unchecked@*/
static int _build_debug = 0;
-/*@access StringBuf @*/
-/*@access urlinfo @*/ /* XXX compared with NULL */
-/*@access FD_t @*/
-
/**
*/
static void doRmSource(Spec spec)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies rpmGlobalMacroContext, fileSystem, internalState @*/
{
struct Source *p;
Package pkg;
int status;
int rc;
- /*@-branchstate@*/
switch (what) {
case RPMBUILD_PREP:
name = "%prep";
}
if (name == NULL) /* XXX shouldn't happen */
name = "???";
- /*@=branchstate@*/
if ((what != RPMBUILD_RMBUILD) && sb == NULL) {
rc = 0;
}
#endif
- /*@-branchstate@*/
if (fdGetFp(fd) == NULL)
xfd = Fdopen(fd, "w.fpio");
else
xfd = fd;
- /*@=branchstate@*/
- /*@-type@*/ /* FIX: cast? */
+ /* FIX: cast? */
if ((fp = fdGetFp(xfd)) == NULL) {
rc = RPMERR_SCRIPT;
goto exit;
}
- /*@=type@*/
(void) urlPath(rootURL, &rootDir);
- /*@-branchstate@*/
if (*rootDir == '\0') rootDir = "/";
- /*@=branchstate@*/
(void) urlPath(scriptName, &buildScript);
if (_build_debug)
fprintf(stderr, "*** rootURL %s buildDirURL %s\n", rootURL, buildDirURL);
-/*@-boundsread@*/
if (buildDirURL && buildDirURL[0] != '/' &&
(urlSplit(buildDirURL, &u) != 0)) {
rc = RPMERR_SCRIPT;
goto exit;
}
-/*@=boundsread@*/
if (u != NULL) {
switch (u->urltype) {
case URL_IS_HTTPS:
rpmMessage(RPMMESS_NORMAL, _("Executing(%s): %s\n"), name, buildCmd);
if (!(child = fork())) {
- /*@-mods@*/
errno = 0;
- /*@=mods@*/
-/*@-boundsread@*/
(void) execvp(argv[0], (char *const *)argv);
-/*@=boundsread@*/
rpmError(RPMERR_SCRIPT, _("Exec of %s failed (%s): %s\n"),
scriptName, name, strerror(errno));
/* packaging on the first run, and skip RMSOURCE altogether */
if (spec->BASpecs != NULL)
for (x = 0; x < spec->BACount; x++) {
-/*@-boundsread@*/
if ((rc = buildSpec(ts, spec->BASpecs[x],
(what & ~RPMBUILD_RMSOURCE) |
(x ? 0 : (what & RPMBUILD_PACKAGESOURCE)),
test))) {
goto exit;
}
-/*@=boundsread@*/
}
} else {
if ((what & RPMBUILD_PREP) &&
/**
*/
-typedef /*@abstract@*/ struct cpioSourceArchive_s {
+typedef struct cpioSourceArchive_s {
unsigned int cpioArchiveSize;
FD_t cpioFdIn;
-/*@refcounted@*/ /*@relnull@*/
rpmfi cpioList;
-/*@only@*/
struct rpmlead * lead; /* XXX FIXME: exorcize lead/arch/os */
} * CSA_t;
* @param csa
* @return 0 on success
*/
-/*@unused@*/ int readRPM(/*@null@*/ const char * fileName,
- /*@out@*/ Spec * specp,
- /*@out@*/ struct rpmlead * lead,
- /*@out@*/ Header * sigs,
- CSA_t csa)
- /*@globals rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies *specp, *lead, *sigs, csa, csa->cpioFdIn,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int readRPM(const char * fileName,
+ Spec * specp,
+ struct rpmlead * lead,
+ Header * sigs,
+ CSA_t csa);
/**
* Write rpm package to file.
* @retval cookie generated cookie (i.e build host/time)
* @return 0 on success
*/
-int writeRPM(Header * hdrp, /*@null@*/ unsigned char ** pkgidp,
+int writeRPM(Header * hdrp, unsigned char ** pkgidp,
const char * fileName,
int type,
CSA_t csa,
- /*@null@*/ char * passPhrase,
- /*@out@*/ const char ** cookie)
- /*@globals rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies *hdrp, *pkgidp, *cookie, csa, csa->cpioArchiveSize,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+ char * passPhrase,
+ const char ** cookie);
#ifdef __cplusplus
}
/**
*/
static Value valueMakeInteger(int i)
- /*@*/
{
Value v;
/**
*/
-static Value valueMakeString(/*@only@*/ const char *s)
- /*@*/
+static Value valueMakeString(const char *s)
{
Value v;
/**
*/
-static void valueFree( /*@only@*/ Value v)
- /*@modifies v @*/
+static void valueFree( Value v)
{
if (v) {
if (v->type == VALUE_TYPE_STRING)
#ifdef DEBUG_PARSER
static void valueDump(const char *msg, Value v, FILE *fp)
- /*@*/
{
if (msg)
fprintf(fp, "%s ", msg);
* Parser state.
*/
typedef struct _parseState {
-/*@owned@*/
char *str; /*!< expression string */
-/*@dependent@*/
char *p; /*!< current position in expression string */
int nextToken; /*!< current lookahead token */
-/*@relnull@*/
Value tokenValue; /*!< valid when TOK_INTEGER or TOK_STRING */
Spec spec; /*!< spec file that we are parsing inside of */
} *ParseState;
/**
* \name Parser tokens
*/
-/*@{*/
#define TOK_EOF 1
#define TOK_INTEGER 2
#define TOK_STRING 3
#define TOK_NOT 17
#define TOK_LOGICAL_AND 18
#define TOK_LOGICAL_OR 19
-/*@}*/
#define EXPRBUFSIZ BUFSIZ
};
static const char *prToken(int val)
- /*@*/
{
ETTE_t *et;
/**
* @param state expression parser state
*/
-/*@-boundswrite@*/
static int rdToken(ParseState state)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies state->nextToken, state->p, state->tokenValue,
- rpmGlobalMacroContext @*/
{
int token;
Value v = NULL;
return 0;
}
-/*@=boundswrite@*/
-/*@null@*/
-static Value doLogical(ParseState state)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies state->nextToken, state->p, state->tokenValue,
- rpmGlobalMacroContext @*/;
+static Value doLogical(ParseState state);
/**
* @param state expression parser state
*/
-/*@null@*/
static Value doPrimary(ParseState state)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies state->nextToken, state->p, state->tokenValue,
- rpmGlobalMacroContext @*/
{
Value v;
DEBUG(printf("doPrimary()\n"));
- /*@-branchstate@*/
switch (state->nextToken) {
case TOK_OPEN_P:
if (rdToken(state))
break;
default:
return NULL;
- /*@notreached@*/ break;
+ break;
}
- /*@=branchstate@*/
DEBUG(valueDump("doPrimary:", v, stdout));
return v;
/**
* @param state expression parser state
*/
-/*@null@*/
static Value doMultiplyDivide(ParseState state)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies state->nextToken, state->p, state->tokenValue,
- rpmGlobalMacroContext @*/
{
Value v1, v2 = NULL;
if (v1 == NULL)
return NULL;
- /*@-branchstate@*/
while (state->nextToken == TOK_MULTIPLY
|| state->nextToken == TOK_DIVIDE) {
int op = state->nextToken;
return NULL;
}
}
- /*@=branchstate@*/
if (v2) valueFree(v2);
return v1;
/**
* @param state expression parser state
*/
-/*@-boundswrite@*/
-/*@null@*/
static Value doAddSubtract(ParseState state)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies state->nextToken, state->p, state->tokenValue,
- rpmGlobalMacroContext @*/
{
Value v1, v2 = NULL;
if (v1 == NULL)
return NULL;
- /*@-branchstate@*/
while (state->nextToken == TOK_ADD || state->nextToken == TOK_MINUS) {
int op = state->nextToken;
v1 = valueMakeString(copy);
}
}
- /*@=branchstate@*/
if (v2) valueFree(v2);
return v1;
}
-/*@=boundswrite@*/
/**
* @param state expression parser state
*/
-/*@null@*/
static Value doRelational(ParseState state)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies state->nextToken, state->p, state->tokenValue,
- rpmGlobalMacroContext @*/
{
Value v1, v2 = NULL;
if (v1 == NULL)
return NULL;
- /*@-branchstate@*/
while (state->nextToken >= TOK_EQ && state->nextToken <= TOK_GE) {
int op = state->nextToken;
switch (op) {
case TOK_EQ:
r = (i1 == i2);
- /*@switchbreak@*/ break;
+ break;
case TOK_NEQ:
r = (i1 != i2);
- /*@switchbreak@*/ break;
+ break;
case TOK_LT:
r = (i1 < i2);
- /*@switchbreak@*/ break;
+ break;
case TOK_LE:
r = (i1 <= i2);
- /*@switchbreak@*/ break;
+ break;
case TOK_GT:
r = (i1 > i2);
- /*@switchbreak@*/ break;
+ break;
case TOK_GE:
r = (i1 >= i2);
- /*@switchbreak@*/ break;
+ break;
default:
- /*@switchbreak@*/ break;
+ break;
}
valueFree(v1);
v1 = valueMakeInteger(r);
switch (op) {
case TOK_EQ:
r = (strcmp(s1,s2) == 0);
- /*@switchbreak@*/ break;
+ break;
case TOK_NEQ:
r = (strcmp(s1,s2) != 0);
- /*@switchbreak@*/ break;
+ break;
case TOK_LT:
r = (strcmp(s1,s2) < 0);
- /*@switchbreak@*/ break;
+ break;
case TOK_LE:
r = (strcmp(s1,s2) <= 0);
- /*@switchbreak@*/ break;
+ break;
case TOK_GT:
r = (strcmp(s1,s2) > 0);
- /*@switchbreak@*/ break;
+ break;
case TOK_GE:
r = (strcmp(s1,s2) >= 0);
- /*@switchbreak@*/ break;
+ break;
default:
- /*@switchbreak@*/ break;
+ break;
}
valueFree(v1);
v1 = valueMakeInteger(r);
}
}
- /*@=branchstate@*/
if (v2) valueFree(v2);
return v1;
* @param state expression parser state
*/
static Value doLogical(ParseState state)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies state->nextToken, state->p, state->tokenValue,
- rpmGlobalMacroContext @*/
{
Value v1, v2 = NULL;
if (v1 == NULL)
return NULL;
- /*@-branchstate@*/
while (state->nextToken == TOK_LOGICAL_AND
|| state->nextToken == TOK_LOGICAL_OR) {
int op = state->nextToken;
return NULL;
}
}
- /*@=branchstate@*/
if (v2) valueFree(v2);
return v1;
result = v->data.i != 0;
break;
case VALUE_TYPE_STRING:
-/*@-boundsread@*/
result = v->data.s[0] != '\0';
-/*@=boundsread@*/
break;
default:
break;
DEBUG(valueDump("parseExprString:", v, stdout));
- /*@-branchstate@*/
switch (v->type) {
case VALUE_TYPE_INTEGER: {
char buf[128];
default:
break;
}
- /*@=branchstate@*/
state.str = _free(state.str);
valueFree(v);
#include "misc.h"
#include "debug.h"
-/*@access Header @*/
-/*@access rpmfi @*/
-/*@access rpmte @*/
-/*@access FD_t @*/
-/*@access StringBuf @*/ /* compared with NULL */
-
#define SKIPWHITE(_x) {while(*(_x) && (xisspace(*_x) || *(_x) == ',')) (_x)++;}
#define SKIPNONWHITE(_x){while(*(_x) &&!(xisspace(*_x) || *(_x) == ',')) (_x)++;}
#define fl_size fl_st.st_size
#define fl_mtime fl_st.st_mtime
-/*@only@*/
const char *diskURL; /* get file from here */
-/*@only@*/
const char *fileURL; /* filename in cpio archive */
-/*@observer@*/
const char *uname;
-/*@observer@*/
const char *gname;
unsigned flags;
specdFlags specdFlags; /* which attributes have been explicitly specified. */
unsigned verifyFlags;
-/*@only@*/
const char *langs; /* XXX locales separated with | */
} * FileListRec;
/**
*/
typedef struct AttrRec_s {
-/*@null@*/
const char *ar_fmodestr;
-/*@null@*/
const char *ar_dmodestr;
-/*@null@*/
const char *ar_user;
-/*@null@*/
const char *ar_group;
mode_t ar_fmode;
mode_t ar_dmode;
} * AttrRec;
-/*@-readonlytrans@*/
-/*@unchecked@*/ /*@observer@*/
static struct AttrRec_s root_ar = { NULL, NULL, "root", "root", 0, 0 };
-/*@=readonlytrans@*/
/* list of files */
-/*@unchecked@*/ /*@only@*/ /*@null@*/
static StringBuf check_fileList = NULL;
/**
* Package file tree walk data.
*/
typedef struct FileList_s {
-/*@only@*/
const char * buildRootURL;
-/*@only@*/
const char * prefix;
int fileCount;
specdFlags defSpecdFlags;
int defVerifyFlags;
int nLangs;
-/*@only@*/ /*@null@*/
const char ** currentLangs;
/* Hard coded limit of MAXDOCDIR docdirs. */
const char * docDirs[MAXDOCDIR];
int docDirCount;
-/*@only@*/
FileListRec fileList;
int fileListRecsAlloced;
int fileListRecsUsed;
/**
*/
-static void nullAttrRec(/*@out@*/ AttrRec ar) /*@modifies ar @*/
+static void nullAttrRec(AttrRec ar)
{
ar->ar_fmodestr = NULL;
ar->ar_dmodestr = NULL;
/**
*/
-static void freeAttrRec(AttrRec ar) /*@modifies ar @*/
+static void freeAttrRec(AttrRec ar)
{
ar->ar_fmodestr = _free(ar->ar_fmodestr);
ar->ar_dmodestr = _free(ar->ar_dmodestr);
ar->ar_user = _free(ar->ar_user);
ar->ar_group = _free(ar->ar_group);
/* XXX doesn't free ar (yet) */
- /*@-nullstate@*/
return;
- /*@=nullstate@*/
}
/**
*/
-static void dupAttrRec(const AttrRec oar, /*@in@*/ /*@out@*/ AttrRec nar)
- /*@modifies nar @*/
+static void dupAttrRec(const AttrRec oar, AttrRec nar)
{
if (oar == nar)
return;
/**
*/
static void dumpAttrRec(const char * msg, AttrRec ar)
- /*@globals fileSystem@*/
- /*@modifies fileSystem @*/
{
if (msg)
fprintf(stderr, "%s:\t", msg);
* @param s
* @param delim
*/
-/*@-boundswrite@*/
-/*@null@*/
-static char *strtokWithQuotes(/*@null@*/ char *s, char *delim)
- /*@modifies *s @*/
+static char *strtokWithQuotes(char *s, char *delim)
{
static char *olds = NULL;
char *token;
olds = s+1;
}
- /*@-retalias -temptrans @*/
return token;
- /*@=retalias =temptrans @*/
}
-/*@=boundswrite@*/
/**
*/
static void timeCheck(int tc, Header h)
- /*@globals internalState @*/
- /*@modifies internalState @*/
{
HGE_t hge = (HGE_t)headerGetEntryMinMemory;
HFD_t hfd = headerFreeData;
x = hge(h, RPMTAG_OLDFILENAMES, &fnt, (void **) &files, &count);
x = hge(h, RPMTAG_FILEMTIMES, NULL, (void **) &mtime, NULL);
-/*@-boundsread@*/
for (x = 0; x < count; x++) {
if ((currentTime - mtime[x]) > tc)
rpmMessage(RPMMESS_WARNING, _("TIMECHECK failure: %s\n"), files[x]);
}
files = hfd(files, fnt);
-/*@=boundsread@*/
}
/**
*/
typedef struct VFA {
-/*@observer@*/ /*@null@*/ const char * attribute;
+const char * attribute;
int not;
int flag;
} VFA_t;
/**
*/
-/*@-exportlocal -exportheadervar@*/
-/*@unchecked@*/
VFA_t verifyAttrs[] = {
{ "md5", 0, RPMVERIFY_MD5 },
{ "size", 0, RPMVERIFY_FILESIZE },
{ "rdev", 0, RPMVERIFY_RDEV },
{ NULL, 0, 0 }
};
-/*@=exportlocal =exportheadervar@*/
/**
* Parse %verify and %defverify from file manifest.
* @param fl package file tree walk data
* @return 0 on success
*/
-/*@-boundswrite@*/
static int parseForVerify(char * buf, FileList fl)
- /*@modifies buf, fl->processingFailed,
- fl->currentVerifyFlags, fl->defVerifyFlags,
- fl->currentSpecdFlags, fl->defSpecdFlags @*/
{
char *p, *pe, *q;
const char *name;
{ VFA_t *vfa;
for (vfa = verifyAttrs; vfa->attribute != NULL; vfa++) {
if (strcmp(p, vfa->attribute))
- /*@innercontinue@*/ continue;
+ continue;
verifyFlags |= vfa->flag;
- /*@innerbreak@*/ break;
+ break;
}
if (vfa->attribute)
continue;
return 0;
}
-/*@=boundswrite@*/
#define isAttrDefault(_ars) ((_ars)[0] == '-' && (_ars)[1] == '\0')
* @param fl package file tree walk data
* @return 0 on success
*/
-/*@-boundswrite@*/
static int parseForDev(char * buf, FileList fl)
- /*@modifies buf, fl->processingFailed,
- fl->noGlob, fl->devtype, fl->devmajor, fl->devminor @*/
{
const char * name;
const char * errstr = NULL;
{} ;
if (*pe == '\0') {
fl->devmajor = atoi(p);
- /*@-unsignedcompare @*/ /* LCL: ge is ok */
if (!(fl->devmajor >= 0 && fl->devmajor < 256)) {
errstr = "devmajor";
goto exit;
}
- /*@=unsignedcompare @*/
pe++;
} else {
errstr = "devmajor";
}
return rc;
}
-/*@=boundswrite@*/
/**
* Parse %attr and %defattr from file manifest.
* @param fl package file tree walk data
* @return 0 on success
*/
-/*@-boundswrite@*/
static int parseForAttr(char * buf, FileList fl)
- /*@modifies buf, fl->processingFailed,
- fl->cur_ar, fl->def_ar,
- fl->currentSpecdFlags, fl->defSpecdFlags @*/
{
const char *name;
char *p, *pe, *q;
return 0;
}
-/*@=boundswrite@*/
/**
* Parse %config from file manifest.
* @param fl package file tree walk data
* @return 0 on success
*/
-/*@-boundswrite@*/
static int parseForConfig(char * buf, FileList fl)
- /*@modifies buf, fl->processingFailed, fl->currentFlags @*/
{
char *p, *pe, *q;
const char *name;
return 0;
}
-/*@=boundswrite@*/
/**
*/
static int langCmp(const void * ap, const void * bp)
- /*@*/
{
-/*@-boundsread@*/
return strcmp(*(const char **)ap, *(const char **)bp);
-/*@=boundsread@*/
}
/**
* @param fl package file tree walk data
* @return 0 on success
*/
-/*@-bounds@*/
static int parseForLang(char * buf, FileList fl)
- /*@modifies buf, fl->processingFailed,
- fl->currentLangs, fl->nLangs @*/
{
char *p, *pe, *q;
const char *name;
if (fl->currentLangs != NULL)
for (i = 0; i < fl->nLangs; i++) {
if (strncmp(fl->currentLangs[i], p, np))
- /*@innercontinue@*/ continue;
+ continue;
rpmError(RPMERR_BADSPEC, _("Duplicate locale %.*s in %%lang(%s)\n"),
(int)np, p, q);
fl->processingFailed = 1;
return 0;
}
-/*@=bounds@*/
/**
*/
-/*@-boundswrite@*/
-static int parseForRegexLang(const char * fileName, /*@out@*/ char ** lang)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies *lang, rpmGlobalMacroContext @*/
+static int parseForRegexLang(const char * fileName, char ** lang)
{
static int initialized = 0;
static int hasRegex = 0;
*lang = buf;
return 0;
}
-/*@=boundswrite@*/
/**
*/
-/*@-exportlocal -exportheadervar@*/
-/*@unchecked@*/
VFA_t virtualFileAttributes[] = {
{ "%dir", 0, 0 }, /* XXX why not RPMFILE_DIR? */
{ "%doc", 0, RPMFILE_DOC },
{ NULL, 0, 0 }
};
-/*@=exportlocal =exportheadervar@*/
/**
* Parse simple attributes (e.g. %dir) from file manifest.
* @retval *fileName file name
* @return 0 on success
*/
-/*@-boundswrite@*/
-static int parseForSimple(/*@unused@*/Spec spec, Package pkg, char * buf,
- FileList fl, /*@out@*/ const char ** fileName)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies buf, fl->processingFailed, *fileName,
- fl->currentFlags,
- fl->docDirs, fl->docDirCount, fl->isDir,
- fl->passedSpecialDoc, fl->isSpecialDoc,
- pkg->specialDoc, rpmGlobalMacroContext @*/
+static int parseForSimple(Spec spec, Package pkg, char * buf,
+ FileList fl, const char ** fileName)
{
char *s, *t;
int res, specialDoc = 0;
{ VFA_t *vfa;
for (vfa = virtualFileAttributes; vfa->attribute != NULL; vfa++) {
if (strcmp(s, vfa->attribute))
- /*@innercontinue@*/ continue;
+ continue;
if (!vfa->flag) {
if (!strcmp(s, "%dir"))
fl->isDir = 1; /* XXX why not RPMFILE_DIR? */
fl->currentFlags |= vfa->flag;
}
- /*@innerbreak@*/ break;
+ break;
}
/* if we got an attribute, continue with next token */
if (vfa->attribute != NULL)
res = 1;
}
- /*@-branchstate@*/
if (*s != '/') {
if (fl->currentFlags & RPMFILE_DOC) {
specialDoc = 1;
} else {
*fileName = s;
}
- /*@=branchstate@*/
}
if (specialDoc) {
appendLineStringBuf(pkg->specialDoc, "rm -rf $DOCDIR");
appendLineStringBuf(pkg->specialDoc, RPM_MKDIR_P " $DOCDIR");
- /*@-temptrans@*/
*fileName = buf;
- /*@=temptrans@*/
fl->passedSpecialDoc = 1;
fl->isSpecialDoc = 1;
}
return res;
}
-/*@=boundswrite@*/
/**
*/
-static int compareFileListRecs(const void * ap, const void * bp) /*@*/
+static int compareFileListRecs(const void * ap, const void * bp)
{
const char *a = ((FileListRec)ap)->fileURL;
const char *b = ((FileListRec)bp)->fileURL;
* @param fileName file path
* @return 1 if doc file, 0 if not
*/
-static int isDoc(FileList fl, const char * fileName) /*@*/
+static int isDoc(FileList fl, const char * fileName)
{
int x = fl->docDirCount;
size_t k, l;
* @return 1 if partial hardlink sets can exist, 0 otherwise.
*/
static int checkHardLinks(FileList fl)
- /*@*/
{
FileListRec ilp, jlp;
int i, j;
for (j = i + 1; j < fl->fileListRecsUsed; j++) {
jlp = fl->fileList + j;
if (!S_ISREG(jlp->fl_mode))
- /*@innercontinue@*/ continue;
+ continue;
if (ilp->fl_nlink != jlp->fl_nlink)
- /*@innercontinue@*/ continue;
+ continue;
if (ilp->fl_ino != jlp->fl_ino)
- /*@innercontinue@*/ continue;
+ continue;
if (ilp->fl_dev != jlp->fl_dev)
- /*@innercontinue@*/ continue;
+ continue;
return 1;
}
}
* @param h
* @param isSrc
*/
-/*@-bounds@*/
-static void genCpioListAndHeader(/*@partial@*/ FileList fl,
+static void genCpioListAndHeader(FileList fl,
rpmfi * fip, Header h, int isSrc)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies h, *fip, fl->processingFailed, fl->fileList,
- rpmGlobalMacroContext, fileSystem, internalState @*/
{
int _addDotSlash = !(isSrc || rpmExpandNumeric("%{_noPayloadPrefix}"));
int apathlen = 0;
(void) headerAddOrAppendEntry(h, RPMTAG_OLDFILENAMES, RPM_STRING_ARRAY_TYPE,
&(flp->fileURL), 1);
-/*@-sizeoftype@*/
if (sizeof(flp->fl_size) != sizeof(uint_32)) {
uint_32 psize = (uint_32)flp->fl_size;
(void) headerAddOrAppendEntry(h, RPMTAG_FILESIZES, RPM_INT32_TYPE,
(void) headerAddOrAppendEntry(h, RPMTAG_FILEINODES, RPM_INT32_TYPE,
&(flp->fl_ino), 1);
}
-/*@=sizeoftype@*/
(void) headerAddOrAppendEntry(h, RPMTAG_FILELANGS, RPM_STRING_ARRAY_TYPE,
&(flp->langs), 1);
if (fi == NULL) return; /* XXX can't happen */
-/*@-onlytrans@*/
fi->te = xcalloc(1, sizeof(*fi->te));
-/*@=onlytrans@*/
fi->te->type = TR_ADDED;
fi->dnl = _free(fi->dnl);
*d = '\0';
fi->bnl = xmalloc(fi->fc * (sizeof(*fi->bnl) + sizeof(*fi->dil)));
-/*@-dependenttrans@*/ /* FIX: artifact of spoofing headerGetEntry */
+/* FIX: artifact of spoofing headerGetEntry */
fi->dil = (!scareMem)
? xcalloc(sizeof(*fi->dil), fi->fc)
: (int *)(fi->bnl + fi->fc);
-/*@=dependenttrans@*/
fi->apath = xmalloc(fi->fc * sizeof(*fi->apath) + apathlen + 1);
a = (char *)(fi->apath + fi->fc);
/* Create disk directory and base name. */
fi->dil[i] = i;
-/*@-dependenttrans@*/ /* FIX: artifact of spoofing headerGetEntry */
+/* FIX: artifact of spoofing headerGetEntry */
fi->dnl[fi->dil[i]] = d;
-/*@=dependenttrans@*/
d = stpcpy(d, flp->diskURL);
/* Make room for the dirName NUL, find start of baseName. */
d += 2; /* skip both dirname and basename NUL's */
/* Create archive path, normally adding "./" */
- /*@-dependenttrans@*/ /* FIX: xstrdup? nah ... */
fi->apath[i] = a;
- /*@=dependenttrans@*/
if (_addDotSlash)
a = stpcpy(a, "./");
a = stpcpy(a, (flp->fileURL + skipLen));
fi->fmapflags[i] |= CPIO_FOLLOW_SYMLINKS;
}
- /*@-branchstate -compdef@*/
if (fip)
*fip = fi;
else
fi = rpmfiFree(fi);
- /*@=branchstate =compdef@*/
}
}
-/*@=bounds@*/
/**
*/
-/*@-boundswrite@*/
-static /*@null@*/ FileListRec freeFileList(/*@only@*/ FileListRec fileList,
+static FileListRec freeFileList(FileListRec fileList,
int count)
- /*@*/
{
while (count--) {
fileList[count].diskURL = _free(fileList[count].diskURL);
fileList = _free(fileList);
return NULL;
}
-/*@=boundswrite@*/
/* forward ref */
-static int recurseDir(FileList fl, const char * diskURL)
- /*@globals check_fileList, rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies *fl, fl->processingFailed,
- fl->fileList, fl->fileListRecsAlloced, fl->fileListRecsUsed,
- fl->totalFileSize, fl->fileCount, fl->inFtw, fl->isDir,
- check_fileList, rpmGlobalMacroContext,
- fileSystem, internalState @*/;
+static int recurseDir(FileList fl, const char * diskURL);
/**
* Add a file to the package manifest.
* @param statp file stat (possibly NULL)
* @return 0 on success
*/
-/*@-boundswrite@*/
static int addFile(FileList fl, const char * diskURL,
- /*@null@*/ struct stat * statp)
- /*@globals check_fileList, rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies *statp, *fl, fl->processingFailed,
- fl->fileList, fl->fileListRecsAlloced, fl->fileListRecsUsed,
- fl->totalFileSize, fl->fileCount,
- check_fileList, rpmGlobalMacroContext,
- fileSystem, internalState @*/
+ struct stat * statp)
{
const char *fileURL = diskURL;
struct stat statbuf;
}
/* XXX make sure '/' can be packaged also */
- /*@-branchstate@*/
if (*fileURL == '\0')
fileURL = "/";
- /*@=branchstate@*/
/* If we are using a prefix, validate the file */
if (!fl->inFtw && fl->prefix) {
}
if ((! fl->isDir) && S_ISDIR(statp->st_mode)) {
-/*@-nullstate@*/ /* FIX: fl->buildRootURL may be NULL */
+/* FIX: fl->buildRootURL may be NULL */
return recurseDir(fl, diskURL);
-/*@=nullstate@*/
}
fileMode = statp->st_mode;
return 0;
}
-/*@=boundswrite@*/
/**
* Add directory (and all of its files) to the package manifest.
case FTS_SLNONE: /* symbolic link without target */
case FTS_DEFAULT: /* none of the above */
rc = addFile(fl, fts->fts_accpath, fts->fts_statp);
- /*@switchbreak@*/ break;
+ break;
case FTS_DOT: /* dot or dot-dot */
case FTS_DP: /* postorder directory */
rc = 0;
- /*@switchbreak@*/ break;
+ break;
case FTS_NS: /* stat(2) failed */
case FTS_DNR: /* unreadable directory */
case FTS_ERR: /* error; errno is set */
case FTS_W: /* whiteout object */
default:
rc = RPMERR_BADSPEC;
- /*@switchbreak@*/ break;
+ break;
}
if (rc)
break;
*/
static int processMetadataFile(Package pkg, FileList fl, const char * fileURL,
rpmTag tag)
- /*@globals check_fileList, rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies pkg->header, *fl, fl->processingFailed,
- fl->fileList, fl->fileListRecsAlloced, fl->fileListRecsUsed,
- fl->totalFileSize, fl->fileCount,
- check_fileList, rpmGlobalMacroContext,
- fileSystem, internalState @*/
{
const char * buildURL = "%{_builddir}/%{?buildsubdir}/";
const char * fn = NULL;
} else
fn = rpmGenPath(buildURL, NULL, fn);
-/*@-branchstate@*/
switch (tag) {
default:
rpmError(RPMERR_BADSPEC, _("%s: can't load unknown tag (%d).\n"),
fn, tag);
goto exit;
- /*@notreached@*/ break;
+ break;
case RPMTAG_PUBKEYS:
if ((rc = pgpReadPkts(fn, (const byte **)&pkt, (size_t *)&pktlen)) <= 0) {
rpmError(RPMERR_BADSPEC, _("%s: public key read failed.\n"), fn);
pkt = NULL;
break;
}
-/*@=branchstate@*/
xx = headerAddOrAppendEntry(pkg->header, tag,
RPM_STRING_ARRAY_TYPE, &apkt, 1);
* @param fileURL
* @return 0 on success
*/
-static int processBinaryFile(/*@unused@*/ Package pkg, FileList fl,
+static int processBinaryFile(Package pkg, FileList fl,
const char * fileURL)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies *fl, fl->processingFailed,
- fl->fileList, fl->fileListRecsAlloced, fl->fileListRecsUsed,
- fl->totalFileSize, fl->fileCount,
- rpmGlobalMacroContext, fileSystem, internalState @*/
{
int quote = 1; /* XXX permit quoted glob characters. */
int doGlob;
goto exit;
}
- /*@-branchstate@*/
rc = rpmGlob(diskURL, &argc, &argv);
if (rc == 0 && argc >= 1 && !Glob_pattern_p(argv[0], quote)) {
for (i = 0; i < argc; i++) {
rc = addFile(fl, argv[i], NULL);
-/*@-boundswrite@*/
argv[i] = _free(argv[i]);
-/*@=boundswrite@*/
}
argv = _free(argv);
} else {
rc = 1;
goto exit;
}
- /*@=branchstate@*/
} else {
rc = addFile(fl, diskURL, NULL);
}
/**
*/
-/*@-boundswrite@*/
static int processPackageFiles(Spec spec, Package pkg,
int installSpecialDoc, int test)
- /*@globals rpmGlobalMacroContext, h_errno,
- fileSystem, internalState@*/
- /*@modifies spec->macros,
- pkg->cpioList, pkg->fileList, pkg->specialDoc, pkg->header,
- rpmGlobalMacroContext, fileSystem, internalState @*/
{
HGE_t hge = (HGE_t)headerGetEntryMinMemory;
struct FileList_s fl;
}
ffn = _free(ffn);
- /*@+voidabstract@*/ f = fdGetFp(fd); /*@=voidabstract@*/
+ f = fdGetFp(fd);
if (f != NULL)
while (fgets(buf, sizeof(buf), f)) {
handleComments(buf);
if (*s == '\0')
continue;
fileName = NULL;
- /*@-nullpass@*/ /* LCL: buf is NULL ?!? */
strcpy(buf, s);
- /*@=nullpass@*/
/* Reset for a new line in %files */
fl.isDir = 0;
if (fl.currentLangs) {
int i;
for (i = 0; i < fl.nLangs; i++)
- /*@-unqualifiedtrans@*/
fl.currentLangs[i] = _free(fl.currentLangs[i]);
- /*@=unqualifiedtrans@*/
fl.currentLangs = _free(fl.currentLangs);
}
fl.nLangs = 0;
dupAttrRec(&fl.def_ar, &fl.cur_ar);
- /*@-nullpass@*/ /* LCL: buf is NULL ?!? */
if (parseForVerify(buf, &fl))
continue;
if (parseForAttr(buf, &fl))
continue;
if (parseForLang(buf, &fl))
continue;
- /*@-nullstate@*/ /* FIX: pkg->fileFile might be NULL */
if (parseForSimple(spec, pkg, buf, &fl, &fileName))
- /*@=nullstate@*/
continue;
- /*@=nullpass@*/
if (fileName == NULL)
continue;
- /*@-branchstate@*/
if (fl.isSpecialDoc) {
/* Save this stuff for last */
specialDoc = _free(specialDoc);
specialDoc = xstrdup(fileName);
dupAttrRec(&fl.cur_ar, specialDocAttrRec);
} else if (fl.currentFlags & RPMFILE_PUBKEY) {
-/*@-nullstate@*/ /* FIX: pkg->fileFile might be NULL */
(void) processMetadataFile(pkg, &fl, fileName, RPMTAG_PUBKEYS);
-/*@=nullstate@*/
} else if (fl.currentFlags & RPMFILE_POLICY) {
-/*@-nullstate@*/ /* FIX: pkg->fileFile might be NULL */
(void) processMetadataFile(pkg, &fl, fileName, RPMTAG_POLICIES);
-/*@=nullstate@*/
} else {
-/*@-nullstate@*/ /* FIX: pkg->fileFile might be NULL */
(void) processBinaryFile(pkg, &fl, fileName);
-/*@=nullstate@*/
}
- /*@=branchstate@*/
}
/* Now process special doc, if there is one */
if (fl.currentLangs) {
int i;
for (i = 0; i < fl.nLangs; i++)
- /*@-unqualifiedtrans@*/
fl.currentLangs[i] = _free(fl.currentLangs[i]);
- /*@=unqualifiedtrans@*/
fl.currentLangs = _free(fl.currentLangs);
}
fl.nLangs = 0;
dupAttrRec(specialDocAttrRec, &fl.cur_ar);
freeAttrRec(specialDocAttrRec);
- /*@-nullstate@*/ /* FIX: pkg->fileFile might be NULL */
(void) processBinaryFile(pkg, &fl, specialDoc);
- /*@=nullstate@*/
specialDoc = _free(specialDoc);
}
if (fl.currentLangs) {
int i;
for (i = 0; i < fl.nLangs; i++)
- /*@-unqualifiedtrans@*/
fl.currentLangs[i] = _free(fl.currentLangs[i]);
- /*@=unqualifiedtrans@*/
fl.currentLangs = _free(fl.currentLangs);
}
fl.docDirs[fl.docDirCount] = _free(fl.docDirs[fl.docDirCount]);
return fl.processingFailed;
}
-/*@=boundswrite@*/
void initSourceHeader(Spec spec)
{
spec->sourceHeader = headerNew();
/* Only specific tags are added to the source package header */
- /*@-branchstate@*/
for (hi = headerInitIterator(spec->packages->header);
headerNextIterator(hi, &tag, &type, &ptr, &count);
ptr = headerFreeData(ptr, type))
case HEADER_I18NTABLE:
if (ptr)
(void)headerAddEntry(spec->sourceHeader, tag, type, ptr, count);
- /*@switchbreak@*/ break;
+ break;
default:
/* do not copy */
- /*@switchbreak@*/ break;
+ break;
}
}
hi = headerFreeIterator(hi);
- /*@=branchstate@*/
/* Add the build restrictions */
- /*@-branchstate@*/
for (hi = headerInitIterator(spec->buildRestrictions);
headerNextIterator(hi, &tag, &type, &ptr, &count);
ptr = headerFreeData(ptr, type))
(void) headerAddEntry(spec->sourceHeader, tag, type, ptr, count);
}
hi = headerFreeIterator(hi);
- /*@=branchstate@*/
if (spec->BANames && spec->BACount > 0) {
(void) headerAddEntry(spec->sourceHeader, RPMTAG_BUILDARCHS,
* @return -1 if skipped, 0 on OK, 1 on error
*/
static int checkFiles(StringBuf fileList)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies rpmGlobalMacroContext, fileSystem, internalState @*/
{
-/*@-readonlytrans@*/
static const char * av_ckfile[] = { "%{?__check_files}", NULL };
-/*@=readonlytrans@*/
StringBuf sb_stdout = NULL;
const char * s;
int rc;
rpmMessage(RPMMESS_NORMAL, _("Checking for unpackaged file(s): %s\n"), s);
-/*@-boundswrite@*/
rc = rpmfcExec(av_ckfile, fileList, &sb_stdout, 0);
-/*@=boundswrite@*/
if (rc < 0)
goto exit;
return rc;
}
-/*@-incondefs@*/
int processBinaryFiles(Spec spec, int installSpecialDoc, int test)
- /*@globals check_fileList @*/
- /*@modifies check_fileList @*/
{
Package pkg;
int res = 0;
return res;
}
-/*@=incondefs@*/
#include "rpmbuild.h"
#include "debug.h"
-/*@-boundswrite@*/
int parseNum(const char * line, int * res)
{
char * s1 = NULL;
if (res) *res = rc;
return (((*s1) || (s1 == line) || (rc == ULONG_MAX)) ? 1 : 0);
}
-/*@=boundswrite@*/
-/*@-mods@*/
/** \ingroup rpmbuild
* \file build/names.c
* Simple user/group name/id cache (plus hostname and buildtime)
#include "rpmbuild.h"
#include "debug.h"
-typedef /*@owned@*/ /*@null@*/ const char * ugstr_t;
+typedef const char * ugstr_t;
-/*@unchecked@*/
static uid_t uids[1024];
-/*@unchecked@*/
static ugstr_t unames[1024];
-/*@unchecked@*/
static int uid_used = 0;
-/*@unchecked@*/
static gid_t gids[1024];
-/*@unchecked@*/
static ugstr_t gnames[1024];
-/*@unchecked@*/
static int gid_used = 0;
-/*@-boundswrite@*/
void freeNames(void)
{
int x;
for (x = 0; x < gid_used; x++)
gnames[x] = _free(gnames[x]);
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
const char *getUname(uid_t uid)
- /*@globals uid_used, uids, unames @*/
- /*@modifies uid_used, uids, unames @*/
{
struct passwd *pw;
int x;
unames[uid_used] = xstrdup(pw->pw_name);
return unames[uid_used++];
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
const char *getUnameS(const char *uname)
- /*@globals uid_used, uids, unames @*/
- /*@modifies uid_used, uids, unames @*/
{
struct passwd *pw;
int x;
}
return unames[uid_used++];
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
uid_t getUidS(const char *uname)
- /*@globals uid_used, uids, unames @*/
- /*@modifies uid_used, uids, unames @*/
{
struct passwd *pw;
int x;
}
return uids[uid_used++];
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
const char *getGname(gid_t gid)
- /*@globals gid_used, gids, gnames @*/
- /*@modifies gid_used, gids, gnames @*/
{
struct group *gr;
int x;
gnames[gid_used] = xstrdup(gr->gr_name);
return gnames[gid_used++];
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
const char *getGnameS(const char *gname)
- /*@globals gid_used, gids, gnames @*/
- /*@modifies gid_used, gids, gnames @*/
{
struct group *gr;
int x;
}
return gnames[gid_used++];
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
gid_t getGidS(const char *gname)
- /*@globals gid_used, gids, gnames @*/
- /*@modifies gid_used, gids, gnames @*/
{
struct group *gr;
int x;
}
return gids[gid_used++];
}
-/*@=boundswrite@*/
int_32 * getBuildTime(void)
{
static int_32 buildTime[1];
-/*@-boundsread@*/
if (buildTime[0] == 0)
buildTime[0] = (int_32) time(NULL);
-/*@=boundsread@*/
return buildTime;
}
-/*@-boundswrite@*/
const char * buildHost(void)
{
static char hostname[1024];
if (! oneshot) {
(void) gethostname(hostname, sizeof(hostname));
- /*@-unrecog -multithreaded @*/
- /*@-globs@*/ /* FIX: h_errno access */
hbn = gethostbyname(hostname);
- /*@=globs@*/
- /*@=unrecog =multithreaded @*/
if (hbn)
strcpy(hostname, hbn->h_name);
else
}
return(hostname);
}
-/*@=boundswrite@*/
-/*@=mods@*/
#include "rpmlead.h"
#include "debug.h"
-/*@access rpmts @*/
-/*@access rpmfi @*/ /* compared with NULL */
-/*@access Header @*/ /* compared with NULL */
-/*@access FD_t @*/ /* compared with NULL */
-/*@access StringBuf @*/ /* compared with NULL */
-/*@access CSA_t @*/
-
/**
*/
static inline int genSourceRpmName(Spec spec)
- /*@modifies spec->sourceRpmName @*/
{
if (spec->sourceRpmName == NULL) {
const char *name, *version, *release;
/**
* @todo Create transaction set *much* earlier.
*/
-static int cpio_doio(FD_t fdo, /*@unused@*/ Header h, CSA_t csa,
+static int cpio_doio(FD_t fdo, Header h, CSA_t csa,
const char * fmodeMacro)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies fdo, csa, rpmGlobalMacroContext,
- fileSystem, internalState @*/
{
rpmts ts = rpmtsCreate();
rpmfi fi = csa->cpioList;
FD_t cfd;
int rc, ec;
-/*@-boundsread@*/
{ const char *fmode = rpmExpand(fmodeMacro, NULL);
if (!(fmode && fmode[0] == 'w'))
fmode = xstrdup("w9.gzdio");
- /*@-nullpass@*/
(void) Fflush(fdo);
cfd = Fdopen(fdDup(Fileno(fdo)), fmode);
- /*@=nullpass@*/
fmode = _free(fmode);
}
-/*@=boundsread@*/
if (cfd == NULL)
return 1;
/**
*/
static int cpio_copy(FD_t fdo, CSA_t csa)
- /*@globals fileSystem, internalState @*/
- /*@modifies fdo, csa, fileSystem, internalState @*/
{
char buf[BUFSIZ];
size_t nb;
/**
*/
-static /*@only@*/ /*@null@*/ StringBuf addFileToTagAux(Spec spec,
- const char * file, /*@only@*/ StringBuf sb)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies rpmGlobalMacroContext, fileSystem, internalState @*/
+static StringBuf addFileToTagAux(Spec spec,
+ const char * file, StringBuf sb)
{
char buf[BUFSIZ];
const char * fn = buf;
sb = freeStringBuf(sb);
return NULL;
}
- /*@-type@*/ /* FIX: cast? */
+ /* FIX: cast? */
if ((f = fdGetFp(fd)) != NULL)
- /*@=type@*/
while (fgets(buf, sizeof(buf), f)) {
/* XXX display fn in error msg */
if (expandMacros(spec, spec->macros, buf, sizeof(buf))) {
/**
*/
static int addFileToTag(Spec spec, const char * file, Header h, int tag)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies h, rpmGlobalMacroContext, fileSystem, internalState @*/
{
HGE_t hge = (HGE_t)headerGetEntryMinMemory;
StringBuf sb = newStringBuf();
/**
*/
static int addFileToArrayTag(Spec spec, const char *file, Header h, int tag)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies h, rpmGlobalMacroContext, fileSystem, internalState @*/
{
StringBuf sb = newStringBuf();
char *s;
/**
*/
static int processScriptFiles(Spec spec, Package pkg)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies pkg->header, rpmGlobalMacroContext,
- fileSystem, internalState @*/
{
struct TriggerFileEntry *p;
return 0;
}
-/*@-boundswrite@*/
int readRPM(const char *fileName, Spec *specp, struct rpmlead *lead,
Header *sigs, CSA_t csa)
{
}
/* Get copy of lead */
- /*@-sizeoftype@*/
if ((rc = Fread(lead, sizeof(char), sizeof(*lead), fdi)) != sizeof(*lead)) {
rpmError(RPMERR_BADMAGIC, _("readRPM: read %s: %s\n"),
(fileName ? fileName : "<stdin>"),
Fstrerror(fdi));
return RPMERR_BADMAGIC;
}
- /*@=sizeoftype@*/
/* XXX FIXME: EPIPE on <stdin> */
if (Fseek(fdi, 0, SEEK_SET) == -1) {
{ rpmts ts = rpmtsCreate();
/* XXX W2DO? pass fileName? */
- /*@-mustmod@*/ /* LCL: segfault */
+ /* LCL: segfault */
rc = rpmReadPackageFile(ts, fdi, "readRPM",
&spec->packages->header);
- /*@=mustmod@*/
ts = rpmtsFree(ts);
rpmError(RPMERR_BADMAGIC, _("readRPM: reading header from %s\n"),
(fileName ? fileName : "<stdin>"));
return RPMERR_BADMAGIC;
- /*@notreached@*/ break;
+ break;
}
- /*@-branchstate@*/
if (specp)
*specp = spec;
else
spec = freeSpec(spec);
- /*@=branchstate@*/
if (csa != NULL)
csa->cpioFdIn = fdi;
return 0;
}
-/*@=boundswrite@*/
#ifdef DYING
-/*@unchecked@*/
static unsigned char header_magic[8] = {
0x8e, 0xad, 0xe8, 0x01, 0x00, 0x00, 0x00, 0x00
};
#define RPMPKGVERSION_MIN 30004
#define RPMPKGVERSION_MAX 40003
-/*@unchecked@*/
static int rpmpkg_version = -1;
static int rpmLeadVersion(void)
- /*@globals rpmpkg_version, rpmGlobalMacroContext, h_errno @*/
- /*@modifies rpmpkg_version, rpmGlobalMacroContext @*/
{
int rpmlead_version;
return rpmlead_version;
}
-/*@-boundswrite@*/
int writeRPM(Header *hdrp, unsigned char ** pkgidp, const char *fileName,
int type, CSA_t csa, char *passPhrase, const char **cookie)
{
providePackageNVR(h);
/* Save payload information */
- /*@-branchstate@*/
switch(type) {
case RPMLEAD_SOURCE:
rpmio_flags = rpmExpand("%{?_source_payload}", NULL);
rpmio_flags = rpmExpand("%{?_binary_payload}", NULL);
break;
}
- /*@=branchstate@*/
if (!(rpmio_flags && *rpmio_flags)) {
rpmio_flags = _free(rpmio_flags);
rpmio_flags = xstrdup("w9.gzdio");
return rc;
}
-/*@=boundswrite@*/
-/*@unchecked@*/
static int_32 copyTags[] = {
RPMTAG_CHANGELOGTIME,
RPMTAG_CHANGELOGNAME,
0
};
-/*@-boundswrite@*/
int packageBinaries(Spec spec)
{
struct cpioSourceArchive_s csabuf;
switch(errno) {
case ENOENT:
if (Mkdir(dn, 0755) == 0)
- /*@switchbreak@*/ break;
- /*@fallthrough@*/
+ break;
default:
rpmError(RPMERR_BADFILENAME,_("cannot create %s: %s\n"),
dn, strerror(errno));
- /*@switchbreak@*/ break;
+ break;
}
}
dn = _free(dn);
memset(csa, 0, sizeof(*csa));
csa->cpioArchiveSize = 0;
- /*@-type@*/ /* LCL: function typedefs */
+ /* LCL: function typedefs */
csa->cpioFdIn = fdNew("init (packageBinaries)");
- /*@-assignexpose -newreftrans@*/
csa->cpioList = rpmfiLink(pkg->cpioList, "packageBinaries");
- /*@=assignexpose =newreftrans@*/
rc = writeRPM(&pkg->header, NULL, fn, RPMLEAD_BINARY,
csa, spec->passPhrase, NULL);
csa->cpioList = rpmfiFree(csa->cpioList);
csa->cpioFdIn = fdFree(csa->cpioFdIn, "init (packageBinaries)");
- /*@=type@*/
fn = _free(fn);
if (rc)
return rc;
return 0;
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
int packageSources(Spec spec)
{
struct cpioSourceArchive_s csabuf;
memset(csa, 0, sizeof(*csa));
csa->cpioArchiveSize = 0;
- /*@-type@*/ /* LCL: function typedefs */
+ /* LCL: function typedefs */
csa->cpioFdIn = fdNew("init (packageSources)");
- /*@-assignexpose -newreftrans@*/
csa->cpioList = rpmfiLink(spec->sourceCpioList, "packageSources");
- /*@=assignexpose =newreftrans@*/
spec->sourcePkgId = NULL;
rc = writeRPM(&spec->sourceHeader, &spec->sourcePkgId, fn, RPMLEAD_SOURCE,
csa->cpioList = rpmfiFree(csa->cpioList);
csa->cpioFdIn = fdFree(csa->cpioFdIn, "init (packageSources)");
- /*@=type@*/
fn = _free(fn);
}
return rc;
}
-/*@=boundswrite@*/
#include "rpmbuild.h"
#include "debug.h"
-/*@access StringBuf @*/
-/*@-boundswrite@*/
int parseBuildInstallClean(Spec spec, rpmParseState parsePart)
{
int nextPart, rc;
StringBuf *sbp = NULL;
const char *name = NULL;
- /*@-branchstate@*/
if (parsePart == PART_BUILD) {
sbp = &(spec->build);
name = "%build";
sbp = &(spec->clean);
name = "%clean";
}
- /*@=branchstate@*/
if (*sbp != NULL) {
rpmError(RPMERR_BADSPEC, _("line %d: second %s\n"),
return nextPart;
}
-/*@=boundswrite@*/
* @retval secs secs since the unix epoch
* @return 0 on success, -1 on error
*/
-/*@-boundswrite@*/
-static int dateToTimet(const char * datestr, /*@out@*/ time_t * secs)
- /*@modifies *secs @*/
+static int dateToTimet(const char * datestr, time_t * secs)
{
struct tm time;
char * p, * pe, * q, ** idx;
char * date = strcpy(alloca(strlen(datestr) + 1), datestr);
-/*@observer@*/ static char * days[] =
+static char * days[] =
{ "Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat", NULL };
-/*@observer@*/ static char * months[] =
+static char * months[] =
{ "Jan", "Feb", "Mar", "Apr", "May", "Jun",
"Jul", "Aug", "Sep", "Oct", "Nov", "Dec", NULL };
-/*@observer@*/ static char lengths[] =
+static char lengths[] =
{ 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
memset(&time, 0, sizeof(time));
return 0;
}
-/*@=boundswrite@*/
/**
* Add %changelog section to header.
* @param sb changelog strings
* @return 0 on success
*/
-/*@-boundswrite@*/
static int addChangelog(Header h, StringBuf sb)
- /*@modifies h @*/
{
char *s;
int i;
rpmError(RPMERR_BADSPEC, _("incomplete %%changelog entry\n"));
return RPMERR_BADSPEC;
}
- /*@-modobserver@*/
*s = '\0';
- /*@=modobserver@*/
text = s + 1;
/* 4 fields of date */
return 0;
}
-/*@=boundswrite@*/
int parseChangelog(Spec spec)
{
#include "rpmbuild.h"
#include "debug.h"
-/*@-exportheadervar@*/
-/*@unchecked@*/
extern int noLang;
-/*@=exportheadervar@*/
/* These have to be global scope to make up for *stupid* compilers */
-/*@unchecked@*/
- /*@observer@*/ /*@null@*/ static const char *name = NULL;
-/*@unchecked@*/
- /*@observer@*/ /*@null@*/ static const char *lang = NULL;
+ static const char *name = NULL;
+ static const char *lang = NULL;
-/*@unchecked@*/
static struct poptOption optionsTable[] = {
{ NULL, 'n', POPT_ARG_STRING, &name, 'n', NULL, NULL},
{ NULL, 'l', POPT_ARG_STRING, &lang, 'l', NULL, NULL},
};
int parseDescription(Spec spec)
- /*@globals name, lang @*/
- /*@modifies name, lang @*/
{
int nextPart = RPMERR_BADSPEC; /* assume error */
StringBuf sb;
#include "rpmbuild.h"
#include "debug.h"
-/*@access StringBuf @*/ /* compared with NULL */
-/*@access poptContext @*/ /* compared with NULL */
-
/* These have to be global scope to make up for *stupid* compilers */
-/*@unchecked@*/
- /*@observer@*/ /*@null@*/ static const char *name = NULL;
-/*@unchecked@*/
- /*@observer@*/ /*@null@*/ static const char *file = NULL;
-/*@unchecked@*/
+ static const char *name = NULL;
+ static const char *file = NULL;
static struct poptOption optionsTable[] = {
{ NULL, 'n', POPT_ARG_STRING, &name, 'n', NULL, NULL},
{ NULL, 'f', POPT_ARG_STRING, &file, 'f', NULL, NULL},
int flag = PART_SUBNAME;
poptContext optCon = NULL;
- /*@-mods@*/
name = NULL;
file = NULL;
- /*@=mods@*/
if ((rc = poptParseArgvString(spec->line, &argc, &argv))) {
rpmError(RPMERR_BADSPEC, _("line %d: Error parsing %%files: %s\n"),
}
if (poptPeekArg(optCon)) {
- /*@-mods@*/
if (name == NULL)
name = poptGetArg(optCon);
- /*@=mods@*/
if (poptPeekArg(optCon)) {
rpmError(RPMERR_BADSPEC, _("line %d: Too many names: %s\n"),
spec->lineNum,
#include <rpmbuild.h>
#include "debug.h"
-/*@access FD_t @*/ /* compared with NULL */
-
/**
*/
-/*@observer@*/ /*@unchecked@*/
static rpmTag copyTagsDuringParse[] = {
RPMTAG_EPOCH,
RPMTAG_VERSION,
/**
*/
-/*@observer@*/ /*@unchecked@*/
static rpmTag requiredTags[] = {
RPMTAG_NAME,
RPMTAG_VERSION,
/**
*/
static void addOrAppendListEntry(Header h, int_32 tag, char * line)
- /*@modifies h @*/
{
int xx;
int argc;
/**
*/
-/*@-boundswrite@*/
-static int parseSimplePart(char *line, /*@out@*/char **name, /*@out@*/int *flag)
- /*@globals internalState@*/
- /*@modifies *name, *flag, internalState @*/
+static int parseSimplePart(char *line,char **name,int *flag)
{
char *tok;
char linebuf[BUFSIZ];
return (strtok(NULL, " \t\n")) ? 1 : 0;
}
-/*@=boundswrite@*/
/**
*/
static inline int parseYesNo(const char * s)
- /*@*/
{
return ((!s || (s[0] == 'n' || s[0] == 'N' || s[0] == '0') ||
!xstrcasecmp(s, "false") || !xstrcasecmp(s, "off"))
}
typedef struct tokenBits_s {
-/*@observer@*/ /*@null@*/
const char * name;
rpmsenseFlags bits;
} * tokenBits;
/**
*/
-/*@observer@*/ /*@unchecked@*/
static struct tokenBits_s installScriptBits[] = {
{ "interp", RPMSENSE_INTERP },
{ "prereq", RPMSENSE_PREREQ },
/**
*/
-/*@observer@*/ /*@unchecked@*/
static struct tokenBits_s buildScriptBits[] = {
{ "prep", RPMSENSE_SCRIPT_PREP },
{ "build", RPMSENSE_SCRIPT_BUILD },
/**
*/
-/*@-boundswrite@*/
static int parseBits(const char * s, const tokenBits tokbits,
- /*@out@*/ rpmsenseFlags * bp)
- /*@modifies *bp @*/
+ rpmsenseFlags * bp)
{
tokenBits tb;
const char * se;
for (tb = tokbits; tb->name; tb++) {
if (tb->name != NULL &&
strlen(tb->name) == (se-s) && !strncmp(tb->name, s, (se-s)))
- /*@innerbreak@*/ break;
+ break;
}
if (tb->name == NULL)
break;
if (c == 0 && bp) *bp = bits;
return (c ? RPMERR_BADSPEC : 0);
}
-/*@=boundswrite@*/
/**
*/
static inline char * findLastChar(char * s)
- /*@*/
{
char *res = s;
-/*@-boundsread@*/
while (*s != '\0') {
if (! xisspace(*s))
res = s;
s++;
}
-/*@=boundsread@*/
- /*@-temptrans -retalias@*/
return res;
- /*@=temptrans =retalias@*/
}
/**
*/
static int isMemberInEntry(Header h, const char *name, rpmTag tag)
- /*@*/
{
HGE_t hge = (HGE_t)headerGetEntryMinMemory;
HFD_t hfd = headerFreeData;
if (!hge(h, tag, &type, (void **)&names, &count))
return -1;
-/*@-boundsread@*/
while (count--) {
if (!xstrcasecmp(names[count], name))
break;
}
names = hfd(names, type);
-/*@=boundsread@*/
return (count >= 0 ? 1 : 0);
}
/**
*/
static int checkForValidArchitectures(Spec spec)
- /*@*/
{
#ifndef DYING
const char *arch = NULL;
* @return 0 if OK
*/
static int checkForRequired(Header h, const char * NVR)
- /*@modifies h @*/ /* LCL: parse error here with modifies */
+ /* LCL: parse error here with modifies */
{
int res = 0;
rpmTag * p;
-/*@-boundsread@*/
for (p = requiredTags; *p != 0; p++) {
if (!headerIsEntry(h, *p)) {
rpmError(RPMERR_BADSPEC,
res = 1;
}
}
-/*@=boundsread@*/
return res;
}
* @return 0 if OK
*/
static int checkForDuplicates(Header h, const char * NVR)
- /*@modifies h @*/
{
int res = 0;
int lastTag, tag;
/**
*/
-/*@observer@*/ /*@unchecked@*/
static struct optionalTag {
rpmTag ot_tag;
-/*@observer@*/ /*@null@*/
const char * ot_mac;
} optionalTags[] = {
{ RPMTAG_VENDOR, "%{vendor}" },
/**
*/
static void fillOutMainPackage(Header h)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies h, rpmGlobalMacroContext @*/
{
struct optionalTag *ot;
for (ot = optionalTags; ot->ot_mac != NULL; ot++) {
if (!headerIsEntry(h, ot->ot_tag)) {
-/*@-boundsread@*/
const char *val = rpmExpand(ot->ot_mac, NULL);
if (val && *val != '%')
(void) headerAddEntry(h, ot->ot_tag, RPM_STRING_TYPE, (void *)val, 1);
val = _free(val);
-/*@=boundsread@*/
}
}
}
/**
*/
-/*@-boundswrite@*/
static int readIcon(Header h, const char * file)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies h, rpmGlobalMacroContext, fileSystem, internalState @*/
{
const char *fn = NULL;
char *icon;
fn = _free(fn);
return rc;
}
-/*@=boundswrite@*/
spectag stashSt(Spec spec, Header h, int tag, const char * lang)
{
}
}
}
- /*@-usereleased -compdef@*/
return t;
- /*@=usereleased =compdef@*/
}
#define SINGLE_TOKEN_ONLY \
return RPMERR_BADSPEC; \
}
-/*@-redecl@*/
extern int noLang;
-/*@=redecl@*/
/**
*/
-/*@-boundswrite@*/
static int handlePreambleTag(Spec spec, Package pkg, rpmTag tag,
const char *macro, const char *lang)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->macros, spec->st, spec->buildRootURL,
- spec->sources, spec->numSources, spec->noSource,
- spec->buildRestrictions, spec->BANames, spec->BACount,
- spec->line, spec->gotBuildRootURL,
- pkg->header, pkg->autoProv, pkg->autoReq, pkg->icon,
- rpmGlobalMacroContext, fileSystem, internalState @*/
{
HGE_t hge = (HGE_t)headerGetEntryMinMemory;
HFD_t hfd = headerFreeData;
case RPMTAG_GROUP:
case RPMTAG_SUMMARY:
(void) stashSt(spec, pkg->header, tag, lang);
- /*@fallthrough@*/
case RPMTAG_DISTRIBUTION:
case RPMTAG_VENDOR:
case RPMTAG_LICENSE:
buildRootURL = _free(buildRootURL);
(void) urlPath(specURL, (const char **)&field);
- /*@-branchstate@*/
if (*field == '\0') field = "/";
- /*@=branchstate@*/
buildRootURL = rpmGenPath(spec->rootURL, field, NULL);
spec->buildRootURL = buildRootURL;
field = (char *) buildRootURL;
}
buildRootURL = rpmGenPath(NULL, spec->buildRootURL, NULL);
(void) urlPath(buildRootURL, &buildRoot);
- /*@-branchstate@*/
if (*buildRoot == '\0') buildRoot = "/";
- /*@=branchstate@*/
if (!strcmp(buildRoot, "/")) {
rpmError(RPMERR_BADSPEC,
_("BuildRoot can not be \"/\": %s\n"), spec->buildRootURL);
return 0;
}
-/*@=boundswrite@*/
/* This table has to be in a peculiar order. If one tag is the */
/* same as another, plus a few letters, it must come first. */
int len;
int multiLang;
int obsolete;
-/*@observer@*/ /*@null@*/
const char * token;
} * PreambleRec;
-/*@unchecked@*/
static struct PreambleRec_s preambleList[] = {
{RPMTAG_NAME, 0, 0, 0, "name"},
{RPMTAG_VERSION, 0, 0, 0, "version"},
{RPMTAG_DISTTAG, 0, 0, 0, "disttag"},
{RPMTAG_CVSID, 0, 0, 0, "cvsid"},
{RPMTAG_SVNID, 0, 0, 0, "svnid"},
- /*@-nullassign@*/ /* LCL: can't add null annotation */
+ /* LCL: can't add null annotation */
{0, 0, 0, 0, 0}
- /*@=nullassign@*/
};
/**
*/
static inline void initPreambleList(void)
- /*@globals preambleList @*/
- /*@modifies preambleList @*/
{
PreambleRec p;
for (p = preambleList; p->token != NULL; p++)
/**
*/
-/*@-boundswrite@*/
-static int findPreambleTag(Spec spec, /*@out@*/rpmTag * tag,
- /*@null@*/ /*@out@*/ const char ** macro, /*@out@*/ char * lang)
- /*@modifies *tag, *macro, *lang @*/
+static int findPreambleTag(Spec spec,rpmTag * tag,
+ const char ** macro, char * lang)
{
PreambleRec p;
char *s;
*tag = p->tag;
if (macro)
- /*@-onlytrans -observertrans -dependenttrans@*/ /* FIX: double indirection. */
*macro = p->token;
- /*@=onlytrans =observertrans =dependenttrans@*/
return 0;
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
int parsePreamble(Spec spec, int initialPackage)
{
int nextPart;
return nextPart;
}
-/*@=boundswrite@*/
#include <rpmbuild.h>
#include "debug.h"
-/*@access StringBuf @*/ /* compared with NULL */
-
/* These have to be global to make up for stupid compilers */
-/*@unchecked@*/
static int leaveDirs, skipDefaultAction;
-/*@unchecked@*/
static int createDir, quietly;
-/*@unchecked@*/
-/*@observer@*/ /*@null@*/ static const char * dirName = NULL;
-/*@unchecked@*/
-/*@observer@*/ static struct poptOption optionsTable[] = {
+static const char * dirName = NULL;
+static struct poptOption optionsTable[] = {
{ NULL, 'a', POPT_ARG_STRING, NULL, 'a', NULL, NULL},
{ NULL, 'b', POPT_ARG_STRING, NULL, 'b', NULL, NULL},
{ NULL, 'c', 0, &createDir, 0, NULL, NULL},
* @return 0 on success
*/
static int checkOwners(const char * urlfn)
- /*@globals h_errno, fileSystem, internalState @*/
- /*@modifies fileSystem, internalState @*/
{
struct stat sb;
* @param removeEmpties include -E?
* @return expanded %patch macro (NULL on error)
*/
-/*@-boundswrite@*/
-/*@observer@*/
+
static char *doPatch(Spec spec, int c, int strip, const char *db,
int reverse, int removeEmpties, int fuzz)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies rpmGlobalMacroContext, fileSystem, internalState @*/
{
const char *fn, *urlfn;
static char buf[BUFSIZ];
case URL_IS_DASH:
urlfn = _free(urlfn);
return NULL;
- /*@notreached@*/ break;
+ break;
}
if (compressed) {
"if [ $STATUS -ne 0 ]; then\n"
" exit $STATUS\n"
"fi",
- c, /*@-unrecog@*/ (const char *) basename(fn), /*@=unrecog@*/
+ c, (const char *) basename(fn),
zipper,
fn, strip, args);
zipper = _free(zipper);
urlfn = _free(urlfn);
return buf;
}
-/*@=boundswrite@*/
/**
* Expand %setup macro into %prep scriptlet.
* @param quietly should -vv be omitted from tar?
* @return expanded %setup macro (NULL on error)
*/
-/*@-boundswrite@*/
-/*@observer@*/ static const char *doUntar(Spec spec, int c, int quietly)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies rpmGlobalMacroContext, fileSystem, internalState @*/
+static const char *doUntar(Spec spec, int c, int quietly)
{
const char *fn, *urlfn;
static char buf[BUFSIZ];
urlfn = rpmGetPath("%{_sourcedir}/", sp->source, NULL);
- /*@-internalglobs@*/ /* FIX: shrug */
+ /* FIX: shrug */
taropts = ((rpmIsVerbose() && !quietly) ? "-xvvf" : "-xf");
- /*@=internalglobs@*/
#ifdef AUTOFETCH_NOT /* XXX don't expect this code to be enabled */
/* XXX
case URL_IS_DASH:
urlfn = _free(urlfn);
return NULL;
- /*@notreached@*/ break;
+ break;
}
if (compressed != COMPRESSED_NOT) {
urlfn = _free(urlfn);
return buf;
}
-/*@=boundswrite@*/
/**
* Parse %setup macro.
* @return 0 on success
*/
static int doSetupMacro(Spec spec, char *line)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->buildSubdir, spec->macros, spec->prep,
- rpmGlobalMacroContext, fileSystem, internalState @*/
{
char buf[BUFSIZ];
StringBuf before;
int rc;
int num;
- /*@-mods@*/
leaveDirs = skipDefaultAction = 0;
createDir = quietly = 0;
dirName = NULL;
- /*@=mods@*/
if ((rc = poptParseArgvString(line, &argc, &argv))) {
rpmError(RPMERR_BADSPEC, _("Error parsing %%setup: %s\n"),
/* XXX FIXME: owner & group fixes were conditioned on !geteuid() */
/* Fix the owner, group, and permissions of the setup build tree */
- { /*@observer@*/ static const char *fixmacs[] =
+ { static const char *fixmacs[] =
{ "%{_fixowner}", "%{_fixgroup}", "%{_fixperms}", NULL };
const char ** fm;
for (fm = fixmacs; *fm; fm++) {
const char *fix;
-/*@-boundsread@*/
fix = rpmExpand(*fm, " .", NULL);
if (fix && *fix != '%')
appendLineStringBuf(spec->prep, fix);
fix = _free(fix);
-/*@=boundsread@*/
}
}
* @param line current line from spec file
* @return 0 on success
*/
-/*@-boundswrite@*/
static int doPatchMacro(Spec spec, char *line)
- /*@globals rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies spec->prep, rpmGlobalMacroContext,
- fileSystem, internalState @*/
{
char *opt_b;
int opt_P, opt_p, opt_R, opt_E, opt_F;
strcpy(buf, line);
}
- /*@-internalglobs@*/ /* FIX: strtok has state */
+ /* FIX: strtok has state */
for (bp = buf; (s = strtok(bp, " \t\n")) != NULL;) {
if (bp) { /* remove 1st token (%patch) */
bp = NULL;
patch_index++;
}
}
- /*@=internalglobs@*/
/* All args processed */
return 0;
}
-/*@=boundswrite@*/
int parsePrep(Spec spec)
{
}
saveLines = splitString(getStringBuf(sb), strlen(getStringBuf(sb)), '\n');
- /*@-usereleased@*/
for (lines = saveLines; *lines; lines++) {
res = 0;
-/*@-boundsread@*/
if (! strncmp(*lines, "%setup", sizeof("%setup")-1)) {
res = doSetupMacro(spec, *lines);
} else if (! strncmp(*lines, "%patch", sizeof("%patch")-1)) {
} else {
appendLineStringBuf(spec->prep, *lines);
}
-/*@=boundsread@*/
if (res && !spec->force) {
freeSplitString(saveLines);
sb = freeStringBuf(sb);
return res;
}
}
- /*@=usereleased@*/
freeSplitString(saveLines);
sb = freeStringBuf(sb);
/**
*/
-/*@observer@*/ /*@unchecked@*/
static struct ReqComp {
-/*@observer@*/ /*@null@*/ const char * token;
+const char * token;
rpmsenseFlags sense;
} ReqComparisons[] = {
{ "<=", RPMSENSE_LESS | RPMSENSE_EQUAL},
break;
}
-/*@-boundsread@*/
for (r = field; *r != '\0'; r = re) {
SKIPWHITE(r);
if (*r == '\0')
struct ReqComp *rc;
for (rc = ReqComparisons; rc->token != NULL; rc++) {
if ((ve-v) != strlen(rc->token) || strncmp(v, rc->token, (ve-v)))
- /*@innercontinue@*/ continue;
+ continue;
if (r[0] == '/') {
rpmError(RPMERR_BADSPEC,
/* Add prereq on rpmlib that has versioned dependencies. */
if (!rpmExpandNumeric("%{?_noVersionedDependencies}"))
(void) rpmlibNeedsFeature(h, "VersionedDependencies", "3.0.3-1");
- /*@switchbreak@*/ break;
+ break;
default:
- /*@switchbreak@*/ break;
+ break;
}
Flags |= rc->sense;
SKIPWHITE(v);
ve = v;
SKIPNONWHITE(ve);
- /*@innerbreak@*/ break;
+ break;
}
}
- /*@-branchstate@*/
if (Flags & RPMSENSE_SENSEMASK) {
if (*v == '\0' || ve == v) {
rpmError(RPMERR_BADSPEC, _("line %d: Version required: %s\n"),
re = ve; /* ==> next token after EVR string starts here */
} else
EVR = NULL;
- /*@=branchstate@*/
(void) addReqProv(spec, h, tagN, N, EVR, Flags, index);
EVR = _free(EVR);
}
-/*@=boundsread@*/
return 0;
}
#include <rpmlua.h>
-/*@access StringBuf@*/ /* XXX compared with NULL */
-/*@access poptContext @*/ /* compared with NULL */
-
/**
*/
static int addTriggerIndex(Package pkg, const char *file,
const char *script, const char *prog)
- /*@modifies pkg->triggerFiles @*/
{
struct TriggerFileEntry *tfe;
struct TriggerFileEntry *list = pkg->triggerFiles;
}
/* these have to be global because of stupid compilers */
-/*@unchecked@*/
- /*@observer@*/ /*@null@*/ static const char *name = NULL;
-/*@unchecked@*/
- /*@observer@*/ /*@null@*/ static const char *prog = NULL;
-/*@unchecked@*/
- /*@observer@*/ /*@null@*/ static const char *file = NULL;
-/*@unchecked@*/
+ static const char *name = NULL;
+ static const char *prog = NULL;
+ static const char *file = NULL;
static struct poptOption optionsTable[] = {
{ NULL, 'p', POPT_ARG_STRING, &prog, 'p', NULL, NULL},
{ NULL, 'n', POPT_ARG_STRING, &name, 'n', NULL, NULL},
/* We then pass the remaining arguments to parseRCPOT, along with */
/* an index we just determined. */
-/*@-boundswrite@*/
int parseScript(Spec spec, int parsePart)
{
/* There are a few options to scripts: */
poptContext optCon = NULL;
reqargs[0] = '\0';
- /*@-mods@*/
name = NULL;
prog = "/bin/sh";
file = NULL;
- /*@=mods@*/
- /*@-branchstate@*/
switch (parsePart) {
case PART_PRE:
tag = RPMTAG_PREIN;
partname = "%triggerpostun";
break;
}
- /*@=branchstate@*/
if (tag == RPMTAG_TRIGGERSCRIPTS) {
/* break line into two */
rc = RPMERR_BADSPEC;
goto exit;
}
- /*@switchbreak@*/ break;
+ break;
case 'n':
flag = PART_NAME;
- /*@switchbreak@*/ break;
+ break;
}
}
}
if (poptPeekArg(optCon)) {
- /*@-mods@*/
if (name == NULL)
name = poptGetArg(optCon);
- /*@=mods@*/
if (poptPeekArg(optCon)) {
rpmError(RPMERR_BADSPEC, _("line %d: Too many names: %s\n"),
spec->lineNum,
return rc;
}
-/*@=boundswrite@*/
#include "rpmts.h"
#include "debug.h"
-/*@access FD_t @*/ /* compared with NULL */
-
/**
*/
-/*@unchecked@*/
static struct PartRec {
int part;
int len;
-/*@observer@*/ /*@null@*/
const char * token;
} partList[] = {
{ PART_PREAMBLE, 0, "%package"},
/**
*/
static inline void initParts(struct PartRec *p)
- /*@modifies p->len @*/
{
for (; p->token != NULL; p++)
p->len = strlen(p->token);
{
struct PartRec *p;
-/*@-boundsread@*/
if (partList[0].len == 0)
initParts(partList);
-/*@=boundsread@*/
for (p = partList; p->token != NULL; p++) {
char c;
if (xstrncasecmp(line, p->token, p->len))
continue;
-/*@-boundsread@*/
c = *(line + p->len);
-/*@=boundsread@*/
if (c == '\0' || xisspace(c))
break;
}
/**
*/
static int matchTok(const char *token, const char *line)
- /*@*/
{
const char *b, *be = line;
size_t toklen = strlen(token);
int rc = 0;
-/*@-boundsread@*/
while ( *(b = be) != '\0' ) {
SKIPSPACE(b);
be = b;
rc = 1;
break;
}
-/*@=boundsread@*/
return rc;
}
-/*@-boundswrite@*/
void handleComments(char *s)
{
SKIPSPACE(s);
if (*s == '#')
*s = '\0';
}
-/*@=boundswrite@*/
/**
*/
static void forceIncludeFile(Spec spec, const char * fileName)
- /*@modifies spec->fileStack @*/
{
OFI_t * ofi;
/**
*/
-/*@-boundswrite@*/
static int copyNextLine(Spec spec, OFI_t *ofi, int strip)
- /*@globals rpmGlobalMacroContext, h_errno,
- fileSystem @*/
- /*@modifies spec->nextline, spec->nextpeekc, spec->lbuf, spec->line,
- ofi->readPtr,
- rpmGlobalMacroContext, fileSystem @*/
{
char *last;
char ch;
ch = ' ';
while (*from && ch != '\n')
ch = *to++ = *from++;
-/*@-mods@*/
spec->lbufPtr = to;
-/*@=mods@*/
*to++ = '\0';
ofi->readPtr = from;
switch (*p) {
case '\\':
switch (*(p+1)) {
- case '\n': p++, nc = 1; /*@innerbreak@*/ break;
- case '\0': /*@innerbreak@*/ break;
- default: p++; /*@innerbreak@*/ break;
+ case '\n': p++, nc = 1; break;
+ case '\0': break;
+ default: p++; break;
}
- /*@switchbreak@*/ break;
- case '\n': nc = 0; /*@switchbreak@*/ break;
+ break;
+ case '\n': nc = 0; break;
case '%':
switch (*(p+1)) {
- case '{': p++, bc++; /*@innerbreak@*/ break;
- case '(': p++, pc++; /*@innerbreak@*/ break;
- case '%': p++; /*@innerbreak@*/ break;
+ case '{': p++, bc++; break;
+ case '(': p++, pc++; break;
+ case '%': p++; break;
}
- /*@switchbreak@*/ break;
- case '{': if (bc > 0) bc++; /*@switchbreak@*/ break;
- case '}': if (bc > 0) bc--; /*@switchbreak@*/ break;
- case '(': if (pc > 0) pc++; /*@switchbreak@*/ break;
- case ')': if (pc > 0) pc--; /*@switchbreak@*/ break;
+ break;
+ case '{': if (bc > 0) bc++; break;
+ case '}': if (bc > 0) bc--; break;
+ case '(': if (pc > 0) pc++; break;
+ case ')': if (pc > 0) pc--; break;
}
}
/* If it doesn't, ask for one more line. We need a better
* error code for this. */
if (pc || bc || nc ) {
-/*@-observertrans -readonlytrans@*/
spec->nextline = "";
-/*@=observertrans =readonlytrans@*/
return RPMERR_UNMATCHEDIF;
}
-/*@-mods@*/
spec->lbufPtr = spec->lbuf;
-/*@=mods@*/
/* Don't expand macros (eg. %define) in false branch of %if clause */
if (spec->readStack->reading &&
return 0;
}
-/*@=boundswrite@*/
-/*@-boundswrite@*/
int readLine(Spec spec, int strip)
{
#ifdef DYING
retry:
/* Make sure the current file is open */
- /*@-branchstate@*/
if (ofi->fd == NULL) {
ofi->fd = Fopen(ofi->fileName, "r.fpio");
if (ofi->fd == NULL || Ferror(ofi->fd)) {
}
spec->lineNum = ofi->lineNum = 0;
}
- /*@=branchstate@*/
/* Make sure we have something in the read buffer */
if (!(ofi->readPtr && *(ofi->readPtr))) {
- /*@-type@*/ /* FIX: cast? */
+ /* FIX: cast? */
FILE * f = fdGetFp(ofi->fd);
- /*@=type@*/
if (f == NULL || !fgets(ofi->readBuf, BUFSIZ, f)) {
/* EOF */
if (spec->readStack->next) {
spec->line[0] = '\0';
}
- /*@-compmempass@*/ /* FIX: spec->readStack->next should be dependent */
+ /* FIX: spec->readStack->next should be dependent */
return 0;
- /*@=compmempass@*/
}
-/*@=boundswrite@*/
void closeSpec(Spec spec)
{
}
}
-/*@-redecl@*/
-/*@unchecked@*/
extern int noLang; /* XXX FIXME: pass as arg */
-/*@=redecl@*/
-/*@todo Skip parse recursion if os is not compatible. @*/
-/*@-boundswrite@*/
int parseSpec(rpmts ts, const char *specFile, const char *rootURL,
const char *buildRootURL, int recursing, const char *passPhrase,
const char *cookie, int anyarch, int force)
if (buildRootURL) {
const char * buildRoot;
(void) urlPath(buildRootURL, &buildRoot);
- /*@-branchstate@*/
if (*buildRoot == '\0') buildRoot = "/";
- /*@=branchstate@*/
if (!strcmp(buildRoot, "/")) {
rpmError(RPMERR_BADSPEC,
_("BuildRoot can not be \"/\": %s\n"), buildRootURL);
/* in the spec's line buffer. Except for parsePreamble(), */
/* which handles the initial entry into a spec file. */
- /*@-infloops@*/ /* LCL: parsePart is modified @*/
+ /* LCL: parsePart is modified @*/
while (parsePart < PART_LAST && parsePart != PART_NONE) {
switch (parsePart) {
case PART_PREAMBLE:
parsePart = parsePreamble(spec, initialPackage);
initialPackage = 0;
- /*@switchbreak@*/ break;
+ break;
case PART_PREP:
parsePart = parsePrep(spec);
- /*@switchbreak@*/ break;
+ break;
case PART_BUILD:
case PART_INSTALL:
case PART_CHECK:
case PART_CLEAN:
parsePart = parseBuildInstallClean(spec, parsePart);
- /*@switchbreak@*/ break;
+ break;
case PART_CHANGELOG:
parsePart = parseChangelog(spec);
- /*@switchbreak@*/ break;
+ break;
case PART_DESCRIPTION:
parsePart = parseDescription(spec);
- /*@switchbreak@*/ break;
+ break;
case PART_PRE:
case PART_POST:
case PART_TRIGGERUN:
case PART_TRIGGERPOSTUN:
parsePart = parseScript(spec, parsePart);
- /*@switchbreak@*/ break;
+ break;
case PART_FILES:
parsePart = parseFiles(spec);
- /*@switchbreak@*/ break;
+ break;
case PART_NONE: /* XXX avoid gcc whining */
case PART_LAST:
case PART_BUILDARCHITECTURES:
- /*@switchbreak@*/ break;
+ break;
}
if (parsePart >= PART_LAST) {
/* Skip if not arch is not compatible. */
if (!rpmMachineScore(RPM_MACHTABLE_BUILDARCH, spec->BANames[x]))
- /*@innercontinue@*/ continue;
+ continue;
#ifdef DYING
rpmGetMachine(&saveArch, NULL);
saveArch = xstrdup(saveArch);
|| (spec->BASpecs[index] = rpmtsSetSpec(ts, NULL)) == NULL)
{
spec->BACount = index;
-/*@-nullstate@*/
spec = freeSpec(spec);
return RPMERR_BADSPEC;
-/*@=nullstate@*/
}
#ifdef DYING
rpmSetMachine(saveArch, NULL);
if (! index) {
rpmError(RPMERR_BADSPEC,
_("No compatible architectures found for build\n"));
-/*@-nullstate@*/
spec = freeSpec(spec);
return RPMERR_BADSPEC;
-/*@=nullstate@*/
}
/*
* further problem that the macro context, particularly
* %{_target_cpu}, disagrees with the info in the header.
*/
- /*@-branchstate@*/
if (spec->BACount >= 1) {
Spec nspec = spec->BASpecs[0];
spec->BASpecs = _free(spec->BASpecs);
spec = freeSpec(spec);
spec = nspec;
}
- /*@=branchstate@*/
(void) rpmtsSetSpec(ts, spec);
return 0;
}
}
- /*@=infloops@*/ /* LCL: parsePart is modified @*/
+ /* LCL: parsePart is modified @*/
/* Check for description in each package and add arch and os */
{
return 0;
}
-/*@=boundswrite@*/
#include "legacy.h" /* XXX _noDirTokens */
#include "debug.h"
-/*@unchecked@*/
struct rpmBuildArguments_s rpmBTArgs;
#define POPT_USECATALOG -1011
#define POPT_TP 0x7470
#define POPT_TS 0x7473
-/*@-redecl@*/
-/*@unchecked@*/
extern int _fsm_debug;
-/*@=redecl@*/
-/*@-exportlocal@*/
-/*@unchecked@*/
int noLang = 0;
-/*@=exportlocal@*/
-/*@unchecked@*/
static int noBuild = 0;
-/*@unchecked@*/
static int signIt = 0;
-/*@unchecked@*/
static int useCatalog = 0;
/**
*/
-/*@-boundswrite@*/
-static void buildArgCallback( /*@unused@*/ poptContext con,
- /*@unused@*/ enum poptCallbackReason reason,
+static void buildArgCallback( poptContext con,
+ enum poptCallbackReason reason,
const struct poptOption * opt, const char * arg,
- /*@unused@*/ const void * data)
+ const void * data)
{
BTA_t rba = &rpmBTArgs;
}
}
-/*@=boundswrite@*/
/**
*/
-/*@-bitwisesigned -compmempass @*/
-/*@unchecked@*/
struct poptOption rpmBuildPoptTable[] = {
-/*@-type@*/ /* FIX: cast? */
+/* FIX: cast? */
{ NULL, '\0', POPT_ARG_CALLBACK | POPT_CBFLAG_INC_DATA | POPT_CBFLAG_CONTINUE,
buildArgCallback, 0, NULL, NULL },
-/*@=type@*/
{ "bp", 0, POPT_ARGFLAG_ONEDASH, 0, POPT_BP,
N_("build through %prep (unpack sources and apply patches) from <specfile>"),
POPT_TABLEEND
};
-/*@=bitwisesigned =compmempass @*/
#include "rpmbuild.h"
#include "debug.h"
-int addReqProv(/*@unused@*/ Spec spec, Header h, /*@unused@*/ rpmTag tagN,
+int addReqProv(Spec spec, Header h, rpmTag tagN,
const char * N, const char * EVR, rpmsenseFlags Flags,
int index)
{
Flags = (Flags & RPMSENSE_SENSEMASK) | extra;
- /*@-branchstate@*/
if (EVR == NULL)
EVR = "";
- /*@=branchstate@*/
/* Check for duplicate dependencies. */
if (hge(h, nametag, &dnt, (void **) &names, &len)) {
if (indextag)
xx = hge(h, indextag, NULL, (void **) &indexes, NULL);
-/*@-boundsread@*/
while (len > 0) {
len--;
if (strcmp(names[len], N))
break;
}
-/*@=boundsread@*/
names = hfd(names, dnt);
versions = hfd(versions, dvt);
if (duplicate)
return 0;
}
-/*@-boundswrite@*/
int rpmlibNeedsFeature(Header h, const char * feature, const char * featureEVR)
{
char * reqname = alloca(sizeof("rpmlib()") + strlen(feature));
return addReqProv(NULL, h, RPMTAG_REQUIRENAME, reqname, featureEVR,
RPMSENSE_RPMLIB|(RPMSENSE_LESS|RPMSENSE_EQUAL), 0);
}
-/*@=boundswrite@*/
/** \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 << 10), /*!< only for doScript() */
RPMBUILD_RMSPEC = (1 << 11) /*!< Remove spec file. */
} rpmBuildFlags;
-/*@=typeuse@*/
#include <ctype.h>
#ifdef __cplusplus
extern "C" {
#endif
-/*@-redecl@*/
/** \ingroup rpmbuild
* Destroy uid/gid caches.
*/
-void freeNames(void)
- /*@globals internalState@*/
- /*@modifies internalState */;
+void freeNames(void);
/** \ingroup rpmbuild
* Return cached user name from user id.
* @param uid user id
* @return cached user name
*/
-extern /*@observer@*/ const char * getUname(uid_t uid)
- /*@globals internalState @*/
- /*@modifies internalState @*/;
+extern const char * getUname(uid_t uid);
/** \ingroup rpmbuild
* Return cached user name.
* @param uname user name
* @return cached user name
*/
-extern /*@observer@*/ const char * getUnameS(const char * uname)
- /*@globals internalState @*/
- /*@modifies internalState @*/;
+extern const char * getUnameS(const char * uname);
/** \ingroup rpmbuild
* Return cached user id.
* @param uname user name
* @return cached uid
*/
-uid_t getUidS(const char * uname)
- /*@globals internalState @*/
- /*@modifies internalState @*/;
+uid_t getUidS(const char * uname);
/** \ingroup rpmbuild
* Return cached group name from group id.
* @param gid group id
* @return cached group name
*/
-extern /*@observer@*/ const char * getGname(gid_t gid)
- /*@globals internalState @*/
- /*@modifies internalState @*/;
+extern const char * getGname(gid_t gid);
/** \ingroup rpmbuild
* Return cached group name.
* @param gname group name
* @return cached group name
*/
-extern /*@observer@*/ const char * getGnameS(const char * gname)
- /*@globals internalState @*/
- /*@modifies internalState @*/;
+extern const char * getGnameS(const char * gname);
/** \ingroup rpmbuild
* Return cached group id.
* @param gname group name
* @return cached gid
*/
-gid_t getGidS(const char * gname)
- /*@globals internalState @*/
- /*@modifies internalState @*/;
+gid_t getGidS(const char * gname);
/** \ingroup rpmbuild
* Return build hostname.
* @return build hostname
*/
-extern /*@observer@*/ const char * buildHost(void) /*@*/;
+extern const char * buildHost(void) ;
/** \ingroup rpmbuild
* Return build time stamp.
* @return build time stamp
*/
-extern /*@observer@*/ int_32 * getBuildTime(void) /*@*/;
+extern int_32 * getBuildTime(void) ;
/** \ingroup rpmbuild
* Read next line from spec file.
* @param strip truncate comments?
* @return 0 on success, 1 on EOF, <0 on error
*/
-int readLine(Spec spec, int strip)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->fileStack, spec->readStack, spec->line, spec->lineNum,
- spec->nextline, spec->nextpeekc, spec->lbuf, spec->sl,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int readLine(Spec spec, int strip);
/** \ingroup rpmbuild
* Stop reading from spec file, freeing resources.
* @param spec spec file control structure
*/
-void closeSpec(/*@partial@*/ Spec spec)
- /*@globals fileSystem, internalState @*/
- /*@modifies spec->fileStack, fileSystem, internalState @*/;
+void closeSpec(Spec spec);
/** \ingroup rpmbuild
* Truncate comment lines.
* @param s skip white space, truncate line at '#'
*/
-void handleComments(char * s)
- /*@modifies s @*/;
+void handleComments(char * s);
/** \ingroup rpmbuild
* Check line for section separator, return next parser state.
* @param line from spec file
* @return next parser state
*/
-rpmParseState isPart(const char * line) /*@*/;
+rpmParseState isPart(const char * line) ;
/** \ingroup rpmbuild
* Parse a number.
* @retval res pointer to int
* @return 0 on success, 1 on failure
*/
-int parseNum(/*@null@*/ const char * line, /*@null@*/ /*@out@*/int * res)
- /*@modifies *res @*/;
+int parseNum(const char * line,int * res);
/** \ingroup rpmbuild
* Add changelog entry to header.
* @param text description of change
*/
void addChangelogEntry(Header h, time_t time, const char * name,
- const char * text)
- /*@modifies h @*/;
+ const char * text);
/** \ingroup rpmbuild
* Parse %%build/%%install/%%clean section(s) of a spec file.
* @param parsePart current rpmParseState
* @return >= 0 next rpmParseState, < 0 on error
*/
-int parseBuildInstallClean(Spec spec, rpmParseState parsePart)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->build, spec->install, spec->check, spec->clean,
- spec->macros,
- spec->fileStack, spec->readStack, spec->line, spec->lineNum,
- spec->nextline, spec->nextpeekc, spec->lbuf, spec->sl,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int parseBuildInstallClean(Spec spec, rpmParseState parsePart);
/** \ingroup rpmbuild
* Parse %%changelog section of a spec file.
* @param spec spec file control structure
* @return >= 0 next rpmParseState, < 0 on error
*/
-int parseChangelog(Spec spec)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->fileStack, spec->readStack, spec->line, spec->lineNum,
- spec->nextline, spec->nextpeekc, spec->lbuf, spec->sl,
- spec->packages->header,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int parseChangelog(Spec spec);
/** \ingroup rpmbuild
* Parse %%description section of a spec file.
* @param spec spec file control structure
* @return >= 0 next rpmParseState, < 0 on error
*/
-int parseDescription(Spec spec)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->packages,
- spec->fileStack, spec->readStack, spec->line, spec->lineNum,
- spec->nextline, spec->nextpeekc, spec->lbuf, spec->sl,
- spec->st,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int parseDescription(Spec spec);
/** \ingroup rpmbuild
* Parse %%files section of a spec file.
* @param spec spec file control structure
* @return >= 0 next rpmParseState, < 0 on error
*/
-int parseFiles(Spec spec)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->packages,
- spec->fileStack, spec->readStack, spec->line, spec->lineNum,
- spec->nextline, spec->nextpeekc, spec->lbuf, spec->sl,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int parseFiles(Spec spec);
/** \ingroup rpmbuild
* Parse tags from preamble of a spec file.
* @param initialPackage
* @return >= 0 next rpmParseState, < 0 on error
*/
-int parsePreamble(Spec spec, int initialPackage)
- /*@globals rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies spec->packages,
- spec->fileStack, spec->readStack, spec->line, spec->lineNum,
- spec->buildSubdir,
- spec->macros, spec->st, spec->buildRootURL,
- spec->sources, spec->numSources, spec->noSource,
- spec->buildRestrictions, spec->BANames, spec->BACount,
- spec->gotBuildRootURL,
- spec->nextline, spec->nextpeekc, spec->lbuf, spec->sl,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int parsePreamble(Spec spec, int initialPackage);
/** \ingroup rpmbuild
* Parse %%prep section of a spec file.
* @param spec spec file control structure
* @return >= 0 next rpmParseState, < 0 on error
*/
-int parsePrep(Spec spec)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->prep, spec->buildSubdir, spec->macros,
- spec->fileStack, spec->readStack, spec->line, spec->lineNum,
- spec->nextline, spec->nextpeekc, spec->lbuf, spec->sl,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int parsePrep(Spec spec);
/** \ingroup rpmbuild
* Parse dependency relations from spec file and/or autogenerated output buffer.
* @return 0 on success, RPMERR_BADSPEC on failure
*/
int parseRCPOT(Spec spec, Package pkg, const char * field, rpmTag tagN,
- int index, rpmsenseFlags tagflags)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies rpmGlobalMacroContext @*/;
+ int index, rpmsenseFlags tagflags);
/** \ingroup rpmbuild
* Parse %%pre et al scriptlets from a spec file.
* @param parsePart current rpmParseState
* @return >= 0 next rpmParseState, < 0 on error
*/
-int parseScript(Spec spec, int parsePart)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->packages,
- spec->fileStack, spec->readStack, spec->line, spec->lineNum,
- spec->nextline, spec->nextpeekc, spec->lbuf, spec->sl,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int parseScript(Spec spec, int parsePart);
/** \ingroup rpmbuild
* Evaluate boolean expression.
* @param expr expression to parse
* @return
*/
-int parseExpressionBoolean(Spec spec, const char * expr)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies rpmGlobalMacroContext @*/;
+int parseExpressionBoolean(Spec spec, const char * expr);
/** \ingroup rpmbuild
* Evaluate string expression.
* @param expr expression to parse
* @return
*/
-/*@unused@*/ /*@null@*/
-char * parseExpressionString(Spec spec, const char * expr)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies rpmGlobalMacroContext @*/;
+char * parseExpressionString(Spec spec, const char * expr);
/** \ingroup rpmbuild
* Run a build script, assembled from spec file scriptlet section.
* @param test don't execute scripts or package if testing
* @return 0 on success, RPMERR_SCRIPT on failure
*/
-int doScript(Spec spec, int what, /*@null@*/ const char * name,
- /*@null@*/ StringBuf sb, int test)
- /*@globals rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies spec->macros,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int doScript(Spec spec, int what, const char * name,
+ StringBuf sb, int test);
/** \ingroup rpmbuild
* Find sub-package control structure by name.
* @retval pkg package control structure
* @return 0 on success, 1 on failure
*/
-int lookupPackage(Spec spec, /*@null@*/ const char * name, int flag,
- /*@out@*/ Package * pkg)
- /*@modifies spec->packages, *pkg @*/;
+int lookupPackage(Spec spec, const char * name, int flag,
+ Package * pkg);
/** \ingroup rpmbuild
* Create and initialize package control structure.
* @param spec spec file control structure
* @return package control structure
*/
-/*@only@*/
-Package newPackage(Spec spec)
- /*@modifies spec->packages, spec->packages->next @*/;
+Package newPackage(Spec spec);
/** \ingroup rpmbuild
* Destroy all packages associated with spec file.
* @param packages package control structure chain
* @return NULL
*/
-/*@null@*/
-Package freePackages(/*@only@*/ /*@null@*/ Package packages)
- /*@globals fileSystem @*/
- /*@modifies packages, fileSystem @*/;
+Package freePackages(Package packages);
/** \ingroup rpmbuild
* Destroy package control structure.
* @param pkg package control structure
* @return NULL
*/
-/*@null@*/
-Package freePackage(/*@only@*/ /*@null@*/ Package pkg)
- /*@globals fileSystem @*/
- /*@modifies pkg, fileSystem @*/;
+Package freePackage(Package pkg);
/** \ingroup rpmbuild
* Add dependency to header, filtering duplicates.
* @param index (0 always)
* @return 0 always
*/
-int addReqProv(/*@unused@*/Spec spec, Header h, rpmTag tagN,
+int addReqProv(Spec spec, Header h, rpmTag tagN,
const char * N, const char * EVR, rpmsenseFlags Flags,
- int index)
- /*@modifies h @*/;
+ int index);
/** \ingroup rpmbuild
* Add rpmlib feature dependency.
* @param featureEVR rpm feature epoch/version/release
* @return 0 always
*/
-int rpmlibNeedsFeature(Header h, const char * feature, const char * featureEVR)
- /*@modifies h @*/;
+int rpmlibNeedsFeature(Header h, const char * feature, const char * featureEVR);
/** \ingroup rpmbuild
* Post-build processing for binary package(s).
* @param test don't execute scripts or package if testing
* @return 0 on success
*/
-int processBinaryFiles(Spec spec, int installSpecialDoc, int test)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->macros,
- spec->packages->cpioList, spec->packages->fileList,
- spec->packages->specialDoc, spec->packages->header,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int processBinaryFiles(Spec spec, int installSpecialDoc, int test);
/** \ingroup rpmbuild
* Create and initialize header for source package.
* @param spec spec file control structure
*/
-void initSourceHeader(Spec spec)
- /*@modifies spec->sourceHeader,
- spec->buildRestrictions, spec->BANames,
- spec->packages->header @*/;
+void initSourceHeader(Spec spec);
/** \ingroup rpmbuild
* Post-build processing for source package.
* @param spec spec file control structure
* @return 0 on success
*/
-int processSourceFiles(Spec spec)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->sourceHeader, spec->sourceCpioList,
- spec->buildRestrictions, spec->BANames,
- spec->packages->header,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int processSourceFiles(Spec spec);
/** \ingroup rpmbuild
* Parse spec file into spec control structure.
* @return
*/
int parseSpec(rpmts ts, const char * specFile,
- /*@null@*/ const char * rootURL,
- /*@null@*/ const char * buildRootURL,
+ const char * rootURL,
+ const char * buildRootURL,
int recursing,
- /*@null@*/ const char * passPhrase,
- /*@null@*/ const char * cookie,
- int anyarch, int force)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies ts, rpmGlobalMacroContext, fileSystem, internalState @*/;
+ const char * passPhrase,
+ const char * cookie,
+ int anyarch, int force);
/** \ingroup rpmbuild
* Build stages state machine driver.
* @param test don't execute scripts or package if testing
* @return 0 on success
*/
-int buildSpec(rpmts ts, Spec spec, int what, int test)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->sourceHeader, spec->sourceCpioList, spec->cookie,
- spec->sourceRpmName, spec->sourcePkgId,
- spec->macros, spec->BASpecs,
- spec->buildRestrictions, spec->BANames,
- spec->packages->cpioList, spec->packages->fileList,
- spec->packages->specialDoc, spec->packages->header,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int buildSpec(rpmts ts, Spec spec, int what, int test);
/** \ingroup rpmbuild
* Generate binary package(s).
* @param spec spec file control structure
* @return 0 on success
*/
-int packageBinaries(Spec spec)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->packages->header, spec->packages->cpioList,
- spec->sourceRpmName,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int packageBinaries(Spec spec);
/** \ingroup rpmbuild
* Generate source package.
* @param spec spec file control structure
* @return 0 on success
*/
-int packageSources(Spec spec)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies spec->sourceHeader, spec->cookie, spec->sourceCpioList,
- spec->sourceRpmName, spec->sourcePkgId,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int packageSources(Spec spec);
-/*@=redecl@*/
#ifdef __cplusplus
}
#endif
#include "debug.h"
-/*@access rpmds @*/
/**
*/
-static int rpmfcExpandAppend(/*@out@*/ ARGV_t * argvp, const ARGV_t av)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies *argvp, rpmGlobalMacroContext @*/
- /*@requires maxRead(argvp) >= 0 @*/
+static int rpmfcExpandAppend(ARGV_t * argvp, const ARGV_t av)
{
ARGV_t argv = *argvp;
int argc = argvCount(argv);
int ac = argvCount(av);
int i;
-/*@-bounds@*/ /* LCL: internal error */
argv = xrealloc(argv, (argc + ac + 1) * sizeof(*argv));
-/*@=bounds@*/
for (i = 0; i < ac; i++)
argv[argc + i] = rpmExpand(av[i], NULL);
argv[argc + ac] = NULL;
* @param failNonZero is script failure an error?
* @return buffered stdout from script, NULL on error
*/
-/*@null@*/
-static StringBuf getOutputFrom(/*@null@*/ const char * dir, ARGV_t argv,
+static StringBuf getOutputFrom(const char * dir, ARGV_t argv,
const char * writePtr, int writeBytesLeft,
int failNonZero)
- /*@globals fileSystem, internalState@*/
- /*@modifies fileSystem, internalState@*/
{
pid_t child, reaped;
int toProg[2];
StringBuf readBuff;
int done;
- /*@-type@*/ /* FIX: cast? */
+ /* FIX: cast? */
oldhandler = signal(SIGPIPE, SIG_IGN);
- /*@=type@*/
toProg[0] = toProg[1] = 0;
(void) pipe(toProg);
}
/* Read any data from prog */
-/*@-boundswrite@*/
{ char buf[BUFSIZ+1];
while ((nbr = read(fromProg[0], buf, sizeof(buf)-1)) > 0) {
buf[nbr] = '\0';
appendStringBuf(readBuff, buf);
}
}
-/*@=boundswrite@*/
/* terminate on (non-blocking) EOF or error */
done = (nbr == 0 || (nbr < 0 && errno != EAGAIN));
(void) close(toProg[1]);
if (fromProg[0] >= 0)
(void) close(fromProg[0]);
- /*@-type@*/ /* FIX: cast? */
+ /* FIX: cast? */
(void) signal(SIGPIPE, oldhandler);
- /*@=type@*/
/* Collect status from prog */
reaped = waitpid(child, &status, 0);
/* Build argv, appending args to the executable args. */
xav = NULL;
-/*@-boundswrite@*/
xx = argvAppend(&xav, pav);
if (av[1])
xx = rpmfcExpandAppend(&xav, av + 1);
-/*@=boundswrite@*/
if (sb_stdin != NULL) {
buf_stdin = getStringBuf(sb_stdin);
/* Read output from exec'd helper. */
sb = getOutputFrom(NULL, xav, buf_stdin, buf_stdin_len, failnonzero);
-/*@-branchstate@*/
if (sb_stdoutp != NULL) {
*sb_stdoutp = sb;
sb = NULL; /* XXX don't free */
}
-/*@=branchstate@*/
ec = 0;
/**
*/
-static int rpmfcSaveArg(/*@out@*/ ARGV_t * argvp, const char * key)
- /*@modifies *argvp @*/
- /*@requires maxSet(argvp) >= 0 @*/
+static int rpmfcSaveArg(ARGV_t * argvp, const char * key)
{
int rc = 0;
return rc;
}
-static char * rpmfcFileDep(/*@returned@*/ char * buf, int ix,
- /*@null@*/ rpmds ds)
- /*@modifies buf @*/
- /*@requires maxSet(buf) >= 0 @*/
- /*@ensures maxRead(buf) == 0 @*/
+static char * rpmfcFileDep(char * buf, int ix,
+ rpmds ds)
{
int_32 tagN = rpmdsTagN(ds);
char deptype = 'X';
deptype = 'R';
break;
}
-/*@-nullpass@*/
if (ds != NULL)
sprintf(buf, "%08d%c %s %s 0x%08x", ix, deptype,
rpmdsN(ds), rpmdsEVR(ds), rpmdsFlags(ds));
-/*@=nullpass@*/
return buf;
};
* @return 0 on success
*/
static int rpmfcHelper(rpmfc fc, unsigned char deptype, const char * nsdep)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies fc, rpmGlobalMacroContext, fileSystem, internalState @*/
{
const char * fn = fc->fn[fc->ix];
char buf[BUFSIZ];
switch (deptype) {
default:
return -1;
- /*@notreached@*/ break;
+ break;
case 'P':
if (fc->skipProv)
return 0;
sb_stdin = newStringBuf();
appendLineStringBuf(sb_stdin, fn);
sb_stdout = NULL;
-/*@-boundswrite@*/
xx = rpmfcExec(av, sb_stdin, &sb_stdout, 0);
-/*@=boundswrite@*/
sb_stdin = freeStringBuf(sb_stdin);
if (xx == 0 && sb_stdout != NULL) {
N = pav[i];
EVR = "";
Flags = dsContext;
-/*@-branchstate@*/
if (pav[i+1] && strchr("=<>", *pav[i+1])) {
i++;
for (s = pav[i]; *s; s++) {
switch(*s) {
default:
assert(*s != '\0');
- /*@switchbreak@*/ break;
+ break;
case '=':
Flags |= RPMSENSE_EQUAL;
- /*@switchbreak@*/ break;
+ break;
case '<':
Flags |= RPMSENSE_LESS;
- /*@switchbreak@*/ break;
+ break;
case '>':
Flags |= RPMSENSE_GREATER;
- /*@switchbreak@*/ break;
+ break;
}
}
i++;
EVR = pav[i];
assert(EVR != NULL);
}
-/*@=branchstate@*/
/* Add tracking dependency for versioned Provides: */
xx = rpmdsMerge(depsp, ds);
/* Add to file dependencies. */
-/*@-boundswrite@*/
xx = rpmfcSaveArg(&fc->ddict, rpmfcFileDep(buf, fc->ix, ds));
-/*@=boundswrite@*/
ds = rpmdsFree(ds);
}
/**
*/
-/*@unchecked@*/ /*@observer@*/
static struct rpmfcTokens_s rpmfcTokens[] = {
{ "directory", RPMFC_DIRECTORY|RPMFC_INCLUDE },
switch (deptype) {
default:
assert(depval != NULL);
- /*@switchbreak@*/ break;
+ break;
case 'P':
if (nprovides > 0) {
assert(ix < nprovides);
if (rpmdsNext(fc->provides) >= 0)
depval = rpmdsDNEVR(fc->provides);
}
- /*@switchbreak@*/ break;
+ break;
case 'R':
if (nrequires > 0) {
assert(ix < nrequires);
if (rpmdsNext(fc->requires) >= 0)
depval = rpmdsDNEVR(fc->requires);
}
- /*@switchbreak@*/ break;
+ break;
}
if (depval)
fprintf(fp, "\t%s\n", depval);
* @return 0 on success
*/
static int rpmfcSCRIPT(rpmfc fc)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies fc, rpmGlobalMacroContext, fileSystem, internalState @*/
{
const char * fn = fc->fn[fc->ix];
const char * bn;
}
/* Look for #! interpreter in first 10 lines. */
-/*@-boundswrite@*/
for (i = 0; i < 10; i++) {
s = fgets(buf, sizeof(buf) - 1, fp);
for (se = s+1; *se; se++) {
if (strchr(" \t\n\r", *se) != NULL)
- /*@innerbreak@*/ break;
+ break;
}
*se = '\0';
se++;
break;
}
-/*@=boundswrite@*/
(void) fclose(fp);
* @return 0 on success
*/
static int rpmfcELF(rpmfc fc)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies fc, rpmGlobalMacroContext, fileSystem, internalState @*/
{
#if HAVE_GELF_H && HAVE_LIBELF
const char * fn = fc->fn[fc->ix];
(void) elf_version(EV_CURRENT);
-/*@-evalorder@*/
elf = NULL;
if ((elf = elf_begin (fdno, ELF_C_READ, NULL)) == NULL
|| elf_kind(elf) != ELF_K_ELF
|| (ehdr = gelf_getehdr(elf, &ehdr_mem)) == NULL
|| !(ehdr->e_type == ET_DYN || ehdr->e_type == ET_EXEC))
goto exit;
-/*@=evalorder@*/
isElf64 = ehdr->e_ident[EI_CLASS] == ELFCLASS64;
isDSO = ehdr->e_type == ET_DYN;
- /*@-branchstate -uniondef @*/
scn = NULL;
while ((scn = elf_nextscn(elf, scn)) != NULL) {
shdr = gelf_getshdr(scn, &shdr_mem);
switch (shdr->sh_type) {
default:
continue;
- /*@notreached@*/ /*@switchbreak@*/ break;
+ break;
case SHT_GNU_verdef:
data = NULL;
if (!fc->skipProv)
def = gelf_getverdef (data, offset, &def_mem);
if (def == NULL)
- /*@innerbreak@*/ break;
+ break;
auxoffset = offset + def->vd_aux;
for (cnt2 = def->vd_cnt; --cnt2 >= 0; ) {
GElf_Verdaux aux_mem, * aux;
aux = gelf_getverdaux (data, auxoffset, &aux_mem);
if (aux == NULL)
- /*@innerbreak@*/ break;
+ break;
s = elf_strptr(elf, shdr->sh_link, aux->vda_name);
if (s == NULL)
- /*@innerbreak@*/ break;
+ break;
if (def->vd_flags & VER_FLG_BASE) {
soname = _free(soname);
soname = xstrdup(s);
auxoffset += aux->vda_next;
- /*@innercontinue@*/ continue;
+ continue;
} else
if (soname != NULL
&& !(filter_GLIBC_PRIVATE != 0
offset += def->vd_next;
}
}
- /*@switchbreak@*/ break;
+ break;
case SHT_GNU_verneed:
data = NULL;
/* Files with executable bit set only. */
for (cnt = shdr->sh_info; --cnt >= 0; ) {
need = gelf_getverneed (data, offset, &need_mem);
if (need == NULL)
- /*@innerbreak@*/ break;
+ break;
s = elf_strptr(elf, shdr->sh_link, need->vn_file);
if (s == NULL)
- /*@innerbreak@*/ break;
+ break;
soname = _free(soname);
soname = xstrdup(s);
auxoffset = offset + need->vn_aux;
aux = gelf_getvernaux (data, auxoffset, &aux_mem);
if (aux == NULL)
- /*@innerbreak@*/ break;
+ break;
s = elf_strptr(elf, shdr->sh_link, aux->vna_name);
if (s == NULL)
- /*@innerbreak@*/ break;
+ break;
/* Filter dependencies that contain GLIBC_PRIVATE */
if (soname != NULL
offset += need->vn_next;
}
}
- /*@switchbreak@*/ break;
+ break;
case SHT_DYNAMIC:
data = NULL;
while ((data = elf_getdata (scn, data)) != NULL) {
-/*@-boundswrite@*/
for (cnt = 0; cnt < (shdr->sh_size / shdr->sh_entsize); ++cnt) {
dyn = gelf_getdyn (data, cnt, &dyn_mem);
if (dyn == NULL)
- /*@innerbreak@*/ break;
+ break;
s = NULL;
switch (dyn->d_tag) {
default:
- /*@innercontinue@*/ continue;
- /*@notreached@*/ /*@switchbreak@*/ break;
+ continue;
+ break;
case DT_HASH:
gotHASH= 1;
- /*@innercontinue@*/ continue;
+ continue;
case DT_GNU_HASH:
gotGNUHASH= 1;
- /*@innercontinue@*/ continue;
+ continue;
case DT_DEBUG:
gotDEBUG = 1;
- /*@innercontinue@*/ continue;
+ continue;
case DT_NEEDED:
/* Files with executable bit set only. */
if (fc->skipReq || !(st->st_mode & (S_IXUSR|S_IXGRP|S_IXOTH)))
- /*@innercontinue@*/ continue;
+ continue;
/* Add to package requires. */
depsp = &fc->requires;
tagN = RPMTAG_REQUIRENAME;
dsContext = RPMSENSE_FIND_REQUIRES;
s = elf_strptr(elf, shdr->sh_link, dyn->d_un.d_val);
assert(s != NULL);
- /*@switchbreak@*/ break;
+ break;
case DT_SONAME:
gotSONAME = 1;
/* Add to package provides. */
if (fc->skipProv)
- /*@innercontinue@*/ continue;
+ continue;
depsp = &fc->provides;
tagN = RPMTAG_PROVIDENAME;
dsContext = RPMSENSE_FIND_PROVIDES;
s = elf_strptr(elf, shdr->sh_link, dyn->d_un.d_val);
assert(s != NULL);
- /*@switchbreak@*/ break;
+ break;
}
if (s == NULL)
- /*@innercontinue@*/ continue;
+ continue;
buf[0] = '\0';
t = buf;
ds = rpmdsFree(ds);
}
-/*@=boundswrite@*/
}
- /*@switchbreak@*/ break;
+ break;
}
}
- /*@=branchstate =uniondef @*/
/* For DSOs which use the .gnu_hash section and don't have a .hash
* section, we need to ensure that we have a new enough glibc. */
else
s = fn;
-/*@-boundswrite@*/
buf[0] = '\0';
t = buf;
-/*@-nullpass@*/ /* LCL: s is not null. */
+/* LCL: s is not null. */
t = stpcpy(t, s);
-/*@=nullpass@*/
#if !defined(__alpha__)
if (isElf64)
t = stpcpy(t, "()(64bit)");
#endif
-/*@=boundswrite@*/
t++;
/* Add to package dependencies. */
xx = rpmdsMerge(depsp, ds);
/* Add to file dependencies. */
-/*@-boundswrite@*/
xx = rpmfcSaveArg(&fc->ddict, rpmfcFileDep(t, fc->ix, ds));
-/*@=boundswrite@*/
ds = rpmdsFree(ds);
}
/**
*/
-/*@unchecked@*/
static struct rpmfcApplyTbl_s rpmfcApplyTable[] = {
{ rpmfcELF, RPMFC_ELF },
{ rpmfcSCRIPT, (RPMFC_SCRIPT|RPMFC_PERL) },
if (fc->fcolor->vals[fc->ix])
for (fcat = rpmfcApplyTable; fcat->func != NULL; fcat++) {
if (!(fc->fcolor->vals[fc->ix] & fcat->colormask))
- /*@innercontinue@*/ continue;
+ continue;
xx = (*fcat->func) (fc);
}
}
-/*@-boundswrite@*/
/* Generate per-file indices into package dependencies. */
nddict = argvCount(fc->ddict);
previx = -1;
dix = -1;
switch (deptype) {
default:
- /*@switchbreak@*/ break;
+ break;
case 'P':
ds = rpmdsSingle(RPMTAG_PROVIDENAME, N, EVR, Flags);
dix = rpmdsFind(fc->provides, ds);
ds = rpmdsFree(ds);
- /*@switchbreak@*/ break;
+ break;
case 'R':
ds = rpmdsSingle(RPMTAG_REQUIRENAME, N, EVR, Flags);
dix = rpmdsFind(fc->requires, ds);
ds = rpmdsFree(ds);
- /*@switchbreak@*/ break;
+ break;
}
/* XXX assertion incorrect while generating -debuginfo deps. */
if (fc->fddictn && fc->fddictn->vals)
fc->fddictn->vals[ix]++;
}
-/*@=boundswrite@*/
return 0;
}
size_t slen;
int fcolor;
int xx;
-/*@observer@*/
int msflags = MAGIC_CHECK; /* XXX MAGIC_COMPRESS flag? */
magic_t ms = NULL;
assert(ftype != NULL); /* XXX figger a proper return path. */
}
}
-/*@=branchstate@*/
se = ftype;
rpmMessage(RPMMESS_DEBUG, "%s: %s\n", s, se);
fcolor = rpmfcColoring(se);
xx = argiAdd(&fc->fcolor, fc->ix, fcolor);
-/*@-boundswrite@*/
if (fcolor != RPMFC_WHITE && (fcolor & RPMFC_INCLUDE))
xx = rpmfcSaveArg(&fc->cdict, se);
-/*@=boundswrite@*/
}
/* Build per-file class index array. */
/**
*/
struct DepMsg_s {
-/*@observer@*/ /*@null@*/
const char * msg;
-/*@observer@*/
const char * argv[4];
rpmTag ntag;
rpmTag vtag;
/**
*/
-/*@unchecked@*/
static struct DepMsg_s depMsgs[] = {
{ "Provides", { "%{?__find_provides}", NULL, NULL, NULL },
RPMTAG_PROVIDENAME, RPMTAG_PROVIDEVERSION, RPMTAG_PROVIDEFLAGS,
{ NULL, { NULL, NULL, NULL, NULL }, 0, 0, 0, 0, 0 }
};
-/*@unchecked@*/
static DepMsg_t DepMsgs = depMsgs;
/**
*/
static void printDeps(Header h)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies h, rpmGlobalMacroContext, fileSystem, internalState @*/
{
DepMsg_t dm;
rpmds ds = NULL;
Flags = rpmdsFlags(ds);
if (!((Flags & dm->mask) ^ dm->xor))
- /*@innercontinue@*/ continue;
+ continue;
if (bingo == 0) {
rpmMessage(RPMMESS_NORMAL, "%s:", (dm->msg ? dm->msg : ""));
bingo = 1;
}
if ((DNEVR = rpmdsDNEVR(ds)) == NULL)
- /*@innercontinue@*/ continue; /* XXX can't happen */
+ continue; /* XXX can't happen */
rpmMessage(RPMMESS_NORMAL, " %s", DNEVR+2);
}
if (bingo)
/**
*/
static int rpmfcGenerateDependsHelper(const Spec spec, Package pkg, rpmfi fi)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies fi, rpmGlobalMacroContext, fileSystem, internalState @*/
{
StringBuf sb_stdin;
StringBuf sb_stdout;
continue;
failnonzero = 1;
tagflags = RPMSENSE_FIND_PROVIDES;
- /*@switchbreak@*/ break;
+ break;
case RPMTAG_REQUIREFLAGS:
if (!pkg->autoReq)
continue;
failnonzero = 0;
tagflags = RPMSENSE_FIND_REQUIRES;
- /*@switchbreak@*/ break;
+ break;
default:
continue;
- /*@notreached@*/ /*@switchbreak@*/ break;
+ break;
}
-/*@-boundswrite@*/
xx = rpmfcExec(dm->argv, sb_stdin, &sb_stdout, failnonzero);
-/*@=boundswrite@*/
if (xx == -1)
continue;
av = xcalloc(ac+1, sizeof(*av));
fmode = xcalloc(ac+1, sizeof(*fmode));
-/*@-boundswrite@*/
genConfigDeps = 0;
fi = rpmfiInit(fi, 0);
if (fi != NULL)
fmode[c] = rpmfiFMode(fi);
}
av[ac] = NULL;
-/*@=boundswrite@*/
fc = rpmfcNew();
fc->skipProv = !pkg->autoProv;
p, c);
/* Add Provides: */
-/*@-branchstate@*/
if (fc->provides != NULL && (c = rpmdsCount(fc->provides)) > 0 && !fc->skipProv) {
p = (const void **) fc->provides->N;
xx = headerAddEntry(pkg->header, RPMTAG_PROVIDENAME, RPM_STRING_ARRAY_TYPE,
p, c);
/* XXX rpm prior to 3.0.2 did not always supply EVR and Flags. */
-/*@-nullpass@*/
p = (const void **) fc->provides->EVR;
assert(p != NULL);
xx = headerAddEntry(pkg->header, RPMTAG_PROVIDEVERSION, RPM_STRING_ARRAY_TYPE,
assert(p != NULL);
xx = headerAddEntry(pkg->header, RPMTAG_PROVIDEFLAGS, RPM_INT32_TYPE,
p, c);
-/*@=nullpass@*/
}
-/*@=branchstate@*/
/* Add Requires: */
-/*@-branchstate@*/
if (fc->requires != NULL && (c = rpmdsCount(fc->requires)) > 0 && !fc->skipReq) {
p = (const void **) fc->requires->N;
xx = headerAddEntry(pkg->header, RPMTAG_REQUIRENAME, RPM_STRING_ARRAY_TYPE,
p, c);
/* XXX rpm prior to 3.0.2 did not always supply EVR and Flags. */
-/*@-nullpass@*/
p = (const void **) fc->requires->EVR;
assert(p != NULL);
xx = headerAddEntry(pkg->header, RPMTAG_REQUIREVERSION, RPM_STRING_ARRAY_TYPE,
assert(p != NULL);
xx = headerAddEntry(pkg->header, RPMTAG_REQUIREFLAGS, RPM_INT32_TYPE,
p, c);
-/*@=nullpass@*/
}
-/*@=branchstate@*/
/* Add dependency dictionary(#dependencies) */
p = (const void **) argiData(fc->ddictx);
#include "magic.h"
-/*@-exportlocal@*/
-/*@unchecked@*/
extern int _rpmfc_debug;
-/*@=exportlocal@*/
/**
*/
-typedef /*@abstract@*/ struct rpmfc_s * rpmfc;
+typedef struct rpmfc_s * rpmfc;
/**
*/
ARGV_t ddict; /*!< (#dependencies) file depends dictionary */
ARGI_t ddictx; /*!< (#dependencies) file->dependency mapping */
-/*@relnull@*/
rpmds provides; /*!< (#provides) package provides */
-/*@relnull@*/
rpmds requires; /*!< (#requires) package requires */
StringBuf sb_java; /*!< concatenated list of java colored files. */
/**
*/
struct rpmfcTokens_s {
-/*@observer@*/
const char * token;
int colors;
};
* @retval *sb_stdoutp helper output
* @param failnonzero IS non-zero helper exit status a failure?
*/
-int rpmfcExec(ARGV_t av, StringBuf sb_stdin, /*@out@*/ StringBuf * sb_stdoutp,
- int failnonzero)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies *sb_stdoutp, rpmGlobalMacroContext,
- fileSystem, internalState @*/
- /*@requires maxSet(sb_stdoutp) >= 0 @*/;
+int rpmfcExec(ARGV_t av, StringBuf sb_stdin, StringBuf * sb_stdoutp,
+ int failnonzero);
/**
* Return file color given file(1) string.
* @param fmstr file(1) string
* @return file color
*/
-/*@-exportlocal@*/
-int rpmfcColoring(const char * fmstr)
- /*@*/;
-/*@=exportlocal@*/
+int rpmfcColoring(const char * fmstr);
/**
* Print results of file classification.
* @param fc file classifier
* @param fp output file handle (NULL for stderr)
*/
-/*@-exportlocal@*/
-void rpmfcPrint(/*@null@*/ const char * msg, rpmfc fc, /*@null@*/ FILE * fp)
- /*@globals fileSystem @*/
- /*@modifies *fp, fc, fileSystem @*/;
-/*@=exportlocal@*/
+void rpmfcPrint(const char * msg, rpmfc fc, FILE * fp);
/**
* Destroy a file classifier.
* @param fc file classifier
* @return NULL always
*/
-/*@-exportlocal@*/
-/*@null@*/
-rpmfc rpmfcFree(/*@only@*/ /*@null@*/ rpmfc fc)
- /*@modifies fc @*/;
-/*@=exportlocal@*/
+rpmfc rpmfcFree(rpmfc fc);
/**
* Create a file classifier.
* @return new file classifier
*/
-/*@-exportlocal@*/
-rpmfc rpmfcNew(void)
- /*@*/;
-/*@=exportlocal@*/
+rpmfc rpmfcNew(void);
/**
* Build file class dictionary and mappings.
* @param fmode files mode_t array (or NULL)
* @return 0 on success
*/
-/*@-exportlocal@*/
-int rpmfcClassify(rpmfc fc, ARGV_t argv, /*@null@*/ int16_t * fmode)
- /*@globals fileSystem, internalState @*/
- /*@modifies fc, fileSystem, internalState @*/;
-/*@=exportlocal@*/
+int rpmfcClassify(rpmfc fc, ARGV_t argv, int16_t * fmode);
/**
* Build file/package dependency dictionary and mappings.
* @param fc file classifier
* @return 0 on success
*/
-/*@-exportlocal@*/
-int rpmfcApply(rpmfc fc)
- /*@modifies fc @*/;
-/*@=exportlocal@*/
+int rpmfcApply(rpmfc fc);
/**
* Generate package dependencies.
* @param pkg package control
* @return 0 on success
*/
-int rpmfcGenerateDepends(const Spec spec, Package pkg)
- /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
- /*@modifies pkg->cpioList, pkg->header,
- rpmGlobalMacroContext, fileSystem, internalState @*/;
+int rpmfcGenerateDepends(const Spec spec, Package pkg);
#ifdef __cplusplus
}
*/
struct TriggerFileEntry {
int index;
-/*@only@*/ char * fileName;
-/*@only@*/ char * script;
-/*@only@*/ char * prog;
-/*@owned@*/ struct TriggerFileEntry * next;
+char * fileName;
+char * script;
+char * prog;
+struct TriggerFileEntry * next;
};
#define RPMBUILD_ISSOURCE (1 << 0)
/** \ingroup rpmbuild
*/
struct Source {
-/*@owned@*/ char * fullSource;
-/*@dependent@*/ char * source; /* Pointer into fullSource */
+char * fullSource;
+char * source; /* Pointer into fullSource */
int flags;
int num;
-/*@owned@*/ struct Source * next;
+struct Source * next;
};
/** \ingroup rpmbuild
*/
-/*@-typeuse@*/
typedef struct ReadLevelEntry {
int reading;
-/*@dependent@*/
struct ReadLevelEntry * next;
} RLE_t;
-/*@=typeuse@*/
/** \ingroup rpmbuild
*/
typedef struct OpenFileInfo {
-/*@only@*/ const char * fileName;
+const char * fileName;
FD_t fd;
int lineNum;
char readBuf[BUFSIZ];
-/*@dependent@*/
char * readPtr;
-/*@owned@*/
struct OpenFileInfo * next;
} OFI_t;
int t_tag;
int t_startx;
int t_nlines;
-/*@only@*/ const char * t_lang;
-/*@only@*/ const char * t_msgid;
+const char * t_lang;
+const char * t_msgid;
} * spectag;
/** \ingroup rpmbuild
*/
typedef struct spectags_s {
-/*@owned@*/ spectag st_t;
+spectag st_t;
int st_nalloc;
int st_ntags;
} * spectags;
/** \ingroup rpmbuild
*/
typedef struct speclines_s {
-/*@only@*/ char **sl_lines;
+char **sl_lines;
int sl_nalloc;
int sl_nlines;
} * speclines;
* The structure used to store values parsed from a spec file.
*/
struct Spec_s {
-/*@only@*/
const char * specFile; /*!< Name of the spec file. */
-/*@only@*/
const char * buildRootURL;
-/*@only@*/
const char * buildSubdir;
-/*@only@*/
const char * rootURL;
-/*@owned@*/ /*@null@*/
speclines sl;
-/*@owned@*/ /*@null@*/
spectags st;
-/*@owned@*/
struct OpenFileInfo * fileStack;
char lbuf[10*BUFSIZ];
-/*@dependent@*/
char *lbufPtr;
char nextpeekc;
-/*@dependent@*/
char * nextline;
-/*@dependent@*/
char * line;
int lineNum;
-/*@owned@*/
struct ReadLevelEntry * readStack;
-/*@refcounted@*/
Header buildRestrictions;
-/*@owned@*/ /*@null@*/
Spec * BASpecs;
-/*@only@*/ /*@null@*/
const char ** BANames;
int BACount;
int recursing; /*!< parse is recursive? */
int gotBuildRootURL;
-/*@null@*/
char * passPhrase;
int timeCheck;
-/*@null@*/
const char * cookie;
-/*@owned@*/
struct Source * sources;
int numSources;
int noSource;
-/*@only@*/
const char * sourceRpmName;
-/*@only@*/
unsigned char * sourcePkgId;
-/*@refcounted@*/
Header sourceHeader;
-/*@refcounted@*/
rpmfi sourceCpioList;
-/*@dependent@*/ /*@null@*/
MacroContext macros;
-/*@only@*/
StringBuf prep; /*!< %prep scriptlet. */
-/*@only@*/
StringBuf build; /*!< %build scriptlet. */
-/*@only@*/
StringBuf install; /*!< %install scriptlet. */
-/*@only@*/
StringBuf check; /*!< %check scriptlet. */
-/*@only@*/
StringBuf clean; /*!< %clean scriptlet. */
-/*@owned@*/
Package packages; /*!< Package list. */
};
* The structure used to store values for a package.
*/
struct Package_s {
-/*@refcounted@*/
Header header;
-/*@refcounted@*/
rpmds ds; /*!< Requires: N = EVR */
-/*@refcounted@*/
rpmfi cpioList;
-/*@owned@*/
struct Source * icon;
int autoReq;
int autoProv;
-/*@only@*/
const char * preInFile; /*!< %pre scriptlet. */
-/*@only@*/
const char * postInFile; /*!< %post scriptlet. */
-/*@only@*/
const char * preUnFile; /*!< %preun scriptlet. */
-/*@only@*/
const char * postUnFile; /*!< %postun scriptlet. */
-/*@only@*/
const char * preTransFile; /*!< %pretrans scriptlet. */
-/*@only@*/
const char * postTransFile; /*!< %posttrans scriptlet. */
-/*@only@*/
const char * verifyFile; /*!< %verifyscript scriptlet. */
-/*@only@*/
StringBuf specialDoc;
-/*@only@*/
struct TriggerFileEntry * triggerFiles;
-/*@only@*/
const char * fileFile;
-/*@only@*/
StringBuf fileList; /* If NULL, package will not be written */
-/*@dependent@*/
Package next;
};
* Create and initialize Spec structure.
* @return spec spec file control structure
*/
-/*@only@*/ Spec newSpec(void)
- /*@globals rpmGlobalMacroContext @*/
- /*@modifies rpmGlobalMacroContext @*/;
+Spec newSpec(void);
/** \ingroup rpmbuild
* Destroy Spec structure.
* @param spec spec file control structure
* @return NULL always
*/
-/*@null@*/ Spec freeSpec(/*@only@*/ /*@null@*/ Spec spec)
- /*@globals fileSystem, internalState @*/
- /*@modifies spec, fileSystem, internalState @*/;
+Spec freeSpec(Spec spec);
/** \ingroup rpmbuild
* Function to query spec file(s).
* @param arg query argument
* @return 0 on success, else no. of failures
*/
-int rpmspecQuery(rpmts ts, QVA_t qva, const char * arg)
- /*@globals rpmGlobalMacroContext, h_errno,
- fileSystem, internalState @*/
- /*@modifies ts, qva, rpmGlobalMacroContext,
- fileSystem, internalState @*/;
+int rpmspecQuery(rpmts ts, QVA_t qva, const char * arg);
/** \ingroup rpmbuild
*/
-struct OpenFileInfo * newOpenFileInfo(void)
- /*@*/;
+struct OpenFileInfo * newOpenFileInfo(void);
/** \ingroup rpmbuild
* @param spec spec file control structure
* @param tag
* @param lang
*/
-spectag stashSt(Spec spec, Header h, int tag, const char * lang)
- /*@modifies spec->st @*/;
+spectag stashSt(Spec spec, Header h, int tag, const char * lang);
/** \ingroup rpmbuild
* @param spec spec file control structure
* @param field
* @param tag
*/
-int addSource(Spec spec, Package pkg, const char * field, int tag)
- /*@globals rpmGlobalMacroContext, h_errno @*/
- /*@modifies spec->sources, spec->numSources,
- spec->st, spec->macros,
- pkg->icon,
- rpmGlobalMacroContext @*/;
+int addSource(Spec spec, Package pkg, const char * field, int tag);
/** \ingroup rpmbuild
* @param spec spec file control structure
* @param field
* @param tag
*/
-int parseNoSource(Spec spec, const char * field, int tag)
- /*@modifies nothing @*/;
+int parseNoSource(Spec spec, const char * field, int tag);
#ifdef __cplusplus
}
#include "debug.h"
-/*@-redecl@*/
extern int specedit;
-/*@=redecl@*/
#define SKIPWHITE(_x) {while(*(_x) && (xisspace(*_x) || *(_x) == ',')) (_x)++;}
#define SKIPNONWHITE(_x){while(*(_x) &&!(xisspace(*_x) || *(_x) == ',')) (_x)++;}
-/*@access Header @*/ /* compared with NULL */
-/*@access rpmfi @*/ /* compared with NULL */
-
/**
* @param p trigger entry chain
* @return NULL always
*/
static inline
-/*@null@*/ struct TriggerFileEntry * freeTriggerFiles(/*@only@*/ /*@null@*/ struct TriggerFileEntry * p)
- /*@modifies p @*/
+struct TriggerFileEntry * freeTriggerFiles(struct TriggerFileEntry * p)
{
struct TriggerFileEntry *o, *q = p;
* @return NULL always
*/
static inline
-/*@null@*/ struct Source * freeSources(/*@only@*/ /*@null@*/ struct Source * s)
- /*@modifies s @*/
+struct Source * freeSources(struct Source * s)
{
struct Source *r, *t = s;
return NULL;
}
-/*@-boundswrite@*/
-int lookupPackage(Spec spec, const char *name, int flag, /*@out@*/Package *pkg)
+int lookupPackage(Spec spec, const char *name, int flag,Package *pkg)
{
const char *pname;
const char *fullName;
} else {
fullName = n = alloca(strlen(name)+1);
}
- /*@-mayaliasunique@*/
strcpy(n, name);
- /*@=mayaliasunique@*/
}
/* Locate package with fullName */
}
if (pkg)
- /*@-dependenttrans@*/ *pkg = p; /*@=dependenttrans@*/
+ *pkg = p;
return ((p == NULL) ? 1 : 0);
}
-/*@=boundswrite@*/
Package newPackage(Spec spec)
{
/**
*/
-static inline /*@owned@*/ struct Source *findSource(Spec spec, int num, int flag)
- /*@*/
+static inline struct Source *findSource(Spec spec, int num, int flag)
{
struct Source *p;
return NULL;
}
-/*@-boundsread@*/
int parseNoSource(Spec spec, const char * field, int tag)
{
const char *f, *fe;
return 0;
}
-/*@=boundsread@*/
-/*@-boundswrite@*/
int addSource(Spec spec, Package pkg, const char *field, int tag)
{
struct Source *p;
int num = 0;
buf[0] = '\0';
- /*@-branchstate@*/
switch (tag) {
case RPMTAG_SOURCE:
flag = RPMBUILD_ISSOURCE;
fieldp = NULL;
break;
}
- /*@=branchstate@*/
/* Get the number */
if (tag != RPMTAG_ICON) {
spec->numSources++;
if (tag != RPMTAG_ICON) {
- /*@-nullpass@*/ /* LCL: varargs needs null annotate. */
const char *body = rpmGetPath("%{_sourcedir}/", p->source, NULL);
- /*@=nullpass@*/
sprintf(buf, "%s%d",
(flag & RPMBUILD_ISPATCH) ? "PATCH" : "SOURCE", num);
return 0;
}
-/*@=boundswrite@*/
/**
*/
-static inline /*@only@*/ /*@null@*/ speclines newSl(void)
- /*@*/
+static inline speclines newSl(void)
{
speclines sl = NULL;
- /*@-branchstate@*/
if (specedit) {
sl = xmalloc(sizeof(*sl));
sl->sl_lines = NULL;
sl->sl_nalloc = 0;
sl->sl_nlines = 0;
}
- /*@=branchstate@*/
return sl;
}
/**
*/
-/*@-boundswrite@*/
-static inline /*@null@*/ speclines freeSl(/*@only@*/ /*@null@*/ speclines sl)
- /*@modifies sl @*/
+static inline speclines freeSl(speclines sl)
{
int i;
if (sl == NULL) return NULL;
for (i = 0; i < sl->sl_nlines; i++)
- /*@-unqualifiedtrans@*/
sl->sl_lines[i] = _free(sl->sl_lines[i]);
- /*@=unqualifiedtrans@*/
sl->sl_lines = _free(sl->sl_lines);
return _free(sl);
}
-/*@=boundswrite@*/
/**
*/
-static inline /*@only@*/ /*@null@*/ spectags newSt(void)
- /*@*/
+static inline spectags newSt(void)
{
spectags st = NULL;
- /*@-branchstate@*/
if (specedit) {
st = xmalloc(sizeof(*st));
st->st_t = NULL;
st->st_nalloc = 0;
st->st_ntags = 0;
}
- /*@=branchstate@*/
return st;
}
/**
*/
-static inline /*@null@*/ spectags freeSt(/*@only@*/ /*@null@*/ spectags st)
- /*@modifies st @*/
+static inline spectags freeSt(spectags st)
{
int i;
if (st == NULL) return NULL;
spec->st = newSt();
spec->fileStack = NULL;
-/*@-boundswrite@*/
spec->lbuf[0] = '\0';
-/*@=boundswrite@*/
spec->line = spec->lbuf;
spec->nextline = NULL;
spec->nextpeekc = '\0';
spec->force = 0;
spec->anyarch = 0;
-/*@i@*/ spec->macros = rpmGlobalMacroContext;
+ spec->macros = rpmGlobalMacroContext;
return spec;
}
while (spec->readStack) {
rl = spec->readStack;
- /*@-dependenttrans@*/
spec->readStack = rl->next;
- /*@=dependenttrans@*/
rl->next = NULL;
rl = _free(rl);
}
spec->buildRestrictions = headerFree(spec->buildRestrictions);
if (!spec->recursing) {
-/*@-boundswrite@*/
if (spec->BASpecs != NULL)
while (spec->BACount--) {
- /*@-unqualifiedtrans@*/
spec->BASpecs[spec->BACount] =
freeSpec(spec->BASpecs[spec->BACount]);
- /*@=unqualifiedtrans@*/
}
-/*@=boundswrite@*/
- /*@-compdef@*/
spec->BASpecs = _free(spec->BASpecs);
- /*@=compdef@*/
}
spec->BANames = _free(spec->BANames);
return spec;
}
-/*@only@*/
struct OpenFileInfo * newOpenFileInfo(void)
{
struct OpenFileInfo *ofi;
ofi->fd = NULL;
ofi->fileName = NULL;
ofi->lineNum = 0;
-/*@-boundswrite@*/
ofi->readBuf[0] = '\0';
-/*@=boundswrite@*/
ofi->readPtr = NULL;
ofi->next = NULL;
*/
static void
printNewSpecfile(Spec spec)
- /*@globals fileSystem @*/
- /*@modifies spec->sl->sl_lines[], fileSystem @*/
{
Header h;
speclines sl = spec->sl;
if (sl == NULL || st == NULL)
return;
- /*@-branchstate@*/
for (i = 0; i < st->st_ntags; i++) {
spectag t = st->st_t + i;
const char * tn = tagName(t->t_tag);
Package pkg;
char *fe;
-/*@-bounds@*/
strcpy(fmt, t->t_msgid);
for (fe = fmt; *fe && *fe != '('; fe++)
{} ;
if (*fe == '(') *fe = '\0';
-/*@=bounds@*/
h = NULL;
for (pkg = spec->packages; pkg != NULL; pkg = pkg->next) {
const char *pkgname;
h = pkg->header;
(void) headerNVR(h, &pkgname, NULL, NULL);
if (!strcmp(pkgname, fmt))
- /*@innerbreak@*/ break;
+ break;
}
if (pkg == NULL || h == NULL)
h = spec->packages->header;
continue;
fmt[0] = '\0';
-/*@-boundswrite@*/
(void) stpcpy( stpcpy( stpcpy( fmt, "%{"), tn), "}");
-/*@=boundswrite@*/
msgstr = _free(msgstr);
/* XXX this should use queryHeader(), but prints out tn as well. */
return;
}
-/*@-boundswrite@*/
switch(t->t_tag) {
case RPMTAG_SUMMARY:
case RPMTAG_GROUP:
- /*@-unqualifiedtrans@*/
sl->sl_lines[t->t_startx] = _free(sl->sl_lines[t->t_startx]);
- /*@=unqualifiedtrans@*/
if (t->t_lang && strcmp(t->t_lang, RPMBUILD_DEFAULT_LANG))
continue;
{ char *buf = xmalloc(strlen(tn) + sizeof(": ") + strlen(msgstr));
(void) stpcpy( stpcpy( stpcpy(buf, tn), ": "), msgstr);
sl->sl_lines[t->t_startx] = buf;
}
- /*@switchbreak@*/ break;
+ break;
case RPMTAG_DESCRIPTION:
for (j = 1; j < t->t_nlines; j++) {
if (*sl->sl_lines[t->t_startx + j] == '%')
- /*@innercontinue@*/ continue;
- /*@-unqualifiedtrans@*/
+ continue;
sl->sl_lines[t->t_startx + j] =
_free(sl->sl_lines[t->t_startx + j]);
- /*@=unqualifiedtrans@*/
}
if (t->t_lang && strcmp(t->t_lang, RPMBUILD_DEFAULT_LANG)) {
sl->sl_lines[t->t_startx] = _free(sl->sl_lines[t->t_startx]);
sl->sl_lines[t->t_startx + 1] = xstrdup(msgstr);
if (t->t_nlines > 2)
sl->sl_lines[t->t_startx + 2] = xstrdup("\n\n");
- /*@switchbreak@*/ break;
+ break;
}
-/*@=boundswrite@*/
}
- /*@=branchstate@*/
msgstr = _free(msgstr);
-/*@-boundsread@*/
for (i = 0; i < sl->sl_nlines; i++) {
const char * s = sl->sl_lines[i];
if (s == NULL)
if (strchr(s, '\n') == NULL && s[strlen(s)-1] != '\n')
printf("\n");
}
-/*@=boundsread@*/
}
int rpmspecQuery(rpmts ts, QVA_t qva, const char * arg)
if (qva->qva_showPackage == NULL)
goto exit;
-/*@-branchstate@*/
- /*@-mods@*/ /* FIX: make spec abstract */
+ /* FIX: make spec abstract */
if (parseSpec(ts, arg, "/", buildRoot, recursing, passPhrase,
cookie, anyarch, force)
|| (spec = rpmtsSetSpec(ts, NULL)) == NULL)
_("query of specfile %s failed, can't parse\n"), arg);
goto exit;
}
- /*@=mods@*/
-/*@=branchstate@*/
res = 0;
if (specedit) {
projects / tools / librpm-tizen.git / commitdiff