#include <sys/cdefs.h>
#ifndef lint
#if 0
static char yysccsid[] = "@(#)yaccpar 1.9 (Berkeley) 02/21/93";
#else
__IDSTRING(yyrcsid, "$NetBSD: skeleton.c,v 1.14 1997/10/20 03:41:16 lukem Exp $");
#endif
#endif
#include <stdlib.h>
#define YYBYACC 1
#define YYMAJOR 1
#define YYMINOR 9
#define YYLEX yylex()
#define YYEMPTY -1
#define yyclearin (yychar=(YYEMPTY))
#define yyerrok (yyerrflag=0)
#define YYRECOVERING (yyerrflag!=0)
#define YYPREFIX "yy"
#line 34 "parse.y"
static const char rcsid[] = "$Id: parse.y,v 1.1.1.1 2007/01/11 15:49:52 dhartmei Exp $";
#include <ctype.h>
#include <errno.h>
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <libmilter/mfapi.h>
#include "eval.h"
int yyerror(char *, ...);
static int yyparse(void);
static int define_macro(const char *, struct expr *);
static struct expr *find_macro(const char *);
static char *err_str = NULL;
static size_t err_len = 0;
static const char *infile = NULL;
static FILE *fin = NULL;
static int lineno = 1;
static int errors = 0;
static struct ruleset *rs = NULL;
struct macro {
char *name;
struct expr *expr;
struct macro *next;
} *macros = NULL;
typedef struct {
union {
char *string;
struct expr *expr;
struct expr_list *expr_list;
struct action *action;
} v;
int lineno;
} YYSTYPE;
#line 62 "parse.c"
#define ERROR 257
#define STRING 258
#define ACCEPT 259
#define REJECT 260
#define TEMPFAIL 261
#define DISCARD 262
#define QUARANTINE 263
#define CONNECT 264
#define HELO 265
#define ENVFROM 266
#define ENVRCPT 267
#define HEADER 268
#define MACRO 269
#define BODY 270
#define AND 271
#define OR 272
#define NOT 273
#define YYERRCODE 256
short yylhs[] = { -1,
0, 0, 0, 6, 5, 4, 4, 4, 4, 4,
3, 3, 1, 1, 1, 1, 2, 2, 2, 2,
2, 2, 2, 2, 2,
};
short yylen[] = { 2,
0, 2, 2, 2, 3, 2, 2, 2, 1, 1,
1, 2, 1, 3, 3, 2, 3, 2, 2, 2,
3, 3, 2, 3, 2,
};
short yydefred[] = { 0,
0, 10, 0, 0, 9, 0, 0, 0, 0, 0,
0, 6, 7, 8, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 11, 0, 0, 2, 3, 5,
0, 18, 19, 20, 0, 0, 23, 16, 0, 25,
0, 0, 12, 17, 21, 22, 24, 14, 15,
};
short yydgoto[] = { 7,
25, 26, 27, 8, 9, 10,
};
short yysindex[] = { -238,
-59, 0, -249, -247, 0, -246, 0, -36, -238, -238,
-36, 0, 0, 0, -245, -242, -240, -232, -231, -230,
-229, -26, -36, -228, 0, -266, -36, 0, 0, 0,
-227, 0, 0, 0, -226, -223, 0, 0, -5, 0,
-36, -36, 0, 0, 0, 0, 0, 0, 0,
};
short yyrindex[] = { 38,
0, 0, 0, 0, 0, 0, 0, 0, 38, 38,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 1, 17, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0,
};
short yygindex[] = { -2,
-8, 18, 0, 0, 0, 0,
};
#define YYTABLESIZE 280
short yytable[] = { 24,
13, 11, 30, 23, 41, 42, 28, 29, 12, 24,
13, 14, 31, 23, 39, 32, 4, 33, 43, 1,
2, 3, 4, 5, 6, 34, 35, 36, 37, 40,
44, 45, 48, 49, 46, 47, 13, 1, 0, 38,
13, 13, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 15, 16, 17,
18, 19, 20, 21, 0, 0, 22, 15, 16, 17,
18, 19, 20, 21, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 0, 0, 13, 4, 4, 4, 4, 4, 4,
};
short yycheck[] = { 36,
0, 61, 11, 40, 271, 272, 9, 10, 258, 36,
258, 258, 258, 40, 23, 258, 0, 258, 27, 258,
259, 260, 261, 262, 263, 258, 258, 258, 258, 258,
258, 258, 41, 42, 258, 41, 36, 0, -1, 22,
40, 41, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, 264, 265, 266,
267, 268, 269, 270, -1, -1, 273, 264, 265, 266,
267, 268, 269, 270, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 268, 269,
270, -1, -1, 273, 258, 259, 260, 261, 262, 263,
};
#define YYFINAL 7
#ifndef YYDEBUG
#define YYDEBUG 0
#endif
#define YYMAXTOKEN 273
#if YYDEBUG
char *yyname[] = {
"end-of-file",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,"'$'",0,0,0,"'('","')'",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"'='",0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"ERROR","STRING",
"ACCEPT","REJECT","TEMPFAIL","DISCARD","QUARANTINE","CONNECT","HELO","ENVFROM",
"ENVRCPT","HEADER","MACRO","BODY","AND","OR","NOT",
};
char *yyrule[] = {
"$accept : file",
"file :",
"file : macro file",
"file : rule file",
"rule : action expr_l",
"macro : STRING '=' expr",
"action : REJECT STRING",
"action : TEMPFAIL STRING",
"action : QUARANTINE STRING",
"action : DISCARD",
"action : ACCEPT",
"expr_l : expr",
"expr_l : expr_l expr",
"expr : term",
"expr : term AND expr",
"expr : term OR expr",
"expr : NOT term",
"term : CONNECT STRING STRING",
"term : HELO STRING",
"term : ENVFROM STRING",
"term : ENVRCPT STRING",
"term : HEADER STRING STRING",
"term : MACRO STRING STRING",
"term : BODY STRING",
"term : '(' expr ')'",
"term : '$' STRING",
};
#endif
#ifdef YYSTACKSIZE
#undef YYMAXDEPTH
#define YYMAXDEPTH YYSTACKSIZE
#else
#ifdef YYMAXDEPTH
#define YYSTACKSIZE YYMAXDEPTH
#else
#define YYSTACKSIZE 10000
#define YYMAXDEPTH 10000
#endif
#endif
#define YYINITSTACKSIZE 200
int yydebug;
int yynerrs;
int yyerrflag;
int yychar;
short *yyssp;
YYSTYPE *yyvsp;
YYSTYPE yyval;
YYSTYPE yylval;
short *yyss;
short *yysslim;
YYSTYPE *yyvs;
int yystacksize;
#line 255 "parse.y"
int
yyerror(char *fmt, ...)
{
va_list ap;
errors = 1;
if (err_str == NULL || err_len <= 0)
return (0);
va_start(ap, fmt);
snprintf(err_str, err_len, "%s:%d: ", infile, yylval.lineno);
vsnprintf(err_str + strlen(err_str), err_len - strlen(err_str),
fmt, ap);
va_end(ap);
return (0);
}
struct keywords {
const char *k_name;
int k_val;
};
static int
kw_cmp(const void *k, const void *e)
{
return (strcmp(k, ((struct keywords *)e)->k_name));
}
static int
lookup(char *s)
{
/* keep sorted */
static const struct keywords keywords[] = {
{ "accept", ACCEPT },
{ "and", AND },
{ "body", BODY },
{ "connect", CONNECT },
{ "discard", DISCARD },
{ "envfrom", ENVFROM },
{ "envrcpt", ENVRCPT },
{ "header", HEADER },
{ "helo", HELO },
{ "macro", MACRO },
{ "not", NOT },
{ "or", OR },
{ "quarantine", QUARANTINE },
{ "reject", REJECT },
{ "tempfail", TEMPFAIL },
};
const struct keywords *p;
p = bsearch(s, keywords, sizeof(keywords) / sizeof(keywords[0]),
sizeof(keywords[0]), &kw_cmp);
if (p)
return (p->k_val);
else
return (STRING);
}
static int
lgetc(FILE *fin)
{
int c, next;
restart:
c = getc(fin);
if (c == '\\') {
next = getc(fin);
if (next != '\n') {
ungetc(next, fin);
return (c);
}
yylval.lineno = lineno;
lineno++;
goto restart;
}
return (c);
}
static int
lungetc(int c, FILE *fin)
{
return ungetc(c, fin);
}
int
yylex(void)
{
int c;
top:
yylval.lineno = lineno;
while ((c = lgetc(fin)) == ' ' || c == '\t')
;
if (c == '#')
while ((c = lgetc(fin)) != '\n' && c != EOF)
;
if (c == '\"' || c == '\'') {
char del = c;
char buf[8192], *p = buf;
while ((c = lgetc(fin)) != EOF && c != del) {
*p++ = c;
if (p - buf >= sizeof(buf) - 1) {
yyerror("yylex: message too long");
return (ERROR);
}
}
*p = 0;
yylval.v.string = strdup(buf);
if (yylval.v.string == NULL) {
yyerror("yylex: strdup: %s", strerror(errno));
return (ERROR);
}
return (STRING);
}
if (isalpha(c)) {
char buf[8192], *p = buf;
int token;
do {
*p++ = c;
if (p - buf >= sizeof(buf)) {
yyerror("yylex: token too long");
return (ERROR);
}
} while ((c = lgetc(fin)) != EOF &&
(isalpha(c) || isdigit(c) || ispunct(c)));
lungetc(c, fin);
*p = 0;
token = lookup(buf);
if (token == STRING) {
yylval.v.string = strdup(buf);
if (yylval.v.string == NULL) {
yyerror("yylex: strdup: %s", strerror(errno));
return (ERROR);
}
}
return (token);
}
if (c != '\n' && c != '(' && c != ')' && c != '=' && c != '$' &&
c != EOF) {
char del = c;
char buf[8192], *p = buf;
*p++ = del;
while ((c = lgetc(fin)) != EOF && c != '\n' && c != del) {
*p++ = c;
if (p - buf >= sizeof(buf) - 1) {
yyerror("yylex: argument too long");
return (ERROR);
}
}
if (c != EOF && c != '\n') {
*p++ = del;
while ((c = lgetc(fin)) != EOF && isalpha(c)) {
*p++ = c;
if (p - buf >= sizeof(buf)) {
yyerror("yylex: argument too long");
return (ERROR);
}
}
}
if (c != EOF)
lungetc(c, fin);
*p = 0;
yylval.v.string = strdup(buf);
if (yylval.v.string == NULL) {
yyerror("yylex: strdup: %s", strerror(errno));
return (ERROR);
}
return (STRING);
}
if (c == '\n') {
lineno++;
goto top;
}
if (c == EOF)
return (0);
return (c);
}
int
parse_ruleset(const char *f, struct ruleset **r, char *err, size_t len)
{
*r = NULL;
err_str = err;
err_len = len;
rs = create_ruleset();
if (rs == NULL) {
if (err_str != NULL && err_len > 0)
snprintf(err_str, err_len, "create_ruleset");
return (1);
}
infile = f;
fin = fopen(infile, "rb");
if (fin == NULL) {
if (err_str != NULL && err_len > 0)
snprintf(err_str, err_len, "fopen: %s: %s",
infile, strerror(errno));
return (1);
}
lineno = 1;
errors = 0;
yyparse();
fclose(fin);
while (macros != NULL) {
struct macro *m = macros->next;
free(macros->name);
free(macros);
macros = m;
}
if (errors) {
free_ruleset(rs);
return (1);
} else {
*r = rs;
return (0);
}
#ifdef __linux__
(void)&yyrcsid; /* warning about yyrcsid declared but unused */
#endif
}
static int
define_macro(const char *name, struct expr *e)
{
struct macro *m = macros;
while (m != NULL && strcmp(m->name, name))
m = m->next;
if (m != NULL) {
yyerror("define_macro: macro '%s' already defined", name);
return (1);
}
m = calloc(1, sizeof(struct macro));
if (m == NULL) {
yyerror("define_macro: calloc: %s", strerror(errno));
return (1);
}
m->name = strdup(name);
if (m->name == NULL) {
yyerror("define_macro: strdup: %s", strerror(errno));
free(m);
return (1);
}
m->expr = e;
m->next = macros;
macros = m;
return (0);
}
static struct expr *
find_macro(const char *name)
{
struct macro *m = macros;
while (m != NULL && strcmp(m->name, name))
m = m->next;
if (m == NULL)
return (NULL);
return (m->expr);
}
#line 523 "parse.c"
/* allocate initial stack or double stack size, up to YYMAXDEPTH */
int yyparse __P((void));
static int yygrowstack __P((void));
static int yygrowstack()
{
int newsize, i;
short *newss;
YYSTYPE *newvs;
if ((newsize = yystacksize) == 0)
newsize = YYINITSTACKSIZE;
else if (newsize >= YYMAXDEPTH)
return -1;
else if ((newsize *= 2) > YYMAXDEPTH)
newsize = YYMAXDEPTH;
i = yyssp - yyss;
if ((newss = (short *)realloc(yyss, newsize * sizeof *newss)) == NULL)
return -1;
yyss = newss;
yyssp = newss + i;
if ((newvs = (YYSTYPE *)realloc(yyvs, newsize * sizeof *newvs)) == NULL)
return -1;
yyvs = newvs;
yyvsp = newvs + i;
yystacksize = newsize;
yysslim = yyss + newsize - 1;
return 0;
}
#define YYABORT goto yyabort
#define YYREJECT goto yyabort
#define YYACCEPT goto yyaccept
#define YYERROR goto yyerrlab
int
yyparse()
{
int yym, yyn, yystate;
#if YYDEBUG
char *yys;
if ((yys = getenv("YYDEBUG")) != NULL)
{
yyn = *yys;
if (yyn >= '0' && yyn <= '9')
yydebug = yyn - '0';
}
#endif
yynerrs = 0;
yyerrflag = 0;
yychar = (-1);
if (yyss == NULL && yygrowstack()) goto yyoverflow;
yyssp = yyss;
yyvsp = yyvs;
*yyssp = yystate = 0;
yyloop:
if ((yyn = yydefred[yystate]) != 0) goto yyreduce;
if (yychar < 0)
{
if ((yychar = yylex()) < 0) yychar = 0;
#if YYDEBUG
if (yydebug)
{
yys = 0;
if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
if (!yys) yys = "illegal-symbol";
printf("%sdebug: state %d, reading %d (%s)\n",
YYPREFIX, yystate, yychar, yys);
}
#endif
}
if ((yyn = yysindex[yystate]) && (yyn += yychar) >= 0 &&
yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
{
#if YYDEBUG
if (yydebug)
printf("%sdebug: state %d, shifting to state %d\n",
YYPREFIX, yystate, yytable[yyn]);
#endif
if (yyssp >= yysslim && yygrowstack())
{
goto yyoverflow;
}
*++yyssp = yystate = yytable[yyn];
*++yyvsp = yylval;
yychar = (-1);
if (yyerrflag > 0) --yyerrflag;
goto yyloop;
}
if ((yyn = yyrindex[yystate]) && (yyn += yychar) >= 0 &&
yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
{
yyn = yytable[yyn];
goto yyreduce;
}
if (yyerrflag) goto yyinrecovery;
goto yynewerror;
yynewerror:
yyerror("syntax error");
goto yyerrlab;
yyerrlab:
++yynerrs;
yyinrecovery:
if (yyerrflag < 3)
{
yyerrflag = 3;
for (;;)
{
if ((yyn = yysindex[*yyssp]) && (yyn += YYERRCODE) >= 0 &&
yyn <= YYTABLESIZE && yycheck[yyn] == YYERRCODE)
{
#if YYDEBUG
if (yydebug)
printf("%sdebug: state %d, error recovery shifting\
to state %d\n", YYPREFIX, *yyssp, yytable[yyn]);
#endif
if (yyssp >= yysslim && yygrowstack())
{
goto yyoverflow;
}
*++yyssp = yystate = yytable[yyn];
*++yyvsp = yylval;
goto yyloop;
}
else
{
#if YYDEBUG
if (yydebug)
printf("%sdebug: error recovery discarding state %d\n",
YYPREFIX, *yyssp);
#endif
if (yyssp <= yyss) goto yyabort;
--yyssp;
--yyvsp;
}
}
}
else
{
if (yychar == 0) goto yyabort;
#if YYDEBUG
if (yydebug)
{
yys = 0;
if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
if (!yys) yys = "illegal-symbol";
printf("%sdebug: state %d, error recovery discards token %d (%s)\n",
YYPREFIX, yystate, yychar, yys);
}
#endif
yychar = (-1);
goto yyloop;
}
yyreduce:
#if YYDEBUG
if (yydebug)
printf("%sdebug: state %d, reducing by rule %d (%s)\n",
YYPREFIX, yystate, yyn, yyrule[yyn]);
#endif
yym = yylen[yyn];
yyval = yyvsp[1-yym];
switch (yyn)
{
case 2:
#line 88 "parse.y"
{ }
break;
case 3:
#line 89 "parse.y"
{ }
break;
case 4:
#line 92 "parse.y"
{
struct expr_list *el = yyvsp[0].v.expr_list, *eln;
while (el != NULL) {
eln = el->next;
el->expr->action = yyvsp[-1].v.action;
free(el);
el = eln;
}
}
break;
case 5:
#line 104 "parse.y"
{
if (define_macro(yyvsp[-2].v.string, yyvsp[0].v.expr))
YYERROR;
free(yyvsp[-2].v.string);
}
break;
case 6:
#line 111 "parse.y"
{
yyval.v.action = create_action(rs, ACTION_REJECT, yyvsp[0].v.string);
if (yyval.v.action == NULL) {
yyerror("yyparse: create_action");
YYERROR;
}
free(yyvsp[0].v.string);
}
break;
case 7:
#line 119 "parse.y"
{
yyval.v.action = create_action(rs, ACTION_TEMPFAIL, yyvsp[0].v.string);
if (yyval.v.action == NULL) {
yyerror("yyparse: create_action");
YYERROR;
}
free(yyvsp[0].v.string);
}
break;
case 8:
#line 127 "parse.y"
{
yyval.v.action = create_action(rs, ACTION_QUARANTINE, yyvsp[0].v.string);
if (yyval.v.action == NULL) {
yyerror("yyparse: create_action");
YYERROR;
}
free(yyvsp[0].v.string);
}
break;
case 9:
#line 135 "parse.y"
{
yyval.v.action = create_action(rs, ACTION_DISCARD, "");
if (yyval.v.action == NULL) {
yyerror("yyparse: create_action");
YYERROR;
}
}
break;
case 10:
#line 142 "parse.y"
{
yyval.v.action = create_action(rs, ACTION_ACCEPT, "");
if (yyval.v.action == NULL) {
yyerror("yyparse: create_action");
YYERROR;
}
}
break;
case 11:
#line 151 "parse.y"
{
yyval.v.expr_list = calloc(1, sizeof(struct expr_list));
if (yyval.v.expr_list == NULL) {
yyerror("yyparse: calloc: %s", strerror(errno));
YYERROR;
}
yyval.v.expr_list->expr = yyvsp[0].v.expr;
}
break;
case 12:
#line 159 "parse.y"
{
yyval.v.expr_list = calloc(1, sizeof(struct expr_list));
if (yyval.v.expr_list == NULL) {
yyerror("yyparse: calloc: %s", strerror(errno));
YYERROR;
}
yyval.v.expr_list->expr = yyvsp[0].v.expr;
yyval.v.expr_list->next = yyvsp[-1].v.expr_list;
}
break;
case 13:
#line 170 "parse.y"
{
yyval.v.expr = yyvsp[0].v.expr;
}
break;
case 14:
#line 173 "parse.y"
{
yyval.v.expr = create_expr(rs, EXPR_AND, yyvsp[-2].v.expr, yyvsp[0].v.expr);
if (yyval.v.expr == NULL) {
yyerror("yyparse: create_expr");
YYERROR;
}
}
break;
case 15:
#line 180 "parse.y"
{
yyval.v.expr = create_expr(rs, EXPR_OR, yyvsp[-2].v.expr, yyvsp[0].v.expr);
if (yyval.v.expr == NULL) {
yyerror("yyparse: create_expr");
YYERROR;
}
}
break;
case 16:
#line 187 "parse.y"
{
yyval.v.expr = create_expr(rs, EXPR_NOT, yyvsp[0].v.expr, NULL);
if (yyval.v.expr == NULL) {
yyerror("yyparse: create_expr");
YYERROR;
}
}
break;
case 17:
#line 196 "parse.y"
{
yyval.v.expr = create_cond(rs, COND_CONNECT, yyvsp[-1].v.string, yyvsp[0].v.string);
if (yyval.v.expr == NULL)
YYERROR;
free(yyvsp[-1].v.string);
free(yyvsp[0].v.string);
}
break;
case 18:
#line 203 "parse.y"
{
yyval.v.expr = create_cond(rs, COND_HELO, yyvsp[0].v.string, NULL);
if (yyval.v.expr == NULL)
YYERROR;
free(yyvsp[0].v.string);
}
break;
case 19:
#line 209 "parse.y"
{
yyval.v.expr = create_cond(rs, COND_ENVFROM, yyvsp[0].v.string, NULL);
if (yyval.v.expr == NULL)
YYERROR;
free(yyvsp[0].v.string);
}
break;
case 20:
#line 215 "parse.y"
{
yyval.v.expr = create_cond(rs, COND_ENVRCPT, yyvsp[0].v.string, NULL);
if (yyval.v.expr == NULL)
YYERROR;
free(yyvsp[0].v.string);
}
break;
case 21:
#line 221 "parse.y"
{
yyval.v.expr = create_cond(rs, COND_HEADER, yyvsp[-1].v.string, yyvsp[0].v.string);
if (yyval.v.expr == NULL)
YYERROR;
free(yyvsp[-1].v.string);
free(yyvsp[0].v.string);
}
break;
case 22:
#line 228 "parse.y"
{
yyval.v.expr = create_cond(rs, COND_MACRO, yyvsp[-1].v.string, yyvsp[0].v.string);
if (yyval.v.expr == NULL)
YYERROR;
free(yyvsp[-1].v.string);
free(yyvsp[0].v.string);
}
break;
case 23:
#line 235 "parse.y"
{
yyval.v.expr = create_cond(rs, COND_BODY, yyvsp[0].v.string, NULL);
if (yyval.v.expr == NULL)
YYERROR;
free(yyvsp[0].v.string);
}
break;
case 24:
#line 241 "parse.y"
{
yyval.v.expr = yyvsp[-1].v.expr;
}
break;
case 25:
#line 244 "parse.y"
{
yyval.v.expr = find_macro(yyvsp[0].v.string);
if (yyval.v.expr == NULL) {
yyerror("yyparse: undefined macro '%s'", yyvsp[0].v.string);
YYERROR;
}
free(yyvsp[0].v.string);
}
break;
#line 913 "parse.c"
}
yyssp -= yym;
yystate = *yyssp;
yyvsp -= yym;
yym = yylhs[yyn];
if (yystate == 0 && yym == 0)
{
#if YYDEBUG
if (yydebug)
printf("%sdebug: after reduction, shifting from state 0 to\
state %d\n", YYPREFIX, YYFINAL);
#endif
yystate = YYFINAL;
*++yyssp = YYFINAL;
*++yyvsp = yyval;
if (yychar < 0)
{
if ((yychar = yylex()) < 0) yychar = 0;
#if YYDEBUG
if (yydebug)
{
yys = 0;
if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
if (!yys) yys = "illegal-symbol";
printf("%sdebug: state %d, reading %d (%s)\n",
YYPREFIX, YYFINAL, yychar, yys);
}
#endif
}
if (yychar == 0) goto yyaccept;
goto yyloop;
}
if ((yyn = yygindex[yym]) && (yyn += yystate) >= 0 &&
yyn <= YYTABLESIZE && yycheck[yyn] == yystate)
yystate = yytable[yyn];
else
yystate = yydgoto[yym];
#if YYDEBUG
if (yydebug)
printf("%sdebug: after reduction, shifting from state %d \
to state %d\n", YYPREFIX, *yyssp, yystate);
#endif
if (yyssp >= yysslim && yygrowstack())
{
goto yyoverflow;
}
*++yyssp = yystate;
*++yyvsp = yyval;
goto yyloop;
yyoverflow:
yyerror("yacc stack overflow");
yyabort:
return (1);
yyaccept:
return (0);
}
syntax highlighted by Code2HTML, v. 0.9.1