uint32_t paramlen; /*!< No. bytes of digest parameters. */
uint32_t digestlen; /*!< No. bytes of digest. */
void * param; /*!< Digest parameters. */
- int (*Reset) (void * param)
- /*@modifies param @*/; /*!< Digest initialize. */
- int (*Update) (void * param, const byte * data, size_t size)
- /*@modifies param @*/; /*!< Digest transform. */
- int (*Digest) (void * param, byte * digest)
- /*@modifies param, digest @*/; /*!< Digest finish. */
+ int (*Reset) (void * param); /*!< Digest initialize. */
+ int (*Update) (void * param, const byte * data, size_t size); /*!< Digest transform. */
+ int (*Digest) (void * param, byte * digest); /*!< Digest finish. */
};
DIGEST_CTX
#include "debug.h"
-/*@access FD_t@*/ /* XXX compared with NULL */
-
static struct MacroContext_s rpmGlobalMacroContext_s;
MacroContext rpmGlobalMacroContext = &rpmGlobalMacroContext_s;
#define MACRO_CHUNK_SIZE 16
/* forward ref */
-static int expandMacro(MacroBuf mb)
- /*@globals rpmGlobalMacroContext,
- print_macro_trace, print_expand_trace, h_errno, fileSystem @*/
- /*@modifies mb, rpmGlobalMacroContext,
- print_macro_trace, print_expand_trace, fileSystem @*/;
+static int expandMacro(MacroBuf mb);
/**
* Wrapper to free(3), hides const compilation noise, permit NULL, return NULL.
}
#define SKIPBLANK(_s, _c) \
- /*@-globs@*/ /* FIX: __ctype_b */ \
while (((_c) = *(_s)) && isblank(_c)) \
(_s)++; \
#define SKIPNONBLANK(_s, _c) \
- /*@-globs@*/ /* FIX: __ctype_b */ \
while (((_c) = *(_s)) && !(isblank(_c) || iseol(_c))) \
(_s)++; \
#define COPYNAME(_ne, _s, _c) \
{ SKIPBLANK(_s,_c); \
- /*@-boundswrite@*/ \
while(((_c) = *(_s)) && (xisalnum(_c) || (_c) == '_')) \
*(_ne)++ = *(_s)++; \
*(_ne) = '\0'; \
- /*@=boundswrite@*/ \
}
#define COPYOPTS(_oe, _s, _c) \
- { /*@-boundswrite@*/ \
+ { \
while(((_c) = *(_s)) && (_c) != ')') \
*(_oe)++ = *(_s)++; \
*(_oe) = '\0'; \
- /*@=boundswrite@*/ \
}
/**
*/
static int
expandMacro(MacroBuf mb)
- /*@globals rpmGlobalMacroContext,
- print_macro_trace, print_expand_trace, h_errno, fileSystem @*/
- /*@modifies mb, rpmGlobalMacroContext,
- print_macro_trace, print_expand_trace, fileSystem @*/
{
MacroEntry *mep;
MacroEntry me;
urlinfo u = NULL;
int rc = 0;
-/*@-globs@*/ /* FIX: h_errno annoyance. */
if (urlSplit(url, &u))
return -1; /* XXX error returns needed. */
struct fetch_context_s * ctx;
urlinfo u;
-/*@-globs@*/ /* FIX: h_errno annoyance. */
if (urlSplit(uri, &u))
return NULL;
return -1;
}
-/*@-mustmod@*/ /* HACK: fd->req is modified. */
int davClose(void * cookie)
{
FD_t fd = cookie;
#include "debug.h"
-/*@access FILE @*/ /* XXX to permit comparison/conversion with void *. */
-
#define FDNREFS(fd) (fd ? ((FD_t)fd)->nrefs : -9)
#define FDTO(fd) (fd ? ((FD_t)fd)->rd_timeoutsecs : -99)
#define FDCPIOPOS(fd) (fd ? ((FD_t)fd)->fd_cpioPos : -99)
}
#endif
-/*@-compdef@*/ /* FIX: address->s_addr undefined. */
static int getHostAddress(const char * host, struct in_addr * address)
{
#if 0 /* XXX workaround nss_foo module hand-off using valgrind. */
return fdSeek(cookie, pos, whence);
}
-/*@-usereleased@*/ /* LCL: fd handling is tricky here. */
int ufdClose( void * cookie)
{
FD_t fd = c2f(cookie);
return fdClose(fd);
}
-/*@-nullstate@*/ /* FIX: u->{ctrl,data}->url undef after XurlLink. */
FD_t ftpOpen(const char *url, int flags,
mode_t mode, urlinfo *uret)
{
}
/* =============================================================== */
-/*@-mustmod@*/ /* LCL: *buf is modified */
static ssize_t bzdRead(void * cookie, char * buf, size_t count)
{
FD_t fd = c2f(cookie);
return ofp;
}
-/*@-readonlytrans@*/ /* FIX: double indirection. */
static char *rpmlogMsgPrefix[] = {
N_("fatal error: "),/*!< RPMLOG_EMERG */
N_("fatal error: "),/*!< RPMLOG_ALERT */
/*! The structure used to store the set of macros in a context. */
typedef struct MacroContext_s {
-/*@owned@*/MacroEntry *macroTable; /*!< Macro entry table for context. */
+ MacroEntry *macroTable; /*!< Macro entry table for context. */
int macrosAllocated;/*!< No. of allocated macros. */
int firstFree; /*!< No. of macros. */
} * MacroContext;
* @param mc (unused)
* @param fn macro file name
*/
-int rpmLoadMacroFile(MacroContext mc, const char * fn)
- /*@globals rpmGlobalMacroContext,
- h_errno, fileSystem, internalState @*/
-;
+int rpmLoadMacroFile(MacroContext mc, const char * fn);
/**
* Initialize macro context from set of macrofile(s).
* @param mc macro context
* @param macrofiles colon separated list of macro files (NULL does nothing)
*/
-void rpmInitMacros (MacroContext mc, const char * macrofiles)
- /*@globals rpmGlobalMacroContext, rpmCLIMacroContext,
- h_errno, fileSystem, internalState @*/
-;
+void rpmInitMacros (MacroContext mc, const char * macrofiles);
/**
* Destroy macro context.
static int ftpNLST(const char * url, ftpSysCall_t ftpSysCall,
struct stat * st,
char * rlbuf, size_t rlbufsiz)
- /*@globals ftpBufAlloced, ftpBuf,
- h_errno, fileSystem, internalState @*/
- /*@modifies *st, *rlbuf, ftpBufAlloced, ftpBuf,
- fileSystem, internalState @*/
{
FD_t fd;
const char * path;
return (0);
}
-int Glob_error(/*@unused@*/const char * epath, int eerrno)
+int Glob_error(const char * epath, int eerrno)
{
return 1;
}
#endif
rpmtime_t rpmswInit(void)
- /*@globals rpmsw_cycles, rpmsw_initialized, rpmsw_overhead,
- rpmsw_type @*/
- /*@modifies rpmsw_cycles, rpmsw_initialized, rpmsw_overhead,
- rpmsw_type @*/
{
struct rpmsw_s begin, end;
#if defined(HP_TIMING_NOW)
#include "debug.h"
-/*@access FD_t@*/ /* XXX compared with NULL */
-
#ifndef IPPORT_FTP
#define IPPORT_FTP 21
#endif