GCOV - Varnish Cache


/*-
 * Copyright (c) 2006 Verdens Gang AS
 * Copyright (c) 2006-2011 Varnish Software AS
 * All rights reserved.
 *
 * Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 */

#include "config.h"

#include <math.h>
#include <stdarg.h>
#include <stdlib.h>
#include <string.h>

#include "vcc_compile.h"
#include "vjsn.h"

struct expr {
        unsigned        magic;
#define EXPR_MAGIC      0x38c794ab
        vcc_type_t      fmt;
        struct vsb      *vsb;
        uint8_t         constant;
#define EXPR_VAR        (1<<0)
#define EXPR_CONST      (1<<1)
#define EXPR_STR_CONST  (1<<2)          // Last string elem is "..."
        struct token    *t1, *t2;
        struct symbol   *instance;
        int             nstr;
};

/*--------------------------------------------------------------------
 * Facility for carrying expressions around and do text-processing on
 * them.
 */

static inline int
vcc_isconst(const struct expr *e)
{
        AN(e->constant);
        return (e->constant & EXPR_CONST);
}

static inline int
vcc_islit(const struct expr *e)
{
        AN(e->constant);
        return (e->constant & EXPR_STR_CONST);
}

static const char *
vcc_utype(vcc_type_t t)
{
        if (t == STRINGS || t->stringform)
                t = STRING;
        return (t->name);
}

static vcc_type_t
vcc_stringstype(vcc_type_t t)
{
        return (t->stringform ? STRINGS : t);
}


static void vcc_expr0(struct vcc *tl, struct expr **e, vcc_type_t fmt);
static void vcc_expr_cor(struct vcc *tl, struct expr **e, vcc_type_t fmt);
static void vcc_expr_typecheck(struct vcc *tl, struct expr **e, vcc_type_t fmt,
    struct token *t1);

static struct expr *
vcc_new_expr(vcc_type_t fmt)
{
        struct expr *e;

        ALLOC_OBJ(e, EXPR_MAGIC);
        AN(e);
        e->vsb = VSB_new_auto();
        e->fmt = fmt;
        e->constant = EXPR_VAR;
        return (e);
}

static struct expr * v_printflike_(2, 3)
vcc_mk_expr(vcc_type_t fmt, const char *str, ...)
{
        va_list ap;
        struct expr *e;

        e = vcc_new_expr(fmt);
        va_start(ap, str);
        VSB_vprintf(e->vsb, str, ap);
        va_end(ap);
        AZ(VSB_finish(e->vsb));
        return (e);
}

static void
vcc_delete_expr(struct expr *e)
{
        if (e == NULL)
                return;
        CHECK_OBJ(e, EXPR_MAGIC);
        VSB_destroy(&e->vsb);
        FREE_OBJ(e);
}

/*--------------------------------------------------------------------
 * We want to get the indentation right in the emitted C code so we have
 * to represent it symbolically until we are ready to render.
 *
 * Many of the operations have very schematic output syntaxes, so we
 * use the same facility to simplify the text-processing of emitting
 * a given operation on two subexpressions.
 *
 * We use '\v' as the magic escape character.
 *      \v1  insert subexpression 1
 *      \v2  insert subexpression 2
 *      \vS  insert subexpression 1(STRINGS) as STRING
 *      \vs  insert subexpression 2(STRINGS) as STRING
 *      \vT  insert subexpression 1(STRINGS) as STRANDS
 *      \vt  insert subexpression 2(STRINGS) as STRANDS
 *      \v+  increase indentation
 *      \v-  decrease indentation
 *      anything else is literal
 *
 * When editing, we check if any of the subexpressions contain a newline
 * and issue it as an indented block of so.
 *
 * XXX: check line lengths in edit, should pass indent in for this
 */

static void
vcc_strands_edit(const struct expr *e1, const struct expr *e2)
{

        assert(e2->fmt == STRANDS || e2->fmt == STRINGS);

        if (e2->fmt == STRANDS)
                VSB_cat(e1->vsb, VSB_data(e2->vsb));
        else if (e2->nstr == 0) {
                VSB_cat(e1->vsb, "vrt_null_strands");
        }
        else if (e2->nstr == 1)
                VSB_printf(e1->vsb, "TOSTRAND(%s)", VSB_data(e2->vsb));
        else {
                VSB_printf(e1->vsb, "TOSTRANDS(%d,\v+\n%s\v-)",
                   e2->nstr, VSB_data(e2->vsb));
        }
}

static struct expr *
vcc_expr_edit(struct vcc *tl, vcc_type_t fmt, const char *p, struct expr *e1,
    struct expr *e2)
{
        struct expr *e, *e3;
        int nl = 1;

        (void) tl;

        AN(e1);
        e = vcc_new_expr(fmt);
        while (*p != '\0') {
                if (*p != '\v') {
                        if (*p != '\n' || !nl)
                                VSB_putc(e->vsb, *p);
                        nl = (*p == '\n');
                        p++;
                        continue;
                }
                assert(*p == '\v');
                switch (*++p) {
                case '+': VSB_cat(e->vsb, "\v+"); nl = 0; break;
                case '-': VSB_cat(e->vsb, "\v-"); nl = 0; break;
                case 'S':
                case 's':
                        e3 = (*p == 'S' ? e1 : e2);
                        AN(e3);
                        assert(e1->fmt == STRINGS);
                        if (e3->nstr > 1) {
                                VSB_cat(e->vsb,
                                    "\nVRT_STRANDS_string(ctx,\v+\n");
                                vcc_strands_edit(e, e3);
                                VSB_cat(e->vsb,
                                    "\v-\n)\n");
                        } else {
                                VSB_cat(e->vsb, VSB_data(e3->vsb));
                        }
                        break;
                case 'T':
                case 't':
                        e3 = (*p == 'T' ? e1 : e2);
                        AN(e3);
                        vcc_strands_edit(e, e3);
                        break;
                case '1':
                        VSB_cat(e->vsb, VSB_data(e1->vsb));
                        break;
                case '2':
                        AN(e2);
                        VSB_cat(e->vsb, VSB_data(e2->vsb));
                        break;
                default:
                        WRONG("Illegal edit in VCC expression");
                }
                p++;
        }
        AZ(VSB_finish(e->vsb));
        e->t1 = e1->t1;
        e->t2 = e1->t2;
        if (e2 != NULL)
                e->t2 = e2->t2;
        vcc_delete_expr(e1);
        vcc_delete_expr(e2);
        return (e);
}

/*--------------------------------------------------------------------
 * Expand finished expression into C-source code
 */

static void
vcc_expr_fmt(struct vsb *d, int ind, const struct expr *e1)
{
        char *p;
        int i;

        if (!e1->fmt->noindent) {
                for (i = 0; i < ind; i++)
                        VSB_putc(d, ' ');
        }
        p = VSB_data(e1->vsb);
        while (*p != '\0') {
                if (*p == '\n') {
                        VSB_putc(d, '\n');
                        if (*++p == '\0')
                                break;
                        for (i = 0; i < ind; i++)
                                VSB_putc(d, ' ');
                } else if (*p != '\v') {
                        VSB_putc(d, *p++);
                } else {
                        switch (*++p) {
                        case '+': ind += INDENT; break;
                        case '-': ind -= INDENT; break;
                        default:  WRONG("Illegal format in VCC expression");
                        }
                        p++;
                }
        }
}

/*--------------------------------------------------------------------
 */

static void
vcc_expr_tobool(struct vcc *tl, struct expr **e)
{

        if ((*e)->fmt == BOOL)
                return;
        if ((*e)->fmt == BACKEND || (*e)->fmt == INT)
                *e = vcc_expr_edit(tl, BOOL, "(\v1 != 0)", *e, NULL);
        else if ((*e)->fmt == DURATION)
                *e = vcc_expr_edit(tl, BOOL, "(\v1 > 0)", *e, NULL);
        else if ((*e)->fmt == STRINGS)
                *e = vcc_expr_edit(tl, BOOL, "VRT_Strands2Bool(\vT)", *e, NULL);
        /*
         * We do not provide automatic folding from REAL to BOOL
         * because comparing to zero is seldom an exact science
         * and we want to force people to explicitly get it right.
         */
}

/*--------------------------------------------------------------------
 */

static void
vcc_expr_tostring(struct vcc *tl, struct expr **e)
{
        const char *p;
        uint8_t constant = EXPR_VAR;

        CHECK_OBJ_NOTNULL(*e, EXPR_MAGIC);
        assert((*e)->fmt != STRINGS);

        p = (*e)->fmt->tostring;
        if (p != NULL) {
                AN(*p);
                *e = vcc_expr_edit(tl, STRINGS, p, *e, NULL);
                (*e)->constant = constant;
                (*e)->nstr = 1;
        } else {
                VSB_printf(tl->sb,
                    "Cannot convert %s to STRING.\n",
                    vcc_utype((*e)->fmt));
                vcc_ErrWhere2(tl, (*e)->t1, tl->t);
        }
}

/*--------------------------------------------------------------------
 */

void v_matchproto_(sym_expr_t)
vcc_Eval_Handle(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t type)
{

        (void)t;
        (void)tl;
        AN(sym->rname);
        AZ(type->stringform);

        if (sym->type->tostring == NULL &&
            sym->type != STRING && type == STRINGS) {
                *e = vcc_mk_expr(STRINGS, "\"%s\"", sym->name);
                (*e)->nstr = 1;
                (*e)->constant |= EXPR_CONST | EXPR_STR_CONST;
        } else {
                *e = vcc_mk_expr(sym->type, "%s", sym->rname);
                (*e)->constant = EXPR_VAR;
                (*e)->nstr = 1;
                if ((*e)->fmt == STRING)
                        (*e)->fmt = STRINGS;
        }
}

void v_matchproto_(sym_expr_t)
vcc_Eval_Sub(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t type)
{

        (void)t;
        (void)tl;
        AN(sym->rname);
        AZ(type->stringform);

        assert (sym->type == SUB);

        if (type == SUB) {
                *e = vcc_mk_expr(sym->type, "%s", sym->rname);
                (*e)->constant = EXPR_CONST;
                return;
        }

        VSB_printf(tl->sb, "Symbol '%s' can only be used as a %s expression\n",
            sym->name, sym->type->name);
        vcc_ErrWhere(tl, tl->t);
}

/*--------------------------------------------------------------------
 */

void v_matchproto_(sym_expr_t)
vcc_Eval_Var(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t type)
{

        (void)type;
        vcc_AddUses(tl, t, NULL, sym, XREF_READ);
        ERRCHK(tl);
        *e = vcc_mk_expr(sym->type, "%s", sym->rname);
        (*e)->constant = EXPR_VAR;
        (*e)->nstr = 1;
        if ((*e)->fmt == STRING)
                (*e)->fmt = STRINGS;
}

void v_matchproto_(sym_expr_t)
vcc_Eval_ProtectedHeader(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t type)
{

        AN(sym);
        AZ(sym->lorev);

        vcc_Header_Fh(tl, sym);
        sym->eval = vcc_Eval_Var;
        vcc_Eval_Var(tl, e, t, sym, type);
}

/*--------------------------------------------------------------------
 */

static struct expr *
vcc_priv_arg(struct vcc *tl, const char *p, struct symbol *sym)
{
        char buf[64];
        struct inifin *ifp;
        const char *f = NULL;

        AN(sym);
        AN(sym->vmod_name);

        if (!vstrcmp(p, "PRIV_VCL"))
                return (vcc_mk_expr(VOID, "&vmod_priv_%s", sym->vmod_name));

        if (!vstrcmp(p, "PRIV_CALL")) {
                bprintf(buf, "vmod_priv_%u", tl->unique++);
                ifp = New_IniFin(tl);
                Fh(tl, 0, "static struct vmod_priv %s;\n", buf);
                VSB_printf(ifp->fin, "\tVRT_priv_fini(ctx, &%s);", buf);
                return (vcc_mk_expr(VOID, "&%s", buf));
        }

        if (!vstrcmp(p, "PRIV_TASK"))
                f = "task";
        else if (!vstrcmp(p, "PRIV_TOP")) {
                f = "top";
                sym->r_methods &= VCL_MET_TASK_C;
        } else {
                WRONG("Wrong PRIV_ type");
        }
        AN(f);

        return (vcc_mk_expr(VOID, "VRT_priv_%s(ctx, &VGC_vmod_%s)",
            f, sym->vmod_name));
}

struct func_arg {
        vcc_type_t              type;
        const struct vjsn_val   *enums;
        const char              *cname;
        const char              *name;
        const char              *val;
        struct expr             *result;
        int                     avail;
        int                     optional;
        VTAILQ_ENTRY(func_arg)  list;
};

static struct expr *
vcc_do_enum(struct vcc *tl, const char *cfunc, int len, const char *ptr)
{
        const char *r;

        (void)tl;
        r = strchr(cfunc, '.');
        AN(r);
        return (vcc_mk_expr(VOID, "*%.*s.enum_%.*s",
            (int)(r - cfunc), cfunc, len, ptr));
}

static void
vcc_do_arg(struct vcc *tl, const char *cfunc, struct func_arg *fa)
{
        struct expr *e2;
        struct vjsn_val *vv;

        if (fa->type == ENUM) {
                ExpectErr(tl, ID);
                ERRCHK(tl);
                VTAILQ_FOREACH(vv, &fa->enums->children, list)
                        if (vcc_IdIs(tl->t, vv->value))
                                break;
                if (vv == NULL) {
                        VSB_cat(tl->sb, "Wrong enum value.");
                        VSB_cat(tl->sb, "  Expected one of:\n");
                        VTAILQ_FOREACH(vv, &fa->enums->children, list)
                                VSB_printf(tl->sb, "\t%s\n", vv->value);
                        vcc_ErrWhere(tl, tl->t);
                        return;
                }
                fa->result = vcc_do_enum(tl, cfunc, PF(tl->t));
                SkipToken(tl, ID);
        } else {
                if (fa->type == SUB)
                        tl->subref++;
                vcc_expr0(tl, &e2, fa->type);
                ERRCHK(tl);
                assert(e2->fmt == fa->type);
                fa->result = e2;
        }
        fa->avail = 1;
}

static void
vcc_func(struct vcc *tl, struct expr **e, const void *priv,
    const char *extra, struct symbol *sym)
{
        vcc_type_t rfmt;
        const char *cfunc;
        struct expr *e1;
        struct func_arg *fa, *fa2;
        VTAILQ_HEAD(,func_arg) head;
        struct token *tf, *t1;
        const struct vjsn_val *vv, *vvp;
        const char *sa, *extra_sep;
        char ssa[64];
        int n;

        CAST_OBJ_NOTNULL(vv, priv, VJSN_VAL_MAGIC);
        assert(vjsn_is_array(vv));
        vv = VTAILQ_FIRST(&vv->children);
        rfmt = VCC_Type(VTAILQ_FIRST(&vv->children)->value);
        AN(rfmt);
        vv = VTAILQ_NEXT(vv, list);
        cfunc = vv->value;
        vv = VTAILQ_NEXT(vv, list);
        sa = vv->value;
        if (*sa == '\0') {
                sa = NULL;
        }
        vv = VTAILQ_NEXT(vv, list);
        if (sym->kind == SYM_METHOD) {
                if (*e == NULL) {
                        VSB_cat(tl->sb, "Syntax error.");
                        tl->err = 1;
                        return;
                }
                vcc_NextToken(tl);
                AZ(extra);
                AN((*e)->instance);
                extra = (*e)->instance->rname;
        }
        tf = VTAILQ_PREV(tl->t, tokenhead, list);
        SkipToken(tl, '(');
        if (extra == NULL) {
                extra = "";
                extra_sep = "";
        } else {
                AN(*extra);
                extra_sep = ", ";
        }
        VTAILQ_INIT(&head);
        for (;vv != NULL; vv = VTAILQ_NEXT(vv, list)) {
                assert(vjsn_is_array(vv));
                fa = calloc(1, sizeof *fa);
                AN(fa);
                VTAILQ_INSERT_TAIL(&head, fa, list);

                vvp = VTAILQ_FIRST(&vv->children);
                if (!memcmp(vvp->value, "PRIV_", 5)) {
                        fa->result = vcc_priv_arg(tl, vvp->value, sym);
                        vvp = VTAILQ_NEXT(vvp, list);
                        if (vvp != NULL)
                                fa->cname = fa->name = vvp->value;
                        continue;
                }
                fa->type = VCC_Type(vvp->value);
                AN(fa->type);
                vvp = VTAILQ_NEXT(vvp, list);
                if (vvp != NULL) {
                        fa->name = vvp->value;
                        vvp = VTAILQ_NEXT(vvp, list);
                        AN(vvp); /* vmod_syntax 2.0 */
                        fa->cname = vvp->value;
                        vvp = VTAILQ_NEXT(vvp, list);
                        if (vvp != NULL) {
                                fa->val = vvp->value;
                                vvp = VTAILQ_NEXT(vvp, list);
                                if (vvp != NULL) {
                                        fa->enums = vvp;
                                        vvp = VTAILQ_NEXT(vvp, list);
                                }
                        }
                }
                if (sa != NULL && vvp != NULL && vjsn_is_true(vvp)) {
                        fa->optional = 1;
                        vvp = VTAILQ_NEXT(vvp, list);
                }
                AZ(vvp);
        }

        VTAILQ_FOREACH(fa, &head, list) {
                if (tl->t->tok == ')')
                        break;
                if (fa->result != NULL)
                        continue;
                if (tl->t->tok == ID) {
                        t1 = VTAILQ_NEXT(tl->t, list);
                        if (t1->tok == '=')
                                break;
                }
                vcc_do_arg(tl, cfunc, fa);
                if (tl->err)
                        VSB_printf(tl->sb, "Expected argument: %s %s\n\n",
                            fa->type->name,
                            fa->name ? fa->name : "(unnamed argument)");
                ERRCHK(tl);
                if (tl->t->tok == ')')
                        break;
                SkipToken(tl, ',');
        }
        while (tl->t->tok == ID) {
                VTAILQ_FOREACH(fa, &head, list) {
                        if (fa->name == NULL)
                                continue;
                        if (vcc_IdIs(tl->t, fa->name))
                                break;
                }
                if (fa == NULL) {
                        VSB_printf(tl->sb, "Unknown argument '%.*s'\n",
                            PF(tl->t));
                        vcc_ErrWhere(tl, tl->t);
                        return;
                }
                if (fa->result != NULL) {
                        AN(fa->name);
                        VSB_printf(tl->sb, "Argument '%s' already used\n",
                            fa->name);
                        vcc_ErrWhere(tl, tl->t);
                        return;
                }
                vcc_NextToken(tl);
                SkipToken(tl, '=');
                vcc_do_arg(tl, cfunc, fa);
                ERRCHK(tl);
                if (tl->t->tok == ')')
                        break;
                SkipToken(tl, ',');
        }

        if (sa != NULL)
                e1 = vcc_mk_expr(rfmt, "%s(ctx%s%s,\v+\n&(%s)\v+ {\n",
                    cfunc, extra_sep, extra, sa);
        else
                e1 = vcc_mk_expr(rfmt, "%s(ctx%s%s\v+",
                    cfunc, extra_sep, extra);
        n = 0;
        VTAILQ_FOREACH_SAFE(fa, &head, list, fa2) {
                n++;
                if (fa->optional) {
                        AN(fa->cname);
                        bprintf(ssa, "\v1.valid_%s = %d,\n",
                            fa->cname, fa->avail);
                        e1 = vcc_expr_edit(tl, e1->fmt, ssa, e1, NULL);
                }
                if (fa->result == NULL && fa->type == ENUM && fa->val != NULL)
                        fa->result = vcc_do_enum(tl, cfunc, vstrlen(fa->val), fa->val);
                if (fa->result == NULL && fa->val != NULL) {
                        if (fa->type == BOOL && fa->val[0] == 'f')
                                fa->result = vcc_mk_expr(fa->type, "0");
                        else if (fa->type == BOOL && fa->val[0] == 't')
                                fa->result = vcc_mk_expr(fa->type, "1");
                        else
                                fa->result = vcc_mk_expr(fa->type, "%s", fa->val);
                }
                if (fa->result != NULL && sa != NULL) {
                        if (fa->cname)
                                bprintf(ssa, "\v1.%s = \v2,\n", fa->cname);
                        else
                                bprintf(ssa, "\v1.arg%d = \v2,\n", n);
                        e1 = vcc_expr_edit(tl, e1->fmt, ssa, e1, fa->result);
                } else if (fa->result != NULL) {
                        e1 = vcc_expr_edit(tl, e1->fmt, "\v1,\n\v2",
                            e1, fa->result);
                } else if (!fa->optional) {
                        if (fa->name)
                                VSB_printf(tl->sb, "Argument '%s' missing\n",
                                    fa->name);
                        else
                                VSB_printf(tl->sb, "Argument %d missing\n", n);
                        vcc_ErrWhere(tl, tl->t);
                }
                free(fa);
        }
        if (sa != NULL) {
                *e = vcc_expr_edit(tl, e1->fmt, "\v1\v-\n}\v-\n)", e1, NULL);
        } else {
                *e = vcc_expr_edit(tl, e1->fmt, "\v1\v-\n)", e1, NULL);
        }
        SkipToken(tl, ')');
        vcc_AddUses(tl, tf, NULL, sym, XREF_READ);
}


/*--------------------------------------------------------------------
 */

void
vcc_Eval_Func(struct vcc *tl, const struct vjsn_val *spec,
    const char *extra, struct symbol *sym)
{
        struct expr *e = NULL;

        vcc_func(tl, &e, spec, extra, sym);
        if (tl->err)
                VSB_cat(tl->sb, "While compiling function call:\n");
        ERRCHK(tl);
        vcc_expr_fmt(tl->fb, tl->indent, e);
        VSB_cat(tl->fb, ";\n");
        vcc_delete_expr(e);
}

/*--------------------------------------------------------------------
 */

void v_matchproto_(sym_expr_t)
vcc_Eval_SymFunc(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t fmt)
{

        (void)t;
        (void)fmt;
        assert(sym->kind == SYM_FUNC || sym->kind == SYM_METHOD);
        AN(sym->eval_priv);

        vcc_func(tl, e, sym->eval_priv, sym->extra, sym);
        ERRCHK(tl);
        if ((*e)->fmt == STRING) {
                (*e)->fmt = STRINGS;
                (*e)->nstr = 1;
        }
}

/*--------------------------------------------------------------------
 */

static void
vcc_number(struct vcc *tl, struct expr **e, vcc_type_t fmt, const char *sign)
{
        VCL_INT vi;
        struct expr *e1;
        struct token *t;

        assert(fmt != VOID);
        if (fmt == BYTES) {
                vcc_ByteVal(tl, &vi);
                ERRCHK(tl);
                e1 = vcc_mk_expr(BYTES, "%ju", (intmax_t)vi);
        } else {
                t = tl->t;
                vcc_NextToken(tl);
                if (tl->t->tok == ID) {
                        e1 = vcc_mk_expr(DURATION, "%s%.3f * %g",
                            sign, t->num, vcc_DurationUnit(tl));
                        ERRCHK(tl);
                } else if (fmt == REAL || t->tok == FNUM) {
                        e1 = vcc_mk_expr(REAL, "%s%.3f", sign, t->num);
                } else {
                        e1 = vcc_mk_expr(INT, "%s%.0fLL", sign, t->num);
                }
        }
        e1->constant = EXPR_CONST;
        *e = e1;
}

/*--------------------------------------------------------------------
 * SYNTAX:
 *    Expr5:
 *      '(' ExprCor ')'
 *      symbol
 *      CNUM
 *      FNUM
 *      CSTR
 *      CBLOB
 */

static void
vcc_expr5(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{
        struct expr *e1, *e2;
        const char *ip, *sign;
        struct token *t, *t1;
        struct symbol *sym;

        sign = "";
        *e = NULL;
        if (tl->t->tok == '(') {
                SkipToken(tl, '(');
                vcc_expr_cor(tl, &e2, fmt);
                ERRCHK(tl);
                SkipToken(tl, ')');
                if (e2->fmt == STRINGS)
                        *e = e2;
                else
                        *e = vcc_expr_edit(tl, e2->fmt, "(\v1)", e2, NULL);
                return;
        }
        switch (tl->t->tok) {
        case ID:
                t = tl->t;
                t1 = vcc_PeekToken(tl);
                AN(t1);
                sym = VCC_SymbolGet(tl, SYM_MAIN, SYM_NONE,
                    SYMTAB_PARTIAL_NOERR, XREF_REF);
                if (sym == NULL && fmt->global_pfx != NULL && t1->tok != '.') {
                        sym = VCC_SymbolGet(tl, SYM_MAIN, SYM_NONE,
                            SYMTAB_CREATE, XREF_REF);
                        ERRCHK(tl);
                        AN(sym);
                        VCC_GlobalSymbol(sym, fmt);
                }
                ERRCHK(tl);
                if (sym == NULL)
                        AZ(VCC_SymbolGet(tl, SYM_MAIN, SYM_NONE,
                            SYMTAB_PARTIAL, XREF_REF));
                ERRCHK(tl);
                AN(sym);
                if (sym->kind == SYM_INSTANCE) {
                        AZ(*e);
                        *e = vcc_new_expr(sym->type);
                        (*e)->instance = sym;
                        return;
                }
                if (sym->kind == SYM_FUNC && sym->type == VOID) {
                        VSB_cat(tl->sb, "Function returns VOID:\n");
                        vcc_ErrWhere(tl, tl->t);
                        return;
                }
                if (sym->eval != NULL) {
                        AN(sym->eval);
                        AZ(*e);
                        sym->eval(tl, e, t, sym, fmt);
                        if (tl->err) {
                                VSB_cat(tl->sb,
                                    "While compiling function call:\n\n");
                                vcc_ErrWhere2(tl, t, tl->t);
                        }
                        ERRCHK(tl);
                        /* Unless asked for a HEADER, fold to string here */
                        if (*e && fmt != HEADER && (*e)->fmt == HEADER) {
                                vcc_expr_tostring(tl, e);
                                ERRCHK(tl);
                        }
                        return;
                }
                VSB_printf(tl->sb,
                    "Symbol '%.*s' type (%s) cannot be used in expression.\n",
                    PF(t), sym->kind->name);
                vcc_ErrWhere(tl, t);
                if (sym->def_b != NULL) {
                        VSB_cat(tl->sb, "That symbol was defined here:\n");
                        vcc_ErrWhere(tl, sym->def_b);
                }
                return;
        case CSTR:
                assert(fmt != VOID);
                if (fmt == IP) {
                        if (*tl->t->dec == '/') {
                                /*
                                 * On some platforms (e.g. FreeBSD),
                                 * getaddrinfo(3) may resolve a path to a
                                 * sockaddr_un if it happens to exist and
                                 * is a socket. So don't let that happen.
                                 */
                                VSB_cat(tl->sb,
                                    "Cannot convert to an IP address: ");
                                vcc_ErrToken(tl, tl->t);
                                vcc_ErrWhere(tl, tl->t);
                                return;
                        }
                        Resolve_Sockaddr(tl, tl->t->dec, "80",
                            &ip, NULL, &ip, NULL, NULL, 1,
                            tl->t, "IP constant");
                        ERRCHK(tl);
                        e1 = vcc_mk_expr(IP, "%s", ip);
                        ERRCHK(tl);
                } else if (fmt == REGEX) {
                        e1 = vcc_new_expr(REGEX);
                        vcc_regexp(tl, e1->vsb);
                        AZ(VSB_finish(e1->vsb));
                } else {
                        e1 = vcc_new_expr(STRINGS);
                        EncToken(e1->vsb, tl->t);
                        AZ(VSB_finish(e1->vsb));
                        e1->constant |= EXPR_STR_CONST;
                        e1->nstr = 1;
                }
                e1->t1 = tl->t;
                e1->constant |= EXPR_CONST;
                vcc_NextToken(tl);
                *e = e1;
                return;
        case '-':
                if (fmt != INT &&
                    fmt != REAL &&
                    fmt != DURATION &&
                    fmt != STRINGS)
                        break;
                vcc_NextToken(tl);
                if (tl->t->tok != FNUM && tl->t->tok != CNUM) {
                        vcc_expr_cor(tl, &e1, fmt);
                        ERRCHK(tl);
                        *e = vcc_expr_edit(tl, e1->fmt, "-(\v1)", e1, NULL);
                        return;
                }
                sign = "-";
                /* FALLTHROUGH */
        case FNUM:
        case CNUM:
                vcc_number(tl, e, fmt, sign);
                return;
        case CBLOB:
                e1 = vcc_new_expr(BLOB);
                VSB_printf(e1->vsb, "%s", tl->t->dec);
                AZ(VSB_finish(e1->vsb));
                e1->constant |= EXPR_STR_CONST;
                e1->t1 = tl->t;
                vcc_NextToken(tl);
                *e = e1;
                return;
        default:
                break;
        }
        VSB_cat(tl->sb, "Unknown token ");
        vcc_ErrToken(tl, tl->t);
        VSB_printf(tl->sb, " when looking for %s\n\n", vcc_utype(fmt));
        vcc_ErrWhere(tl, tl->t);
}

/*--------------------------------------------------------------------
 * SYNTAX:
 *    Expr4:
 *      Expr5 [ '.' (type_attribute | type_method()) ]*
 */

void
vcc_Eval_TypeMethod(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t fmt)
{
        const char *impl;

        (void)t;
        impl = VCC_Type_EvalMethod(tl, sym);
        ERRCHK(tl);
        AN(impl);
        *e = vcc_expr_edit(tl, fmt, impl, *e, NULL);
}

static void
vcc_expr4(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{
        struct symbol *sym;

        *e = NULL;
        vcc_expr5(tl, e, fmt);
        ERRCHK(tl);
        AN(*e);
        while (tl->t->tok == '.') {
                vcc_NextToken(tl);
                ExpectErr(tl, ID);

                sym = VCC_TypeSymbol(tl, SYM_METHOD, (*e)->fmt);
                if (sym == NULL) {
                        VSB_cat(tl->sb, "Unknown property ");
                        vcc_ErrToken(tl, tl->t);
                        VSB_printf(tl->sb, " for type %s\n", (*e)->fmt->name);
                        vcc_ErrWhere(tl, tl->t);
                        return;
                }

                AN(sym->eval);
                sym->eval(tl, e, tl->t, sym, sym->type);
                ERRCHK(tl);
                if ((*e)->fmt == STRING) {
                        (*e)->fmt = STRINGS;
                        (*e)->nstr = 1;
                }
        }
}

/*--------------------------------------------------------------------
 * SYNTAX:
 *    ExprMul:
 *      Expr4 { {'*'|'/'|'%'} Expr4 } *
 */

static void
vcc_expr_mul(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{
        struct expr *e2;
        vcc_type_t f2;
        struct token *tk;
        char buf[24];

        *e = NULL;
        vcc_expr4(tl, e, fmt);
        ERRCHK(tl);
        AN(*e);

        while (tl->t->tok == '*' || tl->t->tok == '/' || tl->t->tok == '%') {
                if (tl->t->tok == '%' && ((*e)->fmt != INT)) {
                        VSB_cat(tl->sb, "Operator % only possible on INT.\n");
                        vcc_ErrWhere(tl, tl->t);
                        return;
                }
                f2 = (*e)->fmt->multype;
                if (f2 == NULL) {
                        VSB_printf(tl->sb,
                            "Operator %.*s not possible on type %s.\n",
                            PF(tl->t), vcc_utype((*e)->fmt));
                        vcc_ErrWhere(tl, tl->t);
                        return;
                }
                tk = tl->t;
                vcc_NextToken(tl);
                vcc_expr4(tl, &e2, f2);
                ERRCHK(tl);
                if (e2->fmt != INT && e2->fmt != f2) {
                        VSB_printf(tl->sb, "%s %.*s %s not possible.\n",
                            vcc_utype((*e)->fmt), PF(tk), vcc_utype(e2->fmt));
                        vcc_ErrWhere(tl, tk);
                        return;
                }
                bprintf(buf, "(\v1%c\v2)", tk->tok);
                *e = vcc_expr_edit(tl, (*e)->fmt, buf, *e, e2);
        }
}

/*--------------------------------------------------------------------
 * SYNTAX:
 *    ExprAdd:
 *      ExprMul { {'+'|'-'} ExprMul } *
 */

static const struct adds {
        unsigned        op;
        vcc_type_t      a;
        vcc_type_t      b;
        vcc_type_t      fmt;
} vcc_adds[] = {
        { '+', BYTES,           BYTES,          BYTES },
        { '-', BYTES,           BYTES,          BYTES },
        { '+', DURATION,        DURATION,       DURATION },
        { '-', DURATION,        DURATION,       DURATION },
        { '+', INT,             INT,            INT },
        { '-', INT,             INT,            INT },
        { '+', INT,             REAL,           REAL },
        { '-', INT,             REAL,           REAL },
        { '+', REAL,            INT,            REAL },
        { '-', REAL,            INT,            REAL },
        { '+', REAL,            REAL,           REAL },
        { '-', REAL,            REAL,           REAL },
        { '-', TIME,            TIME,           DURATION },
        { '+', TIME,            DURATION,       TIME },
        { '-', TIME,            DURATION,       TIME },

        { EOI, VOID,            VOID,           VOID }
};

static void
vcc_expr_add(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{
        const struct adds *ap;
        struct expr  *e2;
        struct token *tk;
        int lit, n;

        *e = NULL;
        vcc_expr_mul(tl, e, fmt);
        ERRCHK(tl);

        while (tl->t->tok == '+' || tl->t->tok == '-') {
                tk = tl->t;
                for (ap = vcc_adds; ap->op != EOI; ap++)
                        if (tk->tok == ap->op && (*e)->fmt == ap->a)
                                break;
                vcc_NextToken(tl);
                if (ap->op == EOI && fmt == STRINGS)
                        vcc_expr_mul(tl, &e2, STRINGS);
                else
                        vcc_expr_mul(tl, &e2, (*e)->fmt);
                ERRCHK(tl);

                for (ap = vcc_adds; ap->op != EOI; ap++)
                        if (tk->tok == ap->op && (*e)->fmt == ap->a &&
                            e2->fmt == ap->b)
                                break;

                if (ap->op == '+') {
                        *e = vcc_expr_edit(tl, ap->fmt, "(\v1 + \v2)", *e, e2);
                } else if (ap->op == '-') {
                        *e = vcc_expr_edit(tl, ap->fmt, "(\v1 - \v2)", *e, e2);
                } else if (tk->tok == '+' &&
                    ((*e)->fmt == STRINGS || fmt == STRINGS)) {
                        if ((*e)->fmt != STRINGS)
                                vcc_expr_tostring(tl, e);
                        if (e2->fmt != STRINGS)
                                vcc_expr_tostring(tl, &e2);
                        if (vcc_islit(*e) && vcc_isconst(e2)) {
                                lit = vcc_islit(e2);
                                *e = vcc_expr_edit(tl, STRINGS,
                                    "\v1\n\v2", *e, e2);
                                (*e)->constant = EXPR_CONST;
                                (*e)->nstr = 1;
                                if (lit)
                                        (*e)->constant |= EXPR_STR_CONST;
                        } else {
                                n = (*e)->nstr + e2->nstr;
                                *e = vcc_expr_edit(tl, STRINGS,
                                    "\v1,\n\v2", *e, e2);
                                (*e)->constant = EXPR_VAR;
                                (*e)->nstr = n;
                        }
                } else {
                        VSB_printf(tl->sb, "%s %.*s %s not possible.\n",
                            vcc_utype((*e)->fmt), PF(tk), vcc_utype(e2->fmt));
                        vcc_ErrWhere2(tl, tk, tl->t);
                        return;
                }
        }
}

/*--------------------------------------------------------------------
 * SYNTAX:
 *    ExprCmp:
 *      ExprAdd
 *      ExprAdd Relation ExprAdd
 *      ExprAdd(STRING) '~' CString
 *      ExprAdd(STRING) '!~' CString
 *      ExprAdd(IP) '==' ExprAdd(IP)
 *      ExprAdd(IP) '!=' ExprAdd(IP)
 *      ExprAdd(IP) '~' ACL
 *      ExprAdd(IP) '!~' ACL
 */

struct cmps;

typedef void cmp_f(struct vcc *, struct expr **, const struct cmps *);

struct cmps {
        vcc_type_t              fmt;
        unsigned                token;
        cmp_f                   *func;
        const char              *emit;
};

static void v_matchproto_(cmp_f)
cmp_simple(struct vcc *tl, struct expr **e, const struct cmps *cp)
{
        struct expr *e2;
        struct token *tk;

        tk = tl->t;
        vcc_NextToken(tl);
        vcc_expr_add(tl, &e2, (*e)->fmt);
        ERRCHK(tl);

        if (e2->fmt != (*e)->fmt) {
                VSB_printf(tl->sb,
                    "Comparison of different types: %s '%.*s' %s\n",
                    vcc_utype((*e)->fmt), PF(tk), vcc_utype(e2->fmt));
                vcc_ErrWhere(tl, tk);
        } else
                *e = vcc_expr_edit(tl, BOOL, cp->emit, *e, e2);
}

static void v_matchproto_(cmp_f)
cmp_regexp(struct vcc *tl, struct expr **e, const struct cmps *cp)
{
        struct token *t1;
        struct expr *e2;
        char buf[128];

        *e = vcc_expr_edit(tl, STRING, "\vS", *e, NULL);
        vcc_NextToken(tl);
        t1 = tl->t;
        vcc_expr4(tl, &e2, REGEX);
        ERRCHK(tl);
        vcc_expr_typecheck(tl, &e2, REGEX, t1);
        ERRCHK(tl);
        bprintf(buf, "%sVRT_re_match(ctx, \v1, \v2)", cp->emit);
        *e = vcc_expr_edit(tl, BOOL, buf, *e, e2);
}

static void v_matchproto_(cmp_f)
cmp_acl(struct vcc *tl, struct expr **e, const struct cmps *cp)
{
        struct token *t1;
        struct expr *e2;
        char buf[256];

        vcc_NextToken(tl);
        t1 = tl->t;
        vcc_expr4(tl, &e2, ACL);
        ERRCHK(tl);
        vcc_expr_typecheck(tl, &e2, ACL, t1);
        ERRCHK(tl);
        bprintf(buf, "%sVRT_acl_match(ctx, \v1, \v2)", cp->emit);
        *e = vcc_expr_edit(tl, BOOL, buf, e2, *e);
}

static void v_matchproto_(cmp_f)
cmp_string(struct vcc *tl, struct expr **e, const struct cmps *cp)
{
        struct expr *e2;
        struct token *tk;
        char buf[128];

        tk = tl->t;
        vcc_NextToken(tl);
        vcc_expr_add(tl, &e2, STRINGS);
        ERRCHK(tl);
        if (vcc_stringstype(e2->fmt) != STRINGS) {
                VSB_printf(tl->sb,
                    "Comparison of different types: %s '%.*s' %s\n",
                    vcc_utype((*e)->fmt), PF(tk), vcc_utype(e2->fmt));
                vcc_ErrWhere(tl, tk);
        } else if ((*e)->nstr == 1 && e2->nstr == 1) {
                bprintf(buf, "(%s VRT_strcmp(\v1, \v2))", cp->emit);
                *e = vcc_expr_edit(tl, BOOL, buf, *e, e2);
        } else {
                bprintf(buf, "(%s VRT_CompareStrands(\vT, \vt))", cp->emit);
                *e = vcc_expr_edit(tl, BOOL, buf, *e, e2);
        }
}

#define PTR_REL(typ)                                                            \
        {typ,           T_EQ,           cmp_simple, "!VPI_PtrCmp(\v1, \v2)" },  \
        {typ,           T_NEQ,          cmp_simple, "VPI_PtrCmp(\v1, \v2)" }

#define IDENT_REL(typ)                                                  \
        {typ,           T_EQ,           cmp_simple, "(\v1 == \v2)" },   \
        {typ,           T_NEQ,          cmp_simple, "(\v1 != \v2)" }

#define NUM_REL(typ)                                                    \
        IDENT_REL(typ),                                                 \
        {typ,           T_LEQ,          cmp_simple, "(\v1 <= \v2)" },   \
        {typ,           T_GEQ,          cmp_simple, "(\v1 >= \v2)" },   \
        {typ,           '<',            cmp_simple, "(\v1 < \v2)" },    \
        {typ,           '>',            cmp_simple, "(\v1 > \v2)" }

static const struct cmps vcc_cmps[] = {
        NUM_REL(INT),
        NUM_REL(DURATION),
        NUM_REL(BYTES),
        NUM_REL(REAL),
        NUM_REL(TIME),
        PTR_REL(BACKEND),
        PTR_REL(ACL),
        PTR_REL(PROBE),
        IDENT_REL(STEVEDORE),
        IDENT_REL(SUB),
        IDENT_REL(INSTANCE),

        {BOOL,          T_EQ,           cmp_simple, "((!(\v1)) == (!(\v2)))" },
        {BOOL,          T_NEQ,          cmp_simple, "((!(\v1)) != (!(\v2)))" },
        {IP,            T_EQ,           cmp_simple, "!VRT_ipcmp(ctx, \v1, \v2)" },
        {IP,            T_NEQ,          cmp_simple, "VRT_ipcmp(ctx, \v1, \v2)" },

        {IP,            '~',            cmp_acl, "" },
        {IP,            T_NOMATCH,      cmp_acl, "!" },

        {STRINGS,       T_EQ,           cmp_string, "0 =="},
        {STRINGS,       T_NEQ,          cmp_string, "0 !="},
        {STRINGS,       '<',            cmp_string, "0 > "},
        {STRINGS,       '>',            cmp_string, "0 < "},
        {STRINGS,       T_LEQ,          cmp_string, "0 >="},
        {STRINGS,       T_GEQ,          cmp_string, "0 <="},

        {STRINGS,       '~',            cmp_regexp, "" },
        {STRINGS,       T_NOMATCH,      cmp_regexp, "!" },

        {VOID,          0,              NULL, NULL}
};

#undef IDENT_REL
#undef NUM_REL

static void
vcc_expr_cmp(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{
        const struct cmps *cp;
        struct token *tk;

        *e = NULL;
        vcc_expr_add(tl, e, fmt);
        ERRCHK(tl);
        tk = tl->t;

        for (cp = vcc_cmps; cp->fmt != VOID; cp++) {
                if (tl->t->tok != cp->token)
                        continue;
                if (vcc_stringstype((*e)->fmt) != cp->fmt)
                        continue;
                AN(cp->func);
                cp->func(tl, e, cp);
                return;
        }

        switch (tk->tok) {
        case T_EQ:
        case T_NEQ:
        case '<':
        case T_LEQ:
        case '>':
        case T_GEQ:
        case '~':
        case T_NOMATCH:
                VSB_printf(tl->sb, "Operator %.*s not possible on %s\n",
                    PF(tl->t), vcc_utype((*e)->fmt));
                vcc_ErrWhere(tl, tl->t);
                return;
        default:
                break;
        }
}

/*--------------------------------------------------------------------
 * SYNTAX:
 *    ExprNot:
 *      '!' ExprCmp
 */

static void
vcc_expr_not(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{
        struct token *tk;

        *e = NULL;
        tk = tl->t;
        if (tl->t->tok == '!')
                vcc_NextToken(tl);
        vcc_expr_cmp(tl, e, fmt);
        ERRCHK(tl);
        if (tk->tok != '!')
                return;
        vcc_expr_tobool(tl, e);
        ERRCHK(tl);
        if ((*e)->fmt != BOOL) {
                VSB_cat(tl->sb, "'!' must be followed by BOOL, found ");
                VSB_printf(tl->sb, "%s.\n", vcc_utype((*e)->fmt));
                vcc_ErrWhere2(tl, tk, tl->t);
        } else {
                *e = vcc_expr_edit(tl, BOOL, "!(\v1)", *e, NULL);
        }
}

/*--------------------------------------------------------------------
 * CAND and COR are identical save for a few details, but they are
 * stacked so handling them in the same function is not simpler.
 * Instead have them both call this helper function to do everything.
 */

typedef void upfunc(struct vcc *tl, struct expr **e, vcc_type_t fmt);

static void
vcc_expr_bin_bool(struct vcc *tl, struct expr **e, vcc_type_t fmt,
    unsigned ourtok, upfunc *up, const char *tokstr)
{
        struct expr *e2;
        struct token *tk;
        char buf[32];

        *e = NULL;
        tk = tl->t;
        up(tl, e, fmt);
        ERRCHK(tl);
        if (tl->t->tok != ourtok)
                return;
        vcc_expr_tobool(tl, e);
        ERRCHK(tl);
        if ((*e)->fmt != BOOL) {
                VSB_printf(tl->sb,
                    "'%s' must be preceded by BOOL,"
                    " found %s.\n", tokstr, vcc_utype((*e)->fmt));
                vcc_ErrWhere2(tl, tk, tl->t);
                return;
        }
        *e = vcc_expr_edit(tl, BOOL, "(\v+\n\v1", *e, NULL);
        while (tl->t->tok == ourtok) {
                vcc_NextToken(tl);
                tk = tl->t;
                up(tl, &e2, fmt);
                ERRCHK(tl);
                vcc_expr_tobool(tl, &e2);
                ERRCHK(tl);
                if (e2->fmt != BOOL) {
                        VSB_printf(tl->sb,
                            "'%s' must be followed by BOOL,"
                            " found %s.\n", tokstr, vcc_utype(e2->fmt));
                        vcc_ErrWhere2(tl, tk, tl->t);
                        vcc_delete_expr(e2);
                        return;
                }
                bprintf(buf, "\v1\v-\n%s\v+\n\v2", tokstr);
                *e = vcc_expr_edit(tl, BOOL, buf, *e, e2);
        }
        *e = vcc_expr_edit(tl, BOOL, "\v1\v-\n)", *e, NULL);
}

/*--------------------------------------------------------------------
 * SYNTAX:
 *    ExprCand:
 *      ExprNot { '&&' ExprNot } *
 */

static void
vcc_expr_cand(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{

        vcc_expr_bin_bool(tl, e, fmt, T_CAND, vcc_expr_not, "&&");
}

/*--------------------------------------------------------------------
 * SYNTAX:
 *    ExprCOR:
 *      ExprCand { '||' ExprCand } *
 */

static void
vcc_expr_cor(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{

        vcc_expr_bin_bool(tl, e, fmt, T_COR, vcc_expr_cand, "||");
}

/*--------------------------------------------------------------------
 * This function is the entry-point for getting an expression with
 * a particular type, ready for inclusion in the VGC.
 */

static void
vcc_expr0(struct vcc *tl, struct expr **e, vcc_type_t fmt)
{
        struct token *t1;

        assert(fmt != VOID);
        assert(fmt != STRINGS);
        *e = NULL;
        t1 = tl->t;
        if (fmt->stringform)
                vcc_expr_cor(tl, e, STRINGS);
        else
                vcc_expr_cor(tl, e, fmt);
        ERRCHK(tl);

        if ((*e)->fmt == fmt)
                return;

        if ((*e)->fmt != STRINGS && fmt->stringform)
                vcc_expr_tostring(tl, e);

        if ((*e)->fmt->stringform) {
                VSB_printf(tl->sb, "Cannot convert type %s(%s) to %s(%s)\n",
                    vcc_utype((*e)->fmt), (*e)->fmt->name,
                    vcc_utype(fmt), fmt->name);
                vcc_ErrWhere2(tl, t1, tl->t);
                return;
        }

        if (fmt == BODY && !(*e)->fmt->bodyform)
                vcc_expr_tostring(tl, e);

        if (fmt == BODY && (*e)->fmt->bodyform) {
                if ((*e)->fmt == STRINGS)
                        *e = vcc_expr_edit(tl, BODY, "STRING, 0, \vT", *e, NULL);
                else if ((*e)->fmt == BLOB)
                        *e = vcc_expr_edit(tl, BODY, "BLOB, 0, \v1", *e, NULL);
                else
                        WRONG("Unhandled bodyform");
        }

        if ((*e)->fmt == STRINGS && fmt->stringform) {
                if (fmt == STRING)
                        *e = vcc_expr_edit(tl, STRING, "\vS", *e, NULL);
                else if (fmt == STRANDS)
                        *e = vcc_expr_edit(tl, STRANDS, "\vT", (*e), NULL);
                else
                        WRONG("Unhandled stringform");
        }

        if (fmt == BOOL) {
                vcc_expr_tobool(tl, e);
                ERRCHK(tl);
        }

        vcc_expr_typecheck(tl, e, fmt, t1);
}

static void
vcc_expr_typecheck(struct vcc *tl, struct expr **e, vcc_type_t fmt,
    struct token *t1)
{

        assert(fmt != VOID);
        assert(fmt != STRINGS);

        if (fmt != (*e)->fmt)  {
                VSB_printf(tl->sb, "Expression has type %s, expected %s\n",
                    vcc_utype((*e)->fmt), vcc_utype(fmt));
                vcc_ErrWhere2(tl, t1, tl->t);
        }
}

/*--------------------------------------------------------------------
 * This function parses and emits the C-code to evaluate an expression
 *
 * We know up front what kind of type we want the expression to be,
 * and this function is the backstop if that doesn't succeed.
 */

void
vcc_Expr(struct vcc *tl, vcc_type_t fmt)
{
        struct expr *e = NULL;

        assert(fmt != VOID);
        assert(fmt != STRINGS);
        vcc_expr0(tl, &e, fmt);
        ERRCHK(tl);
        assert(e->fmt == fmt);

        vcc_expr_fmt(tl->fb, tl->indent, e);
        VSB_cat(tl->fb, "\n");
        vcc_delete_expr(e);
}

/*--------------------------------------------------------------------
 */

void v_matchproto_(sym_act_f)
vcc_Act_Call(struct vcc *tl, struct token *t, struct symbol *sym)
{

        struct expr *e;

        e = NULL;
        vcc_func(tl, &e, sym->eval_priv, sym->extra, sym);
        if (!tl->err) {
                vcc_expr_fmt(tl->fb, tl->indent, e);
                SkipToken(tl, ';');
                VSB_cat(tl->fb, ";\n");
        } else if (t != tl->t) {
                VSB_cat(tl->sb, "While compiling function call:\n\n");
                vcc_ErrWhere2(tl, t, tl->t);
        }
        vcc_delete_expr(e);
}

void v_matchproto_(sym_act_f)
vcc_Act_Obj(struct vcc *tl, struct token *t, struct symbol *sym)
{

        struct expr *e = NULL;

        assert(sym->kind == SYM_INSTANCE);
        ExpectErr(tl, '.');
        tl->t = t;
        vcc_expr4(tl, &e, sym->type);
        ERRCHK(tl);
        vcc_expr_fmt(tl->fb, tl->indent, e);
        vcc_delete_expr(e);
        SkipToken(tl, ';');
        VSB_cat(tl->fb, ";\n");
}

/*--------------------------------------------------------------------
 */

static void v_matchproto_(sym_expr_t)
vcc_Eval_Regsub(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t fmt)
{
        struct expr *e2, *e3;
        int all = sym->eval_priv == NULL ? 0 : 1;
        char buf[128];

        (void)t;
        (void)fmt;
        SkipToken(tl, '(');
        vcc_expr0(tl, &e2, STRING);
        ERRCHK(tl);
        SkipToken(tl, ',');
        vcc_expr0(tl, &e3, REGEX);
        ERRCHK(tl);

        bprintf(buf, "VRT_regsub(ctx, %d,\v+\n\v1,\n\v2", all);
        *e = vcc_expr_edit(tl, STRING, buf, e2, e3);
        SkipToken(tl, ',');
        vcc_expr0(tl, &e2, STRING);
        ERRCHK(tl);
        *e = vcc_expr_edit(tl, STRINGS, "\v1,\n\v2)\v-", *e, e2);
        (*e)->nstr = 1;
        SkipToken(tl, ')');
}

/*--------------------------------------------------------------------
 */

static void v_matchproto_(sym_expr_t)
vcc_Eval_BoolConst(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t fmt)
{

        (void)t;
        (void)tl;
        (void)fmt;
        *e = vcc_mk_expr(BOOL, "(0==%d)", sym->eval_priv == NULL ? 1 : 0);
        (*e)->constant = EXPR_CONST;
}

/*--------------------------------------------------------------------
 */

static void v_matchproto_(sym_expr_t)
vcc_Eval_Default(struct vcc *tl, struct expr **e, struct token *t,
    struct symbol *sym, vcc_type_t fmt)
{
        (void)e;
        (void)fmt;
        (void)sym;
        (void)t;

        if (fmt->default_sym == NULL) {
                VSB_cat(tl->sb, "Symbol 'default' is a reserved word.\n");
                vcc_ErrWhere(tl, t);
                return;
        }

        *e = vcc_mk_expr(fmt, "%s", fmt->default_sym->rname);
}

/*--------------------------------------------------------------------
 */

void
vcc_Expr_Init(struct vcc *tl)
{
        struct symbol *sym;

        sym = VCC_MkSym(tl, "regsub", SYM_MAIN, SYM_FUNC, VCL_LOW, VCL_HIGH);
        AN(sym);
        sym->type = STRING;
        sym->eval = vcc_Eval_Regsub;
        sym->eval_priv = NULL;

        sym = VCC_MkSym(tl, "regsuball", SYM_MAIN, SYM_FUNC, VCL_LOW, VCL_HIGH);
        AN(sym);
        sym->type = STRING;
        sym->eval = vcc_Eval_Regsub;
        sym->eval_priv = sym;

        sym = VCC_MkSym(tl, "true", SYM_MAIN, SYM_FUNC, VCL_LOW, VCL_HIGH);
        AN(sym);
        sym->type = BOOL;
        sym->eval = vcc_Eval_BoolConst;
        sym->eval_priv = sym;

        sym = VCC_MkSym(tl, "false", SYM_MAIN, SYM_FUNC, VCL_LOW, VCL_HIGH);
        AN(sym);
        sym->type = BOOL;
        sym->eval = vcc_Eval_BoolConst;
        sym->eval_priv = NULL;

        sym = VCC_MkSym(tl, "default", SYM_MAIN, SYM_FUNC, VCL_LOW, VCL_HIGH);
        AN(sym);
        sym->type = DEFAULT;
        sym->eval = vcc_Eval_Default;
}

		vinyl-cache/lib/libvcc/vcc_expr.c
0		/*-
1		* Copyright (c) 2006 Verdens Gang AS
2		* Copyright (c) 2006-2011 Varnish Software AS
3		* All rights reserved.
4		*
5		* Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
6		*
7		* SPDX-License-Identifier: BSD-2-Clause
8		*
9		* Redistribution and use in source and binary forms, with or without
10		* modification, are permitted provided that the following conditions
11		* are met:
12		* 1. Redistributions of source code must retain the above copyright
13		* notice, this list of conditions and the following disclaimer.
14		* 2. Redistributions in binary form must reproduce the above copyright
15		* notice, this list of conditions and the following disclaimer in the
16		* documentation and/or other materials provided with the distribution.
17		*
18		* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19		* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20		* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21		* ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
22		* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23		* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24		* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25		* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26		* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27		* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28		* SUCH DAMAGE.
29		*
30		*/
31
32		#include "config.h"
33
34		#include <math.h>
35		#include <stdarg.h>
36		#include <stdlib.h>
37		#include <string.h>
38
39		#include "vcc_compile.h"
40		#include "vjsn.h"
41
42		struct expr {
43		unsigned magic;
44		#define EXPR_MAGIC 0x38c794ab
45		vcc_type_t fmt;
46		struct vsb *vsb;
47		uint8_t constant;
48		#define EXPR_VAR (1<<0)
49		#define EXPR_CONST (1<<1)
50		#define EXPR_STR_CONST (1<<2) // Last string elem is "..."
51		struct token t1, t2;
52		struct symbol *instance;
53		int nstr;
54		};
55
56		/*--------------------------------------------------------------------
57		* Facility for carrying expressions around and do text-processing on
58		* them.
59		*/
60
61		static inline int
62	24156	vcc_isconst(const struct expr *e)
63		{
64	24156	AN(e->constant);
65	24156	return (e->constant & EXPR_CONST);
66		}
67
68		static inline int
69	285004	vcc_islit(const struct expr *e)
70		{
71	285004	AN(e->constant);
72	285004	return (e->constant & EXPR_STR_CONST);
73		}
74
75		static const char *
76	268	vcc_utype(vcc_type_t t)
77		{
78	268	if (t == STRINGS \|\| t->stringform)
79	68	t = STRING;
80	268	return (t->name);
81		}
82
83		static vcc_type_t
84	3376808	vcc_stringstype(vcc_type_t t)
85		{
86	3376808	return (t->stringform ? STRINGS : t);
87		}
88
89
90		static void vcc_expr0(struct vcc tl, struct expr *e, vcc_type_t fmt);
91		static void vcc_expr_cor(struct vcc tl, struct expr *e, vcc_type_t fmt);
92		static void vcc_expr_typecheck(struct vcc tl, struct expr *e, vcc_type_t fmt,
93		struct token *t1);
94
95		static struct expr *
96	3102248	vcc_new_expr(vcc_type_t fmt)
97		{
98		struct expr *e;
99
100	3102248	ALLOC_OBJ(e, EXPR_MAGIC);
101	3102248	AN(e);
102	3102248	e->vsb = VSB_new_auto();
103	3102248	e->fmt = fmt;
104	3102248	e->constant = EXPR_VAR;
105	3102248	return (e);
106		}
107
108		static struct expr * v_printflike_(2, 3)
109	828356	vcc_mk_expr(vcc_type_t fmt, const char *str, ...)
110		{
111		va_list ap;
112		struct expr *e;
113
114	828356	e = vcc_new_expr(fmt);
115	828356	va_start(ap, str);
116	828356	VSB_vprintf(e->vsb, str, ap);
117	828356	va_end(ap);
118	828356	AZ(VSB_finish(e->vsb));
119	828356	return (e);
120		}
121
122		static void
123	4001936	vcc_delete_expr(struct expr *e)
124		{
125	4001936	if (e == NULL)
126	903104	return;
127	3098832	CHECK_OBJ(e, EXPR_MAGIC);
128	3098832	VSB_destroy(&e->vsb);
129	3098832	FREE_OBJ(e);
130	4001936	}
131
132		/*--------------------------------------------------------------------
133		* We want to get the indentation right in the emitted C code so we have
134		* to represent it symbolically until we are ready to render.
135		*
136		* Many of the operations have very schematic output syntaxes, so we
137		* use the same facility to simplify the text-processing of emitting
138		* a given operation on two subexpressions.
139		*
140		* We use '\v' as the magic escape character.
141		* \v1 insert subexpression 1
142		* \v2 insert subexpression 2
143		* \vS insert subexpression 1(STRINGS) as STRING
144		* \vs insert subexpression 2(STRINGS) as STRING
145		* \vT insert subexpression 1(STRINGS) as STRANDS
146		* \vt insert subexpression 2(STRINGS) as STRANDS
147		* \v+ increase indentation
148		* \v- decrease indentation
149		* anything else is literal
150		*
151		* When editing, we check if any of the subexpressions contain a newline
152		* and issue it as an indented block of so.
153		*
154		* XXX: check line lengths in edit, should pass indent in for this
155		*/
156
157		static void
158	247904	vcc_strands_edit(const struct expr e1, const struct expr e2)
159		{
160
161	247904	assert(e2->fmt == STRANDS \|\| e2->fmt == STRINGS);
162
163	247904	if (e2->fmt == STRANDS)
164	16	VSB_cat(e1->vsb, VSB_data(e2->vsb));
165	247888	else if (e2->nstr == 0) {
166	0	VSB_cat(e1->vsb, "vrt_null_strands");
167	0	}
168	247888	else if (e2->nstr == 1)
169	223444	VSB_printf(e1->vsb, "TOSTRAND(%s)", VSB_data(e2->vsb));
170		else {
171	48888	VSB_printf(e1->vsb, "TOSTRANDS(%d,\v+\n%s\v-)",
172	24444	e2->nstr, VSB_data(e2->vsb));
173		}
174	247904	}
175
176		static struct expr *
177	1731428	vcc_expr_edit(struct vcc tl, vcc_type_t fmt, const char p, struct expr *e1,
178		struct expr *e2)
179		{
180		struct expr e, e3;
181	1731428	int nl = 1;
182
183	1731428	(void) tl;
184
185	1731428	AN(e1);
186	1731428	e = vcc_new_expr(fmt);
187	20025804	while (*p != '\0') {
188	18294376	if (*p != '\v') {
189	15108380	if (*p != '\n' \|\| !nl)
190	15108180	VSB_putc(e->vsb, *p);
191	15108380	nl = (*p == '\n');
192	15108380	p++;
193	15108380	continue;
194		}
195	3185996	assert(*p == '\v');
196	3185996	switch (*++p) {
197	306700	case '+': VSB_cat(e->vsb, "\v+"); nl = 0; break;
198	319524	case '-': VSB_cat(e->vsb, "\v-"); nl = 0; break;
199		case 'S':
200		case 's':
201	97828	e3 = (*p == 'S' ? e1 : e2);
202	97828	AN(e3);
203	97828	assert(e1->fmt == STRINGS);
204	97828	if (e3->nstr > 1) {
205	104	VSB_cat(e->vsb,
206		"\nVRT_STRANDS_string(ctx,\v+\n");
207	104	vcc_strands_edit(e, e3);
208	104	VSB_cat(e->vsb,
209		"\v-\n)\n");
210	104	} else {
211	97724	VSB_cat(e->vsb, VSB_data(e3->vsb));
212		}
213	97828	break;
214		case 'T':
215		case 't':
216	247800	e3 = (*p == 'T' ? e1 : e2);
217	247800	AN(e3);
218	247800	vcc_strands_edit(e, e3);
219	247800	break;
220		case '1':
221	1385924	VSB_cat(e->vsb, VSB_data(e1->vsb));
222	1385924	break;
223		case '2':
224	828220	AN(e2);
225	828220	VSB_cat(e->vsb, VSB_data(e2->vsb));
226	828220	break;
227		default:
228	0	WRONG("Illegal edit in VCC expression");
229	0	}
230	3185996	p++;
231		}
232	1731428	AZ(VSB_finish(e->vsb));
233	1731428	e->t1 = e1->t1;
234	1731428	e->t2 = e1->t2;
235	1731428	if (e2 != NULL)
236	828344	e->t2 = e2->t2;
237	1731428	vcc_delete_expr(e1);
238	1731428	vcc_delete_expr(e2);
239	1731428	return (e);
240		}
241
242		/*--------------------------------------------------------------------
243		* Expand finished expression into C-source code
244		*/
245
246		static void
247	539052	vcc_expr_fmt(struct vsb d, int ind, const struct expr e1)
248		{
249		char *p;
250		int i;
251
252	539052	if (!e1->fmt->noindent) {
253	5189000	for (i = 0; i < ind; i++)
254	4673632	VSB_putc(d, ' ');
255	515368	}
256	539052	p = VSB_data(e1->vsb);
257	45748716	while (*p != '\0') {
258	45209680	if (*p == '\n') {
259	1298352	VSB_putc(d, '\n');
260	1298352	if (*++p == '\0')
261	16	break;
262	13794432	for (i = 0; i < ind; i++)
263	12496096	VSB_putc(d, ' ');
264	45209664	} else if (*p != '\v') {
265	43223248	VSB_putc(d, *p++);
266	43223248	} else {
267	688080	switch (*++p) {
268	344040	case '+': ind += INDENT; break;
269	344040	case '-': ind -= INDENT; break;
270	0	default: WRONG("Illegal format in VCC expression");
271	0	}
272	688080	p++;
273		}
274		}
275	539052	}
276
277		/*--------------------------------------------------------------------
278		*/
279
280		static void
281	413364	vcc_expr_tobool(struct vcc tl, struct expr *e)
282		{
283
284	413364	if ((*e)->fmt == BOOL)
285	318528	return;
286	94836	if ((e)->fmt == BACKEND \|\| (e)->fmt == INT)
287	40	e = vcc_expr_edit(tl, BOOL, "(\v1 != 0)", e, NULL);
288	94796	else if ((*e)->fmt == DURATION)
289	8	e = vcc_expr_edit(tl, BOOL, "(\v1 > 0)", e, NULL);
290	94788	else if ((*e)->fmt == STRINGS)
291	94764	e = vcc_expr_edit(tl, BOOL, "VRT_Strands2Bool(\vT)", e, NULL);
292		/*
293		* We do not provide automatic folding from REAL to BOOL
294		* because comparing to zero is seldom an exact science
295		* and we want to force people to explicitly get it right.
296		*/
297	413364	}
298
299		/*--------------------------------------------------------------------
300		*/
301
302		static void
303	254736	vcc_expr_tostring(struct vcc tl, struct expr *e)
304		{
305		const char *p;
306	254736	uint8_t constant = EXPR_VAR;
307
308	254736	CHECK_OBJ_NOTNULL(*e, EXPR_MAGIC);
309	254736	assert((*e)->fmt != STRINGS);
310
311	254736	p = (*e)->fmt->tostring;
312	254736	if (p != NULL) {
313	254732	AN(*p);
314	254732	e = vcc_expr_edit(tl, STRINGS, p, e, NULL);
315	254732	(*e)->constant = constant;
316	254732	(*e)->nstr = 1;
317	254732	} else {
318	8	VSB_printf(tl->sb,
319		"Cannot convert %s to STRING.\n",
320	4	vcc_utype((*e)->fmt));
321	4	vcc_ErrWhere2(tl, (*e)->t1, tl->t);
322		}
323	254736	}
324
325		/*--------------------------------------------------------------------
326		*/
327
328		void v_matchproto_(sym_expr_t)
329	1764	vcc_Eval_Handle(struct vcc tl, struct expr e, struct token t,
330		struct symbol *sym, vcc_type_t type)
331		{
332
333	1764	(void)t;
334	1764	(void)tl;
335	1764	AN(sym->rname);
336	1764	AZ(type->stringform);
337
338	1764	if (sym->type->tostring == NULL &&
339	0	sym->type != STRING && type == STRINGS) {
340	0	*e = vcc_mk_expr(STRINGS, "\"%s\"", sym->name);
341	0	(*e)->nstr = 1;
342	0	(*e)->constant \|= EXPR_CONST \| EXPR_STR_CONST;
343	0	} else {
344	1764	*e = vcc_mk_expr(sym->type, "%s", sym->rname);
345	1764	(*e)->constant = EXPR_VAR;
346	1764	(*e)->nstr = 1;
347	1764	if ((*e)->fmt == STRING)
348	0	(*e)->fmt = STRINGS;
349		}
350	1764	}
351
352		void v_matchproto_(sym_expr_t)
353	100	vcc_Eval_Sub(struct vcc tl, struct expr e, struct token t,
354		struct symbol *sym, vcc_type_t type)
355		{
356
357	100	(void)t;
358	100	(void)tl;
359	100	AN(sym->rname);
360	100	AZ(type->stringform);
361
362	100	assert (sym->type == SUB);
363
364	100	if (type == SUB) {
365	88	*e = vcc_mk_expr(sym->type, "%s", sym->rname);
366	88	(*e)->constant = EXPR_CONST;
367	88	return;
368		}
369
370	24	VSB_printf(tl->sb, "Symbol '%s' can only be used as a %s expression\n",
371	12	sym->name, sym->type->name);
372	12	vcc_ErrWhere(tl, tl->t);
373	100	}
374
375		/*--------------------------------------------------------------------
376		*/
377
378		void v_matchproto_(sym_expr_t)
379	645312	vcc_Eval_Var(struct vcc tl, struct expr e, struct token t,
380		struct symbol *sym, vcc_type_t type)
381		{
382
383	645312	(void)type;
384	645312	vcc_AddUses(tl, t, NULL, sym, XREF_READ);
385	645312	ERRCHK(tl);
386	645312	*e = vcc_mk_expr(sym->type, "%s", sym->rname);
387	645312	(*e)->constant = EXPR_VAR;
388	645312	(*e)->nstr = 1;
389	645312	if ((*e)->fmt == STRING)
390	296824	(*e)->fmt = STRINGS;
391	645312	}
392
393		void v_matchproto_(sym_expr_t)
394	44	vcc_Eval_ProtectedHeader(struct vcc tl, struct expr e, struct token t,
395		struct symbol *sym, vcc_type_t type)
396		{
397
398	44	AN(sym);
399	44	AZ(sym->lorev);
400
401	44	vcc_Header_Fh(tl, sym);
402	44	sym->eval = vcc_Eval_Var;
403	44	vcc_Eval_Var(tl, e, t, sym, type);
404	44	}
405
406		/*--------------------------------------------------------------------
407		*/
408
409		static struct expr *
410	688	vcc_priv_arg(struct vcc tl, const char p, struct symbol *sym)
411		{
412		char buf[64];
413		struct inifin *ifp;
414	688	const char *f = NULL;
415
416	688	AN(sym);
417	688	AN(sym->vmod_name);
418
419	688	if (!vstrcmp(p, "PRIV_VCL"))
420	60	return (vcc_mk_expr(VOID, "&vmod_priv_%s", sym->vmod_name));
421
422	628	if (!vstrcmp(p, "PRIV_CALL")) {
423	88	bprintf(buf, "vmod_priv_%u", tl->unique++);
424	88	ifp = New_IniFin(tl);
425	88	Fh(tl, 0, "static struct vmod_priv %s;\n", buf);
426	88	VSB_printf(ifp->fin, "\tVRT_priv_fini(ctx, &%s);", buf);
427	88	return (vcc_mk_expr(VOID, "&%s", buf));
428		}
429
430	540	if (!vstrcmp(p, "PRIV_TASK"))
431	508	f = "task";
432	32	else if (!vstrcmp(p, "PRIV_TOP")) {
433	32	f = "top";
434	32	sym->r_methods &= VCL_MET_TASK_C;
435	32	} else {
436	0	WRONG("Wrong PRIV_ type");
437		}
438	540	AN(f);
439
440	540	return (vcc_mk_expr(VOID, "VRT_priv_%s(ctx, &VGC_vmod_%s)",
441	540	f, sym->vmod_name));
442	688	}
443
444		struct func_arg {
445		vcc_type_t type;
446		const struct vjsn_val *enums;
447		const char *cname;
448		const char *name;
449		const char *val;
450		struct expr *result;
451		int avail;
452		int optional;
453		VTAILQ_ENTRY(func_arg) list;
454		};
455
456		static struct expr *
457	7304	vcc_do_enum(struct vcc tl, const char cfunc, int len, const char *ptr)
458		{
459		const char *r;
460
461	7304	(void)tl;
462	7304	r = strchr(cfunc, '.');
463	7304	AN(r);
464	7304	return (vcc_mk_expr(VOID, "%.s.enum_%.*s",
465	7304	(int)(r - cfunc), cfunc, len, ptr));
466		}
467
468		static void
469	16184	vcc_do_arg(struct vcc tl, const char cfunc, struct func_arg *fa)
470		{
471		struct expr *e2;
472		struct vjsn_val *vv;
473
474	16184	if (fa->type == ENUM) {
475	5376	ExpectErr(tl, ID);
476	5376	ERRCHK(tl);
477	18688	VTAILQ_FOREACH(vv, &fa->enums->children, list)
478	18680	if (vcc_IdIs(tl->t, vv->value))
479	5368	break;
480	5376	if (vv == NULL) {
481	8	VSB_cat(tl->sb, "Wrong enum value.");
482	8	VSB_cat(tl->sb, " Expected one of:\n");
483	40	VTAILQ_FOREACH(vv, &fa->enums->children, list)
484	32	VSB_printf(tl->sb, "\t%s\n", vv->value);
485	8	vcc_ErrWhere(tl, tl->t);
486	8	return;
487		}
488	5368	fa->result = vcc_do_enum(tl, cfunc, PF(tl->t));
489	5368	SkipToken(tl, ID);
490	5368	} else {
491	10808	if (fa->type == SUB)
492	88	tl->subref++;
493	10808	vcc_expr0(tl, &e2, fa->type);
494	10808	ERRCHK(tl);
495	10776	assert(e2->fmt == fa->type);
496	10776	fa->result = e2;
497		}
498	16144	fa->avail = 1;
499	16184	}