#ifndef lint
static char const
yyrcsid[] = "$FreeBSD: src/usr.bin/yacc/skeleton.c,v 1.28.2.1 2001/07/19 05:46:39 peter Exp $";
#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)
#if defined(__cplusplus) || __STDC__
static int yygrowstack(void);
#else
static int yygrowstack();
#endif
#define YYPREFIX "yy"
#line 34 "milter-regex-parse.y"
static const char rcsid[] = "$Id: milter-regex-parse.y,v 1.4 2006/10/05 04:27:35 ca Exp $";
#include "sm/generic.h"
SM_RCSID("@(#)$Id: milter-regex-parse.y,v 1.4 2006/10/05 04:27:35 ca Exp $")
#include "sm/error.h"
#include "sm/assert.h"
#include "sm/types.h"
#include "sm/ctype.h"
#include "sm/sysexits.h"
#include "sm/fcntl.h"
#include "sm/io.h"
#include "sm/regex.h"
#include "sm/signal.h"
#include "sm/syslog.h"
#include "sm/smreplycodes.h"
#include "sm/pmilter.h"
#include "sm/pmfdef.h"
#include "sm/pmfapi.h"
#if MTA_USE_PMILTER
#include <stdio.h>
#include "milter-regex-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 75 "y.tab.c"
#define YYERRCODE 256
#define ERROR 257
#define STRING 258
#define ACCEPT 259
#define REJECT 260
#define TEMPFAIL 261
#define DISCARD 262
#define QUARANTINE 263
#define REJECT_QUICK 264
#define CONNECT 265
#define HELO 266
#define ENVFROM 267
#define ENVRCPT 268
#define HEADER 269
#define BODY 270
#define AND 271
#define OR 272
#define NOT 273
const short yylhs[] = { -1,
0, 0, 0, 6, 5, 4, 4, 4, 4, 4,
4, 3, 3, 1, 1, 1, 1, 2, 2, 2,
2, 2, 2, 2, 2,
};
const short yylen[] = { 2,
0, 2, 2, 2, 3, 2, 2, 2, 1, 1,
2, 1, 2, 1, 3, 3, 2, 3, 2, 2,
2, 3, 2, 3, 2,
};
const short yydefred[] = { 0,
0, 10, 0, 0, 9, 0, 0, 0, 0, 0,
0, 0, 6, 7, 8, 11, 0, 0, 0, 0,
0, 0, 0, 0, 0, 12, 0, 0, 2, 3,
5, 0, 19, 20, 21, 0, 23, 17, 0, 25,
0, 0, 13, 18, 22, 24, 15, 16,
};
const short yydgoto[] = { 8,
26, 27, 28, 9, 10, 11,
};
const short yysindex[] = { -239,
-58, 0, -248, -247, 0, -246, -243, 0, -36, -239,
-239, -36, 0, 0, 0, 0, -242, -232, -231, -230,
-229, -228, -27, -36, -225, 0, -266, -36, 0, 0,
0, -224, 0, 0, 0, -223, 0, 0, -5, 0,
-36, -36, 0, 0, 0, 0, 0, 0,
};
const short yyrindex[] = { 38,
0, 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,
};
const short yygindex[] = { -3,
-10, 16, 0, 0, 0, 0,
};
#define YYTABLESIZE 281
const short yytable[] = { 25,
14, 31, 12, 24, 41, 42, 29, 30, 25, 13,
14, 15, 24, 39, 16, 32, 4, 43, 1, 2,
3, 4, 5, 6, 7, 33, 34, 35, 36, 37,
47, 48, 40, 44, 45, 46, 14, 1, 38, 0,
14, 14, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 17, 18,
19, 20, 21, 22, 0, 0, 23, 17, 18, 19,
20, 21, 22, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 14, 14,
14, 14, 14, 14, 14, 14, 14, 14, 14, 14,
14, 0, 0, 14, 4, 4, 4, 4, 4, 4,
4,
};
const short yycheck[] = { 36,
0, 12, 61, 40, 271, 272, 10, 11, 36, 258,
258, 258, 40, 24, 258, 258, 0, 28, 258, 259,
260, 261, 262, 263, 264, 258, 258, 258, 258, 258,
41, 42, 258, 258, 258, 41, 36, 0, 23, -1,
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, -1, 265, 266,
267, 268, 269, 270, -1, -1, 273, 265, 266, 267,
268, 269, 270, -1, -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,
264,
};
#define YYFINAL 8
#ifndef YYDEBUG
#define YYDEBUG 0
#endif
#define YYMAXTOKEN 273
#if YYDEBUG
const char * const 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","REJECT_QUICK","CONNECT",
"HELO","ENVFROM","ENVRCPT","HEADER","BODY","AND","OR","NOT",
};
const char * const 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",
"action : REJECT_QUICK STRING",
"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 : BODY STRING",
"term : '(' expr ')'",
"term : '$' STRING",
};
#endif
#if YYDEBUG
#include <stdio.h>
#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 268 "milter-regex-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 },
{ "not", NOT },
{ "or", OR },
{ "quarantine", QUARANTINE },
{ "reject", REJECT },
{ "reject_quick", REJECT_QUICK },
{ "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);
}
#endif /* MTA_USE_PMILTER */
#line 542 "y.tab.c"
/* allocate initial stack or double stack size, up to YYMAXDEPTH */
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;
newss = yyss ? (short *)realloc(yyss, newsize * sizeof *newss) :
(short *)malloc(newsize * sizeof *newss);
if (newss == NULL)
return -1;
yyss = newss;
yyssp = newss + i;
newvs = yyvs ? (YYSTYPE *)realloc(yyvs, newsize * sizeof *newvs) :
(YYSTYPE *)malloc(newsize * sizeof *newvs);
if (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
#ifndef YYPARSE_PARAM
#if defined(__cplusplus) || __STDC__
#define YYPARSE_PARAM_ARG void
#define YYPARSE_PARAM_DECL
#else /* ! ANSI-C/C++ */
#define YYPARSE_PARAM_ARG
#define YYPARSE_PARAM_DECL
#endif /* ANSI-C/C++ */
#else /* YYPARSE_PARAM */
#ifndef YYPARSE_PARAM_TYPE
#define YYPARSE_PARAM_TYPE void *
#endif
#if defined(__cplusplus) || __STDC__
#define YYPARSE_PARAM_ARG YYPARSE_PARAM_TYPE YYPARSE_PARAM
#define YYPARSE_PARAM_DECL
#else /* ! ANSI-C/C++ */
#define YYPARSE_PARAM_ARG YYPARSE_PARAM
#define YYPARSE_PARAM_DECL YYPARSE_PARAM_TYPE YYPARSE_PARAM;
#endif /* ANSI-C/C++ */
#endif /* ! YYPARSE_PARAM */
int
yyparse (YYPARSE_PARAM_ARG)
YYPARSE_PARAM_DECL
{
register int yym, yyn, yystate;
#if YYDEBUG
register const char *yys;
if ((yys = getenv("YYDEBUG")))
{
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])) 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;
#if defined(lint) || defined(__GNUC__)
goto yynewerror;
#endif
yynewerror:
yyerror("syntax error");
#if defined(lint) || defined(__GNUC__)
goto yyerrlab;
#endif
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 100 "milter-regex-parse.y"
{ }
break;
case 3:
#line 101 "milter-regex-parse.y"
{ }
break;
case 4:
#line 104 "milter-regex-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 116 "milter-regex-parse.y"
{
if (define_macro(yyvsp[-2].v.string, yyvsp[0].v.expr))
YYERROR;
free(yyvsp[-2].v.string);
}
break;
case 6:
#line 123 "milter-regex-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 131 "milter-regex-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 139 "milter-regex-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 147 "milter-regex-parse.y"
{
yyval.v.action = create_action(rs, ACTION_DISCARD, "");
if (yyval.v.action == NULL) {
yyerror("yyparse: create_action");
YYERROR;
}
}
break;
case 10:
#line 154 "milter-regex-parse.y"
{
yyval.v.action = create_action(rs, ACTION_ACCEPT, "");
if (yyval.v.action == NULL) {
yyerror("yyparse: create_action");
YYERROR;
}
}
break;
case 11:
#line 161 "milter-regex-parse.y"
{
yyval.v.action = create_action(rs, ACTION_REJECT_QUICK, yyvsp[0].v.string);
if (yyval.v.action == NULL) {
yyerror("yyparse: create_action");
YYERROR;
}
free(yyvsp[0].v.string);
}
break;
case 12:
#line 171 "milter-regex-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 13:
#line 179 "milter-regex-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 14:
#line 190 "milter-regex-parse.y"
{
yyval.v.expr = yyvsp[0].v.expr;
}
break;
case 15:
#line 193 "milter-regex-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 16:
#line 200 "milter-regex-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 17:
#line 207 "milter-regex-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 18:
#line 216 "milter-regex-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 19:
#line 223 "milter-regex-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 20:
#line 229 "milter-regex-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 21:
#line 235 "milter-regex-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 22:
#line 241 "milter-regex-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 23:
#line 248 "milter-regex-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 254 "milter-regex-parse.y"
{
yyval.v.expr = yyvsp[-1].v.expr;
}
break;
case 25:
#line 257 "milter-regex-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 962 "y.tab.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