rpmio/macro.c

Go to the documentation of this file.

/*@-boundsread@*/
#include "system.h"
#include <stdarg.h>

#if !defined(isblank)
#define isblank(_c)     ((_c) == ' ' || (_c) == '\t')
#endif
#define iseol(_c)       ((_c) == '\n' || (_c) == '\r')

#define STREQ(_t, _f, _fn)      ((_fn) == (sizeof(_t)-1) && !strncmp((_t), (_f), (_fn)))

#ifdef DEBUG_MACROS
#include <sys/types.h>
#include <errno.h>
#include <fcntl.h>
#include <getopt.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define rpmError fprintf
#define RPMERR_BADSPEC stderr
#undef  _
#define _(x)    x

#define vmefail()               (exit(1), NULL)
#define urlPath(_xr, _r)        *(_r) = (_xr)

typedef FILE * FD_t;
#define Fopen(_path, _fmode)    fopen(_path, "r");
#define Ferror                  ferror
#define Fstrerror(_fd)          strerror(errno)
#define Fread                   fread
#define Fclose                  fclose

#define fdGetFILE(_fd)          (_fd)

#else

/*@observer@*/ /*@checked@*/
const char * rpmMacrofiles = MACROFILES;

#include <rpmio_internal.h>
#include <rpmmessages.h>
#include <rpmerr.h>

#ifdef  WITH_LUA
#include <rpmlua.h>
#endif

#endif

#include <rpmmacro.h>

#include "debug.h"

#if defined(__LCLINT__)
/*@-exportheader@*/
extern const unsigned short int **__ctype_b_loc (void) /*@*/;
/*@=exportheader@*/
#endif

/*@access FD_t@*/               /* XXX compared with NULL */
/*@access MacroContext@*/
/*@access MacroEntry@*/
/*@access rpmlua @*/

static struct MacroContext_s rpmGlobalMacroContext_s;
/*@-compmempass@*/
MacroContext rpmGlobalMacroContext = &rpmGlobalMacroContext_s;
/*@=compmempass@*/

static struct MacroContext_s rpmCLIMacroContext_s;
/*@-compmempass@*/
MacroContext rpmCLIMacroContext = &rpmCLIMacroContext_s;
/*@=compmempass@*/

typedef /*@abstract@*/ struct MacroBuf_s {
/*@kept@*/ /*@exposed@*/
    const char * s;             
/*@shared@*/
    char * t;                   
    size_t nb;                  
    int depth;                  
    int macro_trace;            
    int expand_trace;           
/*@kept@*/ /*@exposed@*/ /*@null@*/
    void * spec;                
/*@kept@*/ /*@exposed@*/
    MacroContext mc;
} * MacroBuf;

#define SAVECHAR(_mb, _c) { *(_mb)->t = (_c), (_mb)->t++, (_mb)->nb--; }

/*@-exportlocal -exportheadervar@*/

#define _MAX_MACRO_DEPTH        16
/*@unchecked@*/
int max_macro_depth = _MAX_MACRO_DEPTH;

#define _PRINT_MACRO_TRACE      0
/*@unchecked@*/
int print_macro_trace = _PRINT_MACRO_TRACE;

#define _PRINT_EXPAND_TRACE     0
/*@unchecked@*/
int print_expand_trace = _PRINT_EXPAND_TRACE;
/*@=exportlocal =exportheadervar@*/

#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 @*/;

/*@unused@*/ static inline /*@null@*/ void *
_free(/*@only@*/ /*@null@*/ const void * p)
        /*@modifies p@*/
{
    if (p != NULL)      free((void *)p);
    return NULL;
}

/* =============================================================== */

static int
compareMacroName(const void * ap, const void * bp)
        /*@*/
{
    MacroEntry ame = *((MacroEntry *)ap);
    MacroEntry bme = *((MacroEntry *)bp);

    if (ame == NULL && bme == NULL)
        return 0;
    if (ame == NULL)
        return 1;
    if (bme == NULL)
        return -1;
    return strcmp(ame->name, bme->name);
}

/*@-boundswrite@*/
static void
expandMacroTable(MacroContext mc)
        /*@modifies mc @*/
{
    if (mc->macroTable == NULL) {
        mc->macrosAllocated = MACRO_CHUNK_SIZE;
        mc->macroTable = (MacroEntry *)
            xmalloc(sizeof(*(mc->macroTable)) * mc->macrosAllocated);
        mc->firstFree = 0;
    } else {
        mc->macrosAllocated += MACRO_CHUNK_SIZE;
        mc->macroTable = (MacroEntry *)
            xrealloc(mc->macroTable, sizeof(*(mc->macroTable)) *
                        mc->macrosAllocated);
    }
    memset(&mc->macroTable[mc->firstFree], 0, MACRO_CHUNK_SIZE * sizeof(*(mc->macroTable)));
}
/*@=boundswrite@*/

static void
sortMacroTable(MacroContext mc)
        /*@modifies mc @*/
{
    int i;

    if (mc == NULL || mc->macroTable == NULL)
        return;

    qsort(mc->macroTable, mc->firstFree, sizeof(*(mc->macroTable)),
                compareMacroName);

    /* Empty pointers are now at end of table. Reset first free index. */
    for (i = 0; i < mc->firstFree; i++) {
        if (mc->macroTable[i] != NULL)
            continue;
        mc->firstFree = i;
        break;
    }
}

void
rpmDumpMacroTable(MacroContext mc, FILE * fp)
{
    int nempty = 0;
    int nactive = 0;

    if (mc == NULL) mc = rpmGlobalMacroContext;
    if (fp == NULL) fp = stderr;
    
    fprintf(fp, "========================\n");
    if (mc->macroTable != NULL) {
        int i;
        for (i = 0; i < mc->firstFree; i++) {
            MacroEntry me;
            if ((me = mc->macroTable[i]) == NULL) {
                /* XXX this should never happen */
                nempty++;
                continue;
            }
            fprintf(fp, "%3d%c %s", me->level,
                        (me->used > 0 ? '=' : ':'), me->name);
            if (me->opts && *me->opts)
                    fprintf(fp, "(%s)", me->opts);
            if (me->body && *me->body)
                    fprintf(fp, "\t%s", me->body);
            fprintf(fp, "\n");
            nactive++;
        }
    }
    fprintf(fp, _("======================== active %d empty %d\n"),
                nactive, nempty);
}

/*@-boundswrite@*/
/*@dependent@*/ /*@null@*/
static MacroEntry *
findEntry(MacroContext mc, const char * name, size_t namelen)
        /*@*/
{
    MacroEntry key, *ret;
    char namebuf[1024];

/*@-globs@*/
    if (mc == NULL) mc = rpmGlobalMacroContext;
/*@=globs@*/
    if (mc->macroTable == NULL || mc->firstFree == 0)
        return NULL;

/*@-branchstate@*/
    if (namelen > 0) {
        strncpy(namebuf, name, namelen);
        namebuf[namelen] = '\0';
        name = namebuf;
    }
/*@=branchstate@*/
    
    key = memset(alloca(sizeof(*key)), 0, sizeof(*key));
    /*@-temptrans -assignexpose@*/
    key->name = (char *)name;
    /*@=temptrans =assignexpose@*/
    ret = (MacroEntry *) bsearch(&key, mc->macroTable, mc->firstFree,
                        sizeof(*(mc->macroTable)), compareMacroName);
    /* XXX TODO: find 1st empty slot and return that */
    return ret;
}
/*@=boundswrite@*/

/* =============================================================== */

/*@-boundswrite@*/
/*@null@*/
static char *
rdcl(/*@returned@*/ char * buf, size_t size, FD_t fd)
        /*@globals fileSystem @*/
        /*@modifies buf, fileSystem @*/
{
    char *q = buf - 1;          /* initialize just before buffer. */
    size_t nb = 0;
    size_t nread = 0;
    FILE * f = fdGetFILE(fd);
    int pc = 0, bc = 0;
    char *p = buf;

    if (f != NULL)
    do {
        *(++q) = '\0';                  /* terminate and move forward. */
        if (fgets(q, size, f) == NULL)  /* read next line. */
            break;
        nb = strlen(q);
        nread += nb;                    /* trim trailing \r and \n */
        for (q += nb - 1; nb > 0 && iseol(*q); q--)
            nb--;
        for (; p <= q; p++) {
            switch (*p) {
                case '\\':
                    switch (*(p+1)) {
                        case '\0': /*@switchbreak@*/ break;
                        default: p++; /*@switchbreak@*/ break;
                    }
                    /*@switchbreak@*/ break;
                case '%':
                    switch (*(p+1)) {
                        case '{': p++, bc++; /*@switchbreak@*/ break;
                        case '(': p++, pc++; /*@switchbreak@*/ break;
                        case '%': p++; /*@switchbreak@*/ 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;
            }
        }
        if (nb == 0 || (*q != '\\' && !bc && !pc) || *(q+1) == '\0') {
            *(++q) = '\0';              /* trim trailing \r, \n */
            break;
        }
        q++; p++; nb++;                 /* copy newline too */
        size -= nb;
        if (*q == '\r')                 /* XXX avoid \r madness */
            *q = '\n';
    } while (size > 0);
    return (nread > 0 ? buf : NULL);
}
/*@=boundswrite@*/

/*@null@*/
static const char *
matchchar(const char * p, char pl, char pr)
        /*@*/
{
    int lvl = 0;
    char c;

    while ((c = *p++) != '\0') {
        if (c == '\\') {                /* Ignore escaped chars */
            p++;
            continue;
        }
        if (c == pr) {
            if (--lvl <= 0)     return --p;
        } else if (c == pl)
            lvl++;
    }
    return (const char *)NULL;
}

static void
printMacro(MacroBuf mb, const char * s, const char * se)
        /*@globals fileSystem @*/
        /*@modifies fileSystem @*/
{
    const char *senl;
    const char *ellipsis;
    int choplen;

    if (s >= se) {      /* XXX just in case */
        fprintf(stderr, _("%3d>%*s(empty)"), mb->depth,
                (2 * mb->depth + 1), "");
        return;
    }

    if (s[-1] == '{')
        s--;

    /* Print only to first end-of-line (or end-of-string). */
    for (senl = se; *senl && !iseol(*senl); senl++)
        {};

    /* Limit trailing non-trace output */
    choplen = 61 - (2 * mb->depth);
    if ((senl - s) > choplen) {
        senl = s + choplen;
        ellipsis = "...";
    } else
        ellipsis = "";

    /* Substitute caret at end-of-macro position */
    fprintf(stderr, "%3d>%*s%%%.*s^", mb->depth,
        (2 * mb->depth + 1), "", (int)(se - s), s);
    if (se[1] != '\0' && (senl - (se+1)) > 0)
        fprintf(stderr, "%-.*s%s", (int)(senl - (se+1)), se+1, ellipsis);
    fprintf(stderr, "\n");
}

static void
printExpansion(MacroBuf mb, const char * t, const char * te)
        /*@globals fileSystem @*/
        /*@modifies fileSystem @*/
{
    const char *ellipsis;
    int choplen;

    if (!(te > t)) {
        fprintf(stderr, _("%3d<%*s(empty)\n"), mb->depth, (2 * mb->depth + 1), "");
        return;
    }

    /* Shorten output which contains newlines */
    while (te > t && iseol(te[-1]))
        te--;
    ellipsis = "";
    if (mb->depth > 0) {
        const char *tenl;

        /* Skip to last line of expansion */
        while ((tenl = strchr(t, '\n')) && tenl < te)
            t = ++tenl;

        /* Limit expand output */
        choplen = 61 - (2 * mb->depth);
        if ((te - t) > choplen) {
            te = t + choplen;
            ellipsis = "...";
        }
    }

    fprintf(stderr, "%3d<%*s", mb->depth, (2 * mb->depth + 1), "");
    if (te > t)
        fprintf(stderr, "%.*s%s", (int)(te - t), t, ellipsis);
    fprintf(stderr, "\n");
}

#define SKIPBLANK(_s, _c)       \
        /*@-globs@*/    /* FIX: __ctype_b */ \
        while (((_c) = *(_s)) && isblank(_c)) \
                (_s)++;         \
        /*@=globs@*/

#define SKIPNONBLANK(_s, _c)    \
        /*@-globs@*/    /* FIX: __ctype_b */ \
        while (((_c) = *(_s)) && !(isblank(_c) || iseol(_c))) \
                (_s)++;         \
        /*@=globs@*/

#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
expandT(MacroBuf mb, const char * f, size_t flen)
        /*@globals rpmGlobalMacroContext, h_errno, fileSystem@*/
        /*@modifies mb, rpmGlobalMacroContext, fileSystem @*/
{
    char *sbuf;
    const char *s = mb->s;
    int rc;

    sbuf = alloca(flen + 1);
    memset(sbuf, 0, (flen + 1));

    strncpy(sbuf, f, flen);
    sbuf[flen] = '\0';
    mb->s = sbuf;
    rc = expandMacro(mb);
    mb->s = s;
    return rc;
}

#if 0

static int
expandS(MacroBuf mb, char * tbuf, size_t tbuflen)
        /*@globals rpmGlobalMacroContext, fileSystem@*/
        /*@modifies mb, *tbuf, rpmGlobalMacroContext, fileSystem @*/
{
    const char *t = mb->t;
    size_t nb = mb->nb;
    int rc;

    mb->t = tbuf;
    mb->nb = tbuflen;
    rc = expandMacro(mb);
    mb->t = t;
    mb->nb = nb;
    return rc;
}
#endif

/*@-boundswrite@*/
static int
expandU(MacroBuf mb, char * u, size_t ulen)
        /*@globals rpmGlobalMacroContext, h_errno, fileSystem@*/
        /*@modifies mb, *u, rpmGlobalMacroContext, fileSystem @*/
{
    const char *s = mb->s;
    char *t = mb->t;
    size_t nb = mb->nb;
    char *tbuf;
    int rc;

    tbuf = alloca(ulen + 1);
    memset(tbuf, 0, (ulen + 1));

    mb->s = u;
    mb->t = tbuf;
    mb->nb = ulen;
    rc = expandMacro(mb);

    tbuf[ulen] = '\0';  /* XXX just in case */
    if (ulen > mb->nb)
        strncpy(u, tbuf, (ulen - mb->nb + 1));

    mb->s = s;
    mb->t = t;
    mb->nb = nb;

    return rc;
}
/*@=boundswrite@*/

/*@-boundswrite@*/
static int
doShellEscape(MacroBuf mb, const char * cmd, size_t clen)
        /*@globals rpmGlobalMacroContext, h_errno, fileSystem @*/
        /*@modifies mb, rpmGlobalMacroContext, fileSystem @*/
{
    char pcmd[BUFSIZ];
    FILE *shf;
    int rc;
    int c;

    strncpy(pcmd, cmd, clen);
    pcmd[clen] = '\0';
    rc = expandU(mb, pcmd, sizeof(pcmd));
    if (rc)
        return rc;

    if ((shf = popen(pcmd, "r")) == NULL)
        return 1;
    while(mb->nb > 0 && (c = fgetc(shf)) != EOF)
        SAVECHAR(mb, c);
    (void) pclose(shf);

    /* XXX delete trailing \r \n */
    while (iseol(mb->t[-1])) {
        *(mb->t--) = '\0';
        mb->nb++;
    }
    return 0;
}
/*@=boundswrite@*/

/*@dependent@*/ static const char *
doDefine(MacroBuf mb, /*@returned@*/ const char * se, int level, int expandbody)
        /*@globals rpmGlobalMacroContext, h_errno @*/
        /*@modifies mb, rpmGlobalMacroContext @*/
{
    const char *s = se;
    char buf[BUFSIZ], *n = buf, *ne;
    char *o = NULL, *oe;
    char *b, *be;
    int c;
    int oc = ')';

    SKIPBLANK(s, c);
    if (c == '.')               /* XXX readonly macros */
        *n++ = c = *s++;
    if (c == '.')               /* XXX readonly macros */
        *n++ = c = *s++;
    ne = n;

    /* Copy name */
    COPYNAME(ne, s, c);

    /* Copy opts (if present) */
    oe = ne + 1;
    if (*s == '(') {
        s++;    /* skip ( */
        o = oe;
        COPYOPTS(oe, s, oc);
        s++;    /* skip ) */
    }

    /* Copy body, skipping over escaped newlines */
    b = be = oe + 1;
    SKIPBLANK(s, c);
    if (c == '{') {     /* XXX permit silent {...} grouping */
        if ((se = matchchar(s, c, '}')) == NULL) {
            rpmError(RPMERR_BADSPEC,
                _("Macro %%%s has unterminated body\n"), n);
            se = s;     /* XXX W2DO? */
            return se;
        }
        s++;    /* XXX skip { */
/*@-boundswrite@*/
        strncpy(b, s, (se - s));
        b[se - s] = '\0';
/*@=boundswrite@*/
        be += strlen(b);
        se++;   /* XXX skip } */
        s = se; /* move scan forward */
    } else {    /* otherwise free-field */
/*@-boundswrite@*/
        int bc = 0, pc = 0;
        while (*s && (bc || pc || !iseol(*s))) {
            switch (*s) {
                case '\\':
                    switch (*(s+1)) {
                        case '\0': /*@switchbreak@*/ break;
                        default: s++; /*@switchbreak@*/ break;
                    }
                    /*@switchbreak@*/ break;
                case '%':
                    switch (*(s+1)) {
                        case '{': *be++ = *s++; bc++; /*@switchbreak@*/ break;
                        case '(': *be++ = *s++; pc++; /*@switchbreak@*/ break;
                        case '%': *be++ = *s++; /*@switchbreak@*/ 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;
            }
            *be++ = *s++;
        }
        *be = '\0';

        if (bc || pc) {
            rpmError(RPMERR_BADSPEC,
                _("Macro %%%s has unterminated body\n"), n);
            se = s;     /* XXX W2DO? */
            return se;
        }

        /* Trim trailing blanks/newlines */
/*@-globs@*/
        while (--be >= b && (c = *be) && (isblank(c) || iseol(c)))
            {};
/*@=globs@*/
        *(++be) = '\0'; /* one too far */
/*@=boundswrite@*/
    }

    /* Move scan over body */
    while (iseol(*s))
        s++;
    se = s;

    /* Names must start with alphabetic or _ and be at least 3 chars */
    if (!((c = *n) && (xisalpha(c) || c == '_') && (ne - n) > 2)) {
        rpmError(RPMERR_BADSPEC,
                _("Macro %%%s has illegal name (%%define)\n"), n);
        return se;
    }

    /* Options must be terminated with ')' */
    if (o && oc != ')') {
        rpmError(RPMERR_BADSPEC, _("Macro %%%s has unterminated opts\n"), n);
        return se;
    }

    if ((be - b) < 1) {
        rpmError(RPMERR_BADSPEC, _("Macro %%%s has empty body\n"), n);
        return se;
    }

/*@-modfilesys@*/
    if (expandbody && expandU(mb, b, (&buf[sizeof(buf)] - b))) {
        rpmError(RPMERR_BADSPEC, _("Macro %%%s failed to expand\n"), n);
        return se;
    }
/*@=modfilesys@*/

    if (n != buf)               /* XXX readonly macros */
        n--;
    if (n != buf)               /* XXX readonly macros */
        n--;
    addMacro(mb->mc, n, o, b, (level - 1));

    return se;
}

/*@dependent@*/ static const char *
doUndefine(MacroContext mc, /*@returned@*/ const char * se)
        /*@globals rpmGlobalMacroContext @*/
        /*@modifies mc, rpmGlobalMacroContext @*/
{
    const char *s = se;
    char buf[BUFSIZ], *n = buf, *ne = n;
    int c;

    COPYNAME(ne, s, c);

    /* Move scan over body */
    while (iseol(*s))
        s++;
    se = s;

    /* Names must start with alphabetic or _ and be at least 3 chars */
    if (!((c = *n) && (xisalpha(c) || c == '_') && (ne - n) > 2)) {
        rpmError(RPMERR_BADSPEC,
                _("Macro %%%s has illegal name (%%undefine)\n"), n);
        return se;
    }

    delMacro(mc, n);

    return se;
}

#ifdef  DYING
static void
dumpME(const char * msg, MacroEntry me)
        /*@globals fileSystem @*/
        /*@modifies fileSystem @*/
{
    if (msg)
        fprintf(stderr, "%s", msg);
    fprintf(stderr, "\tme %p", me);
    if (me)
        fprintf(stderr,"\tname %p(%s) prev %p",
                me->name, me->name, me->prev);
    fprintf(stderr, "\n");
}
#endif

static void
pushMacro(/*@out@*/ MacroEntry * mep, const char * n, /*@null@*/ const char * o,
                /*@null@*/ const char * b, int level)
        /*@modifies *mep @*/
{
    MacroEntry prev = (mep && *mep ? *mep : NULL);
    MacroEntry me = (MacroEntry) xmalloc(sizeof(*me));
    const char *name = n;

    if (*name == '.')           /* XXX readonly macros */
        name++;
    if (*name == '.')           /* XXX readonly macros */
        name++;

    /*@-assignexpose@*/
    me->prev = prev;
    /*@=assignexpose@*/
    me->name = (prev ? prev->name : xstrdup(name));
    me->opts = (o ? xstrdup(o) : NULL);
    me->body = xstrdup(b ? b : "");
    me->used = 0;
    me->level = level;
    me->flags = (name != n);
/*@-boundswrite@*/
/*@-branchstate@*/
    if (mep)
        *mep = me;
    else
        me = _free(me);
/*@=branchstate@*/
/*@=boundswrite@*/
}

static void
popMacro(MacroEntry * mep)
        /*@modifies *mep @*/
{
        MacroEntry me = (*mep ? *mep : NULL);

/*@-branchstate@*/
        if (me) {
                /* XXX cast to workaround const */
                /*@-onlytrans@*/
/*@-boundswrite@*/
                if ((*mep = me->prev) == NULL)
                        me->name = _free(me->name);
/*@=boundswrite@*/
                me->opts = _free(me->opts);
                me->body = _free(me->body);
                me = _free(me);
                /*@=onlytrans@*/
        }
/*@=branchstate@*/
}

static void
freeArgs(MacroBuf mb)
        /*@modifies mb @*/
{
    MacroContext mc = mb->mc;
    int ndeleted = 0;
    int i;

    if (mc == NULL || mc->macroTable == NULL)
        return;

    /* Delete dynamic macro definitions */
    for (i = 0; i < mc->firstFree; i++) {
        MacroEntry *mep, me;
        int skiptest = 0;
        mep = &mc->macroTable[i];
        me = *mep;

        if (me == NULL)         /* XXX this should never happen */
            continue;
        if (me->level < mb->depth)
            continue;
        if (strlen(me->name) == 1 && strchr("#*0", *me->name)) {
            if (*me->name == '*' && me->used > 0)
                skiptest = 1; /* XXX skip test for %# %* %0 */
        } else if (!skiptest && me->used <= 0) {
#if NOTYET
            rpmError(RPMERR_BADSPEC,
                        _("Macro %%%s (%s) was not used below level %d\n"),
                        me->name, me->body, me->level);
#endif
        }
        popMacro(mep);
        if (!(mep && *mep))
            ndeleted++;
    }

    /* If any deleted macros, sort macro table */
    if (ndeleted)
        sortMacroTable(mc);
}

/*@-bounds@*/
/*@dependent@*/ static const char *
grabArgs(MacroBuf mb, const MacroEntry me, /*@returned@*/ const char * se,
                const char * lastc)
        /*@globals rpmGlobalMacroContext @*/
        /*@modifies mb, rpmGlobalMacroContext @*/
{
    char buf[BUFSIZ], *b, *be;
    char aname[16];
    const char *opts, *o;
    int argc = 0;
    const char **argv;
    int c;

    /* Copy macro name as argv[0], save beginning of args.  */
    buf[0] = '\0';
    b = be = stpcpy(buf, me->name);

    addMacro(mb->mc, "0", NULL, buf, mb->depth);
    
    argc = 1;   /* XXX count argv[0] */

    /* Copy args into buf until lastc */
    *be++ = ' ';
    while ((c = *se++) != '\0' && (se-1) != lastc) {
/*@-globs@*/
        if (!isblank(c)) {
            *be++ = c;
            continue;
        }
/*@=globs@*/
        /* c is blank */
        if (be[-1] == ' ')
            continue;
        /* a word has ended */
        *be++ = ' ';
        argc++;
    }
    if (c == '\0') se--;        /* one too far */
    if (be[-1] != ' ')
        argc++, be++;           /* last word has not trailing ' ' */
    be[-1] = '\0';
    if (*b == ' ') b++;         /* skip the leading ' ' */

/*
 * The macro %* analoguous to the shell's $* means "Pass all non-macro
 * parameters." Consequently, there needs to be a macro that means "Pass all
 * (including macro parameters) options". This is useful for verifying
 * parameters during expansion and yet transparently passing all parameters
 * through for higher level processing (e.g. %description and/or %setup).
 * This is the (potential) justification for %{**} ...
 */
    /* Add unexpanded args as macro */
    addMacro(mb->mc, "**", NULL, b, mb->depth);

#ifdef NOTYET
    /* XXX if macros can be passed as args ... */
    expandU(mb, buf, sizeof(buf));
#endif

    /* Build argv array */
    argv = (const char **) alloca((argc + 1) * sizeof(*argv));
    be[-1] = ' '; /* assert((be - 1) == (b + strlen(b) == buf + strlen(buf))) */
    be[0] = '\0';
    b = buf;
    for (c = 0; c < argc; c++) {
        argv[c] = b;
        b = strchr(b, ' ');
        *b++ = '\0';
    }
    /* assert(b == be);  */
    argv[argc] = NULL;

    /* Citation from glibc/posix/getopt.c:
     *    Index in ARGV of the next element to be scanned.
     *    This is used for communication to and from the caller
     *    and for communication between successive calls to `getopt'.
     *
     *    On entry to `getopt', zero means this is the first call; initialize.
     *
     *    When `getopt' returns -1, this is the index of the first of the
     *    non-option elements that the caller should itself scan.
     *
     *    Otherwise, `optind' communicates from one call to the next
     *    how much of ARGV has been scanned so far.
     */
    /* 1003.2 says this must be 1 before any call.  */

#ifdef __GLIBC__
    /*@-mods@*/
    optind = 0;         /* XXX but posix != glibc */
    /*@=mods@*/
#else
    optind = 1;
#endif

    opts = me->opts;

    /* Define option macros. */
/*@-nullstate@*/ /* FIX: argv[] can be NULL */
    while((c = getopt(argc, (char **)argv, opts)) != -1)
/*@=nullstate@*/
    {
        if (c == '?' || (o = strchr(opts, c)) == NULL) {
            rpmError(RPMERR_BADSPEC, _("Unknown option %c in %s(%s)\n"),
                        (char)c, me->name, opts);
            return se;
        }
        *be++ = '-';
        *be++ = c;
        if (o[1] == ':') {
            *be++ = ' ';
            be = stpcpy(be, optarg);
        }
        *be++ = '\0';
        aname[0] = '-'; aname[1] = c; aname[2] = '\0';
        addMacro(mb->mc, aname, NULL, b, mb->depth);
        if (o[1] == ':') {
            aname[0] = '-'; aname[1] = c; aname[2] = '*'; aname[3] = '\0';
            addMacro(mb->mc, aname, NULL, optarg, mb->depth);
        }
        be = b; /* reuse the space */
    }

    /* Add arg count as macro. */
    sprintf(aname, "%d", (argc - optind));
    addMacro(mb->mc, "#", NULL, aname, mb->depth);

    /* Add macro for each arg. Concatenate args for %*. */
    if (be) {
        *be = '\0';
        for (c = optind; c < argc; c++) {
            sprintf(aname, "%d", (c - optind + 1));
            addMacro(mb->mc, aname, NULL, argv[c], mb->depth);
            if (be != b) *be++ = ' '; /* Add space between args */
/*@-nullpass@*/ /* FIX: argv[] can be NULL */
            be = stpcpy(be, argv[c]);
/*@=nullpass@*/
        }
    }

    /* Add unexpanded args as macro. */
    addMacro(mb->mc, "*", NULL, b, mb->depth);

    return se;
}
/*@=bounds@*/

static void
doOutput(MacroBuf mb, int waserror, const char * msg, size_t msglen)
        /*@globals rpmGlobalMacroContext, h_errno, fileSystem @*/
        /*@modifies mb, rpmGlobalMacroContext, fileSystem @*/
{
    char buf[BUFSIZ];

    strncpy(buf, msg, msglen);
    buf[msglen] = '\0';
    (void) expandU(mb, buf, sizeof(buf));
    if (waserror)
        rpmError(RPMERR_BADSPEC, "%s\n", buf);
    else
        fprintf(stderr, "%s", buf);
}

static void
doFoo(MacroBuf mb, int negate, const char * f, size_t fn,
                /*@null@*/ const char * g, size_t gn)
        /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
        /*@modifies mb, rpmGlobalMacroContext, fileSystem, internalState @*/
{
    char buf[BUFSIZ], *b = NULL, *be;
    int c;

    buf[0] = '\0';
    if (g != NULL) {
        strncpy(buf, g, gn);
        buf[gn] = '\0';
        (void) expandU(mb, buf, sizeof(buf));
    }
    if (STREQ("basename", f, fn)) {
        if ((b = strrchr(buf, '/')) == NULL)
            b = buf;
        else
            b++;
#if NOTYET
    /* XXX watchout for conflict with %dir */
    } else if (STREQ("dirname", f, fn)) {
        if ((b = strrchr(buf, '/')) != NULL)
            *b = '\0';
        b = buf;
#endif
    } else if (STREQ("suffix", f, fn)) {
        if ((b = strrchr(buf, '.')) != NULL)
            b++;
    } else if (STREQ("expand", f, fn)) {
        b = buf;
    } else if (STREQ("verbose", f, fn)) {
        if (negate)
            b = (rpmIsVerbose() ? NULL : buf);
        else
            b = (rpmIsVerbose() ? buf : NULL);
    } else if (STREQ("url2path", f, fn) || STREQ("u2p", f, fn)) {
        (void)urlPath(buf, (const char **)&b);
/*@-branchstate@*/
        if (*b == '\0') b = "/";
/*@=branchstate@*/
    } else if (STREQ("uncompress", f, fn)) {
        rpmCompressedMagic compressed = COMPRESSED_OTHER;
/*@-globs@*/
        for (b = buf; (c = *b) && isblank(c);)
            b++;
        for (be = b; (c = *be) && !isblank(c);)
            be++;
/*@=globs@*/
        *be++ = '\0';
#ifndef DEBUG_MACROS
        (void) isCompressed(b, &compressed);
#endif
        switch(compressed) {
        default:
        case 0: /* COMPRESSED_NOT */
            sprintf(be, "%%__cat %s", b);
            break;
        case 1: /* COMPRESSED_OTHER */
            sprintf(be, "%%__gzip -dc %s", b);
            break;
        case 2: /* COMPRESSED_BZIP2 */
            sprintf(be, "%%__bzip2 -dc %s", b);
            break;
        case 3: /* COMPRESSED_ZIP */
            sprintf(be, "%%__unzip -qq %s", b);
            break;
        case 4: /* COMPRESSED_LZOP */
            sprintf(be, "%%__lzop %s", b);
            break;
        }
        b = be;
    } else if (STREQ("S", f, fn)) {
        for (b = buf; (c = *b) && xisdigit(c);)
            b++;
        if (!c) {       /* digit index */
            b++;
            sprintf(b, "%%SOURCE%s", buf);
        } else
            b = buf;
    } else if (STREQ("P", f, fn)) {
        for (b = buf; (c = *b) && xisdigit(c);)
            b++;
        if (!c) {       /* digit index */
            b++;
            sprintf(b, "%%PATCH%s", buf);
        } else
                        b = buf;
    } else if (STREQ("F", f, fn)) {
        b = buf + strlen(buf) + 1;
        sprintf(b, "file%s.file", buf);
    }

    if (b) {
        (void) expandT(mb, b, strlen(b));
    }
}

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;
    const char *s = mb->s, *se;
    const char *f, *fe;
    const char *g, *ge;
    size_t fn, gn;
    char *t = mb->t;    /* save expansion pointer for printExpand */
    int c;
    int rc = 0;
    int negate;
    const char * lastc;
    int chkexist;

    if (++mb->depth > max_macro_depth) {
        rpmError(RPMERR_BADSPEC,
                _("Recursion depth(%d) greater than max(%d)\n"),
                mb->depth, max_macro_depth);
        mb->depth--;
        mb->expand_trace = 1;
        return 1;
    }

/*@-branchstate@*/
    while (rc == 0 && mb->nb > 0 && (c = *s) != '\0') {
        s++;
        /* Copy text until next macro */
        switch(c) {
        case '%':
                if (*s) {       /* Ensure not end-of-string. */
                    if (*s != '%')
                        /*@switchbreak@*/ break;
                    s++;        /* skip first % in %% */
                }
                /*@fallthrough@*/
        default:
                SAVECHAR(mb, c);
                continue;
                /*@notreached@*/ /*@switchbreak@*/ break;
        }

        /* Expand next macro */
        f = fe = NULL;
        g = ge = NULL;
        if (mb->depth > 1)      /* XXX