| /* A Bison parser, made by GNU Bison 2.3. */ |
| |
| /* Skeleton implementation for Bison's Yacc-like parsers in C |
| |
| Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006 |
| Free Software Foundation, Inc. |
| |
| This program is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 2, or (at your option) |
| any later version. |
| |
| This program is distributed in the hope that it will be useful, |
| but WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| GNU General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with this program; if not, write to the Free Software |
| Foundation, Inc., 51 Franklin Street, Fifth Floor, |
| Boston, MA 02110-1301, USA. */ |
| |
| /* As a special exception, you may create a larger work that contains |
| part or all of the Bison parser skeleton and distribute that work |
| under terms of your choice, so long as that work isn't itself a |
| parser generator using the skeleton or a modified version thereof |
| as a parser skeleton. Alternatively, if you modify or redistribute |
| the parser skeleton itself, you may (at your option) remove this |
| special exception, which will cause the skeleton and the resulting |
| Bison output files to be licensed under the GNU General Public |
| License without this special exception. |
| |
| This special exception was added by the Free Software Foundation in |
| version 2.2 of Bison. */ |
| |
| /* C LALR(1) parser skeleton written by Richard Stallman, by |
| simplifying the original so-called "semantic" parser. */ |
| |
| /* All symbols defined below should begin with yy or YY, to avoid |
| infringing on user name space. This should be done even for local |
| variables, as they might otherwise be expanded by user macros. |
| There are some unavoidable exceptions within include files to |
| define necessary library symbols; they are noted "INFRINGES ON |
| USER NAME SPACE" below. */ |
| |
| /* Identify Bison output. */ |
| #define YYBISON 1 |
| |
| /* Bison version. */ |
| #define YYBISON_VERSION "2.3" |
| |
| /* Skeleton name. */ |
| #define YYSKELETON_NAME "yacc.c" |
| |
| /* Pure parsers. */ |
| #define YYPURE 0 |
| |
| /* Using locations. */ |
| #define YYLSP_NEEDED 0 |
| |
| /* Substitute the variable and function names. */ |
| #define yyparse __libipsecparse |
| #define yylex __libipseclex |
| #define yyerror __libipsecerror |
| #define yylval __libipseclval |
| #define yychar __libipsecchar |
| #define yydebug __libipsecdebug |
| #define yynerrs __libipsecnerrs |
| |
| |
| /* Tokens. */ |
| #ifndef YYTOKENTYPE |
| # define YYTOKENTYPE |
| /* Put the tokens into the symbol table, so that GDB and other debuggers |
| know about them. */ |
| enum yytokentype { |
| DIR = 258, |
| PRIORITY = 259, |
| PLUS = 260, |
| PRIO_BASE = 261, |
| PRIO_OFFSET = 262, |
| ACTION = 263, |
| PROTOCOL = 264, |
| MODE = 265, |
| LEVEL = 266, |
| LEVEL_SPECIFY = 267, |
| IPADDRESS = 268, |
| PORT = 269, |
| ME = 270, |
| ANY = 271, |
| SLASH = 272, |
| HYPHEN = 273 |
| }; |
| #endif |
| /* Tokens. */ |
| #define DIR 258 |
| #define PRIORITY 259 |
| #define PLUS 260 |
| #define PRIO_BASE 261 |
| #define PRIO_OFFSET 262 |
| #define ACTION 263 |
| #define PROTOCOL 264 |
| #define MODE 265 |
| #define LEVEL 266 |
| #define LEVEL_SPECIFY 267 |
| #define IPADDRESS 268 |
| #define PORT 269 |
| #define ME 270 |
| #define ANY 271 |
| #define SLASH 272 |
| #define HYPHEN 273 |
| |
| |
| |
| |
| /* Copy the first part of user declarations. */ |
| #line 65 "policy_parse.y" |
| |
| #ifdef HAVE_CONFIG_H |
| #include "config.h" |
| #endif |
| |
| #include <sys/types.h> |
| #include <sys/param.h> |
| #include <sys/socket.h> |
| |
| #include <netinet/in.h> |
| #include PATH_IPSEC_H |
| |
| #include <stdlib.h> |
| #include <stdio.h> |
| #include <string.h> |
| #include <netdb.h> |
| |
| #include <errno.h> |
| |
| #include "config.h" |
| |
| #include "ipsec_strerror.h" |
| #include "libpfkey.h" |
| |
| #ifndef INT32_MAX |
| #define INT32_MAX (0xffffffff) |
| #endif |
| |
| #ifndef INT32_MIN |
| #define INT32_MIN (-INT32_MAX-1) |
| #endif |
| |
| #define ATOX(c) \ |
| (isdigit(c) ? (c - '0') : (isupper(c) ? (c - 'A' + 10) : (c - 'a' + 10) )) |
| |
| static u_int8_t *pbuf = NULL; /* sadb_x_policy buffer */ |
| static int tlen = 0; /* total length of pbuf */ |
| static int offset = 0; /* offset of pbuf */ |
| static int p_dir, p_type, p_protocol, p_mode, p_level, p_reqid; |
| static u_int32_t p_priority = 0; |
| static long p_priority_offset = 0; |
| static struct sockaddr *p_src = NULL; |
| static struct sockaddr *p_dst = NULL; |
| |
| struct _val; |
| extern void yyerror __P((char *msg)); |
| static struct sockaddr *parse_sockaddr __P((struct _val *addrbuf, |
| struct _val *portbuf)); |
| static int rule_check __P((void)); |
| static int init_x_policy __P((void)); |
| static int set_x_request __P((struct sockaddr *, struct sockaddr *)); |
| static int set_sockaddr __P((struct sockaddr *)); |
| static void policy_parse_request_init __P((void)); |
| static void *policy_parse __P((const char *, int)); |
| |
| extern void __policy__strbuffer__init__ __P((const char *)); |
| extern void __policy__strbuffer__free__ __P((void)); |
| extern int yyparse __P((void)); |
| extern int yylex __P((void)); |
| |
| extern char *__libipsectext; /*XXX*/ |
| |
| |
| |
| /* Enabling traces. */ |
| #ifndef YYDEBUG |
| # define YYDEBUG 0 |
| #endif |
| |
| /* Enabling verbose error messages. */ |
| #ifdef YYERROR_VERBOSE |
| # undef YYERROR_VERBOSE |
| # define YYERROR_VERBOSE 1 |
| #else |
| # define YYERROR_VERBOSE 0 |
| #endif |
| |
| /* Enabling the token table. */ |
| #ifndef YYTOKEN_TABLE |
| # define YYTOKEN_TABLE 0 |
| #endif |
| |
| #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED |
| typedef union YYSTYPE |
| #line 129 "policy_parse.y" |
| { |
| u_int num; |
| u_int32_t num32; |
| struct _val { |
| int len; |
| char *buf; |
| } val; |
| } |
| /* Line 187 of yacc.c. */ |
| #line 213 "policy_parse.c" |
| YYSTYPE; |
| # define yystype YYSTYPE /* obsolescent; will be withdrawn */ |
| # define YYSTYPE_IS_DECLARED 1 |
| # define YYSTYPE_IS_TRIVIAL 1 |
| #endif |
| |
| |
| |
| /* Copy the second part of user declarations. */ |
| |
| |
| /* Line 216 of yacc.c. */ |
| #line 226 "policy_parse.c" |
| |
| #ifdef short |
| # undef short |
| #endif |
| |
| #ifdef YYTYPE_UINT8 |
| typedef YYTYPE_UINT8 yytype_uint8; |
| #else |
| typedef unsigned char yytype_uint8; |
| #endif |
| |
| #ifdef YYTYPE_INT8 |
| typedef YYTYPE_INT8 yytype_int8; |
| #elif (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| typedef signed char yytype_int8; |
| #else |
| typedef short int yytype_int8; |
| #endif |
| |
| #ifdef YYTYPE_UINT16 |
| typedef YYTYPE_UINT16 yytype_uint16; |
| #else |
| typedef unsigned short int yytype_uint16; |
| #endif |
| |
| #ifdef YYTYPE_INT16 |
| typedef YYTYPE_INT16 yytype_int16; |
| #else |
| typedef short int yytype_int16; |
| #endif |
| |
| #ifndef YYSIZE_T |
| # ifdef __SIZE_TYPE__ |
| # define YYSIZE_T __SIZE_TYPE__ |
| # elif defined size_t |
| # define YYSIZE_T size_t |
| # elif ! defined YYSIZE_T && (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| # include <stddef.h> /* INFRINGES ON USER NAME SPACE */ |
| # define YYSIZE_T size_t |
| # else |
| # define YYSIZE_T unsigned int |
| # endif |
| #endif |
| |
| #define YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
| |
| #ifndef YY_ |
| # if YYENABLE_NLS |
| # if ENABLE_NLS |
| # include <libintl.h> /* INFRINGES ON USER NAME SPACE */ |
| # define YY_(msgid) dgettext ("bison-runtime", msgid) |
| # endif |
| # endif |
| # ifndef YY_ |
| # define YY_(msgid) msgid |
| # endif |
| #endif |
| |
| /* Suppress unused-variable warnings by "using" E. */ |
| #if ! defined lint || defined __GNUC__ |
| # define YYUSE(e) ((void) (e)) |
| #else |
| # define YYUSE(e) /* empty */ |
| #endif |
| |
| /* Identity function, used to suppress warnings about constant conditions. */ |
| #ifndef lint |
| # define YYID(n) (n) |
| #else |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| static int |
| YYID (int i) |
| #else |
| static int |
| YYID (i) |
| int i; |
| #endif |
| { |
| return i; |
| } |
| #endif |
| |
| #if ! defined yyoverflow || YYERROR_VERBOSE |
| |
| /* The parser invokes alloca or malloc; define the necessary symbols. */ |
| |
| # ifdef YYSTACK_USE_ALLOCA |
| # if YYSTACK_USE_ALLOCA |
| # ifdef __GNUC__ |
| # define YYSTACK_ALLOC __builtin_alloca |
| # elif defined __BUILTIN_VA_ARG_INCR |
| # include <alloca.h> /* INFRINGES ON USER NAME SPACE */ |
| # elif defined _AIX |
| # define YYSTACK_ALLOC __alloca |
| # elif defined _MSC_VER |
| # include <malloc.h> /* INFRINGES ON USER NAME SPACE */ |
| # define alloca _alloca |
| # else |
| # define YYSTACK_ALLOC alloca |
| # if ! defined _ALLOCA_H && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */ |
| # ifndef _STDLIB_H |
| # define _STDLIB_H 1 |
| # endif |
| # endif |
| # endif |
| # endif |
| # endif |
| |
| # ifdef YYSTACK_ALLOC |
| /* Pacify GCC's `empty if-body' warning. */ |
| # define YYSTACK_FREE(Ptr) do { /* empty */; } while (YYID (0)) |
| # ifndef YYSTACK_ALLOC_MAXIMUM |
| /* The OS might guarantee only one guard page at the bottom of the stack, |
| and a page size can be as small as 4096 bytes. So we cannot safely |
| invoke alloca (N) if N exceeds 4096. Use a slightly smaller number |
| to allow for a few compiler-allocated temporary stack slots. */ |
| # define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */ |
| # endif |
| # else |
| # define YYSTACK_ALLOC YYMALLOC |
| # define YYSTACK_FREE YYFREE |
| # ifndef YYSTACK_ALLOC_MAXIMUM |
| # define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
| # endif |
| # if (defined __cplusplus && ! defined _STDLIB_H \ |
| && ! ((defined YYMALLOC || defined malloc) \ |
| && (defined YYFREE || defined free))) |
| # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */ |
| # ifndef _STDLIB_H |
| # define _STDLIB_H 1 |
| # endif |
| # endif |
| # ifndef YYMALLOC |
| # define YYMALLOC malloc |
| # if ! defined malloc && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */ |
| # endif |
| # endif |
| # ifndef YYFREE |
| # define YYFREE free |
| # if ! defined free && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| void free (void *); /* INFRINGES ON USER NAME SPACE */ |
| # endif |
| # endif |
| # endif |
| #endif /* ! defined yyoverflow || YYERROR_VERBOSE */ |
| |
| |
| #if (! defined yyoverflow \ |
| && (! defined __cplusplus \ |
| || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) |
| |
| /* A type that is properly aligned for any stack member. */ |
| union yyalloc |
| { |
| yytype_int16 yyss; |
| YYSTYPE yyvs; |
| }; |
| |
| /* The size of the maximum gap between one aligned stack and the next. */ |
| # define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) |
| |
| /* The size of an array large to enough to hold all stacks, each with |
| N elements. */ |
| # define YYSTACK_BYTES(N) \ |
| ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \ |
| + YYSTACK_GAP_MAXIMUM) |
| |
| /* Copy COUNT objects from FROM to TO. The source and destination do |
| not overlap. */ |
| # ifndef YYCOPY |
| # if defined __GNUC__ && 1 < __GNUC__ |
| # define YYCOPY(To, From, Count) \ |
| __builtin_memcpy (To, From, (Count) * sizeof (*(From))) |
| # else |
| # define YYCOPY(To, From, Count) \ |
| do \ |
| { \ |
| YYSIZE_T yyi; \ |
| for (yyi = 0; yyi < (Count); yyi++) \ |
| (To)[yyi] = (From)[yyi]; \ |
| } \ |
| while (YYID (0)) |
| # endif |
| # endif |
| |
| /* Relocate STACK from its old location to the new one. The |
| local variables YYSIZE and YYSTACKSIZE give the old and new number of |
| elements in the stack, and YYPTR gives the new location of the |
| stack. Advance YYPTR to a properly aligned location for the next |
| stack. */ |
| # define YYSTACK_RELOCATE(Stack) \ |
| do \ |
| { \ |
| YYSIZE_T yynewbytes; \ |
| YYCOPY (&yyptr->Stack, Stack, yysize); \ |
| Stack = &yyptr->Stack; \ |
| yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ |
| yyptr += yynewbytes / sizeof (*yyptr); \ |
| } \ |
| while (YYID (0)) |
| |
| #endif |
| |
| /* YYFINAL -- State number of the termination state. */ |
| #define YYFINAL 5 |
| /* YYLAST -- Last index in YYTABLE. */ |
| #define YYLAST 48 |
| |
| /* YYNTOKENS -- Number of terminals. */ |
| #define YYNTOKENS 19 |
| /* YYNNTS -- Number of nonterminals. */ |
| #define YYNNTS 16 |
| /* YYNRULES -- Number of rules. */ |
| #define YYNRULES 34 |
| /* YYNRULES -- Number of states. */ |
| #define YYNSTATES 60 |
| |
| /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */ |
| #define YYUNDEFTOK 2 |
| #define YYMAXUTOK 273 |
| |
| #define YYTRANSLATE(YYX) \ |
| ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
| |
| /* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */ |
| static const yytype_uint8 yytranslate[] = |
| { |
| 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 1, 2, 3, 4, |
| 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, |
| 15, 16, 17, 18 |
| }; |
| |
| #if YYDEBUG |
| /* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in |
| YYRHS. */ |
| static const yytype_uint8 yyprhs[] = |
| { |
| 0, 0, 3, 4, 9, 10, 17, 18, 26, 27, |
| 34, 35, 44, 45, 54, 56, 57, 60, 68, 75, |
| 81, 86, 93, 97, 100, 102, 104, 106, 108, 110, |
| 111, 116, 117, 124, 128 |
| }; |
| |
| /* YYRHS -- A `-1'-separated list of the rules' RHS. */ |
| static const yytype_int8 yyrhs[] = |
| { |
| 20, 0, -1, -1, 3, 8, 21, 27, -1, -1, |
| 3, 4, 7, 8, 22, 27, -1, -1, 3, 4, |
| 18, 7, 8, 23, 27, -1, -1, 3, 4, 6, |
| 8, 24, 27, -1, -1, 3, 4, 6, 5, 7, |
| 8, 25, 27, -1, -1, 3, 4, 6, 18, 7, |
| 8, 26, 27, -1, 3, -1, -1, 27, 28, -1, |
| 29, 17, 30, 17, 32, 17, 31, -1, 29, 17, |
| 30, 17, 32, 17, -1, 29, 17, 30, 17, 32, |
| -1, 29, 17, 30, 17, -1, 29, 17, 30, 17, |
| 17, 31, -1, 29, 17, 30, -1, 29, 17, -1, |
| 29, -1, 9, -1, 10, -1, 11, -1, 12, -1, |
| -1, 13, 33, 18, 13, -1, -1, 13, 14, 34, |
| 18, 13, 14, -1, 15, 18, 16, -1, 16, 18, |
| 15, -1 |
| }; |
| |
| /* YYRLINE[YYN] -- source line where rule number YYN was defined. */ |
| static const yytype_uint16 yyrline[] = |
| { |
| 0, 151, 151, 150, 166, 165, 202, 201, 224, 223, |
| 235, 234, 257, 256, 278, 290, 292, 304, 305, 306, |
| 307, 308, 309, 310, 314, 321, 325, 329, 333, 340, |
| 340, 351, 351, 362, 368 |
| }; |
| #endif |
| |
| #if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE |
| /* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. |
| First, the terminals, then, starting at YYNTOKENS, nonterminals. */ |
| static const char *const yytname[] = |
| { |
| "$end", "error", "$undefined", "DIR", "PRIORITY", "PLUS", "PRIO_BASE", |
| "PRIO_OFFSET", "ACTION", "PROTOCOL", "MODE", "LEVEL", "LEVEL_SPECIFY", |
| "IPADDRESS", "PORT", "ME", "ANY", "SLASH", "HYPHEN", "$accept", |
| "policy_spec", "@1", "@2", "@3", "@4", "@5", "@6", "rules", "rule", |
| "protocol", "mode", "level", "addresses", "@7", "@8", 0 |
| }; |
| #endif |
| |
| # ifdef YYPRINT |
| /* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to |
| token YYLEX-NUM. */ |
| static const yytype_uint16 yytoknum[] = |
| { |
| 0, 256, 257, 258, 259, 260, 261, 262, 263, 264, |
| 265, 266, 267, 268, 269, 270, 271, 272, 273 |
| }; |
| # endif |
| |
| /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ |
| static const yytype_uint8 yyr1[] = |
| { |
| 0, 19, 21, 20, 22, 20, 23, 20, 24, 20, |
| 25, 20, 26, 20, 20, 27, 27, 28, 28, 28, |
| 28, 28, 28, 28, 28, 29, 30, 31, 31, 33, |
| 32, 34, 32, 32, 32 |
| }; |
| |
| /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */ |
| static const yytype_uint8 yyr2[] = |
| { |
| 0, 2, 0, 4, 0, 6, 0, 7, 0, 6, |
| 0, 8, 0, 8, 1, 0, 2, 7, 6, 5, |
| 4, 6, 3, 2, 1, 1, 1, 1, 1, 0, |
| 4, 0, 6, 3, 3 |
| }; |
| |
| /* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state |
| STATE-NUM when YYTABLE doesn't specify something else to do. Zero |
| means the default is an error. */ |
| static const yytype_uint8 yydefact[] = |
| { |
| 0, 14, 0, 0, 2, 1, 0, 0, 0, 15, |
| 0, 8, 0, 4, 0, 3, 0, 15, 0, 15, |
| 6, 25, 16, 24, 10, 9, 12, 5, 15, 23, |
| 15, 15, 7, 26, 22, 11, 13, 20, 29, 0, |
| 0, 0, 19, 31, 0, 0, 0, 27, 28, 21, |
| 18, 0, 0, 33, 34, 17, 0, 30, 0, 32 |
| }; |
| |
| /* YYDEFGOTO[NTERM-NUM]. */ |
| static const yytype_int8 yydefgoto[] = |
| { |
| -1, 2, 9, 19, 28, 17, 30, 31, 15, 22, |
| 23, 34, 49, 42, 44, 51 |
| }; |
| |
| /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing |
| STATE-NUM. */ |
| #define YYPACT_NINF -18 |
| static const yytype_int8 yypact[] = |
| { |
| 6, -3, 4, 1, -18, -18, -2, 2, 8, -18, |
| 10, -18, 18, -18, 19, 3, 20, -18, 21, -18, |
| -18, -18, -18, 9, -18, 3, -18, 3, -18, 22, |
| -18, -18, 3, -18, 13, 3, 3, 5, 17, 15, |
| 16, 12, 23, -18, 24, 25, 28, -18, -18, -18, |
| 12, 26, 32, -18, -18, -18, 33, -18, 34, -18 |
| }; |
| |
| /* YYPGOTO[NTERM-NUM]. */ |
| static const yytype_int8 yypgoto[] = |
| { |
| -18, -18, -18, -18, -18, -18, -18, -18, -17, -18, |
| -18, -18, -15, -18, -18, -18 |
| }; |
| |
| /* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If |
| positive, shift that token. If negative, reduce the rule which |
| number is the opposite. If zero, do what YYDEFACT says. |
| If YYTABLE_NINF, syntax error. */ |
| #define YYTABLE_NINF -1 |
| static const yytype_uint8 yytable[] = |
| { |
| 25, 3, 27, 10, 5, 4, 11, 6, 7, 1, |
| 13, 32, 21, 35, 36, 14, 12, 16, 38, 8, |
| 39, 40, 41, 47, 48, 18, 29, 20, 24, 26, |
| 37, 43, 33, 45, 46, 55, 0, 0, 0, 0, |
| 50, 53, 52, 54, 56, 57, 58, 0, 59 |
| }; |
| |
| static const yytype_int8 yycheck[] = |
| { |
| 17, 4, 19, 5, 0, 8, 8, 6, 7, 3, |
| 8, 28, 9, 30, 31, 7, 18, 7, 13, 18, |
| 15, 16, 17, 11, 12, 7, 17, 8, 8, 8, |
| 17, 14, 10, 18, 18, 50, -1, -1, -1, -1, |
| 17, 16, 18, 15, 18, 13, 13, -1, 14 |
| }; |
| |
| /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing |
| symbol of state STATE-NUM. */ |
| static const yytype_uint8 yystos[] = |
| { |
| 0, 3, 20, 4, 8, 0, 6, 7, 18, 21, |
| 5, 8, 18, 8, 7, 27, 7, 24, 7, 22, |
| 8, 9, 28, 29, 8, 27, 8, 27, 23, 17, |
| 25, 26, 27, 10, 30, 27, 27, 17, 13, 15, |
| 16, 17, 32, 14, 33, 18, 18, 11, 12, 31, |
| 17, 34, 18, 16, 15, 31, 18, 13, 13, 14 |
| }; |
| |
| #define yyerrok (yyerrstatus = 0) |
| #define yyclearin (yychar = YYEMPTY) |
| #define YYEMPTY (-2) |
| #define YYEOF 0 |
| |
| #define YYACCEPT goto yyacceptlab |
| #define YYABORT goto yyabortlab |
| #define YYERROR goto yyerrorlab |
| |
| |
| /* Like YYERROR except do call yyerror. This remains here temporarily |
| to ease the transition to the new meaning of YYERROR, for GCC. |
| Once GCC version 2 has supplanted version 1, this can go. */ |
| |
| #define YYFAIL goto yyerrlab |
| |
| #define YYRECOVERING() (!!yyerrstatus) |
| |
| #define YYBACKUP(Token, Value) \ |
| do \ |
| if (yychar == YYEMPTY && yylen == 1) \ |
| { \ |
| yychar = (Token); \ |
| yylval = (Value); \ |
| yytoken = YYTRANSLATE (yychar); \ |
| YYPOPSTACK (1); \ |
| goto yybackup; \ |
| } \ |
| else \ |
| { \ |
| yyerror (YY_("syntax error: cannot back up")); \ |
| YYERROR; \ |
| } \ |
| while (YYID (0)) |
| |
| |
| #define YYTERROR 1 |
| #define YYERRCODE 256 |
| |
| |
| /* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N]. |
| If N is 0, then set CURRENT to the empty location which ends |
| the previous symbol: RHS[0] (always defined). */ |
| |
| #define YYRHSLOC(Rhs, K) ((Rhs)[K]) |
| #ifndef YYLLOC_DEFAULT |
| # define YYLLOC_DEFAULT(Current, Rhs, N) \ |
| do \ |
| if (YYID (N)) \ |
| { \ |
| (Current).first_line = YYRHSLOC (Rhs, 1).first_line; \ |
| (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \ |
| (Current).last_line = YYRHSLOC (Rhs, N).last_line; \ |
| (Current).last_column = YYRHSLOC (Rhs, N).last_column; \ |
| } \ |
| else \ |
| { \ |
| (Current).first_line = (Current).last_line = \ |
| YYRHSLOC (Rhs, 0).last_line; \ |
| (Current).first_column = (Current).last_column = \ |
| YYRHSLOC (Rhs, 0).last_column; \ |
| } \ |
| while (YYID (0)) |
| #endif |
| |
| |
| /* YY_LOCATION_PRINT -- Print the location on the stream. |
| This macro was not mandated originally: define only if we know |
| we won't break user code: when these are the locations we know. */ |
| |
| #ifndef YY_LOCATION_PRINT |
| # if YYLTYPE_IS_TRIVIAL |
| # define YY_LOCATION_PRINT(File, Loc) \ |
| fprintf (File, "%d.%d-%d.%d", \ |
| (Loc).first_line, (Loc).first_column, \ |
| (Loc).last_line, (Loc).last_column) |
| # else |
| # define YY_LOCATION_PRINT(File, Loc) ((void) 0) |
| # endif |
| #endif |
| |
| |
| /* YYLEX -- calling `yylex' with the right arguments. */ |
| |
| #ifdef YYLEX_PARAM |
| # define YYLEX yylex (YYLEX_PARAM) |
| #else |
| # define YYLEX yylex () |
| #endif |
| |
| /* Enable debugging if requested. */ |
| #if YYDEBUG |
| |
| # ifndef YYFPRINTF |
| # include <stdio.h> /* INFRINGES ON USER NAME SPACE */ |
| # define YYFPRINTF fprintf |
| # endif |
| |
| # define YYDPRINTF(Args) \ |
| do { \ |
| if (yydebug) \ |
| YYFPRINTF Args; \ |
| } while (YYID (0)) |
| |
| # define YY_SYMBOL_PRINT(Title, Type, Value, Location) \ |
| do { \ |
| if (yydebug) \ |
| { \ |
| YYFPRINTF (stderr, "%s ", Title); \ |
| yy_symbol_print (stderr, \ |
| Type, Value); \ |
| YYFPRINTF (stderr, "\n"); \ |
| } \ |
| } while (YYID (0)) |
| |
| |
| /*--------------------------------. |
| | Print this symbol on YYOUTPUT. | |
| `--------------------------------*/ |
| |
| /*ARGSUSED*/ |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| static void |
| yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep) |
| #else |
| static void |
| yy_symbol_value_print (yyoutput, yytype, yyvaluep) |
| FILE *yyoutput; |
| int yytype; |
| YYSTYPE const * const yyvaluep; |
| #endif |
| { |
| if (!yyvaluep) |
| return; |
| # ifdef YYPRINT |
| if (yytype < YYNTOKENS) |
| YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); |
| # else |
| YYUSE (yyoutput); |
| # endif |
| switch (yytype) |
| { |
| default: |
| break; |
| } |
| } |
| |
| |
| /*--------------------------------. |
| | Print this symbol on YYOUTPUT. | |
| `--------------------------------*/ |
| |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| static void |
| yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep) |
| #else |
| static void |
| yy_symbol_print (yyoutput, yytype, yyvaluep) |
| FILE *yyoutput; |
| int yytype; |
| YYSTYPE const * const yyvaluep; |
| #endif |
| { |
| if (yytype < YYNTOKENS) |
| YYFPRINTF (yyoutput, "token %s (", yytname[yytype]); |
| else |
| YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]); |
| |
| yy_symbol_value_print (yyoutput, yytype, yyvaluep); |
| YYFPRINTF (yyoutput, ")"); |
| } |
| |
| /*------------------------------------------------------------------. |
| | yy_stack_print -- Print the state stack from its BOTTOM up to its | |
| | TOP (included). | |
| `------------------------------------------------------------------*/ |
| |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| static void |
| yy_stack_print (yytype_int16 *bottom, yytype_int16 *top) |
| #else |
| static void |
| yy_stack_print (bottom, top) |
| yytype_int16 *bottom; |
| yytype_int16 *top; |
| #endif |
| { |
| YYFPRINTF (stderr, "Stack now"); |
| for (; bottom <= top; ++bottom) |
| YYFPRINTF (stderr, " %d", *bottom); |
| YYFPRINTF (stderr, "\n"); |
| } |
| |
| # define YY_STACK_PRINT(Bottom, Top) \ |
| do { \ |
| if (yydebug) \ |
| yy_stack_print ((Bottom), (Top)); \ |
| } while (YYID (0)) |
| |
| |
| /*------------------------------------------------. |
| | Report that the YYRULE is going to be reduced. | |
| `------------------------------------------------*/ |
| |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| static void |
| yy_reduce_print (YYSTYPE *yyvsp, int yyrule) |
| #else |
| static void |
| yy_reduce_print (yyvsp, yyrule) |
| YYSTYPE *yyvsp; |
| int yyrule; |
| #endif |
| { |
| int yynrhs = yyr2[yyrule]; |
| int yyi; |
| unsigned long int yylno = yyrline[yyrule]; |
| YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n", |
| yyrule - 1, yylno); |
| /* The symbols being reduced. */ |
| for (yyi = 0; yyi < yynrhs; yyi++) |
| { |
| fprintf (stderr, " $%d = ", yyi + 1); |
| yy_symbol_print (stderr, yyrhs[yyprhs[yyrule] + yyi], |
| &(yyvsp[(yyi + 1) - (yynrhs)]) |
| ); |
| fprintf (stderr, "\n"); |
| } |
| } |
| |
| # define YY_REDUCE_PRINT(Rule) \ |
| do { \ |
| if (yydebug) \ |
| yy_reduce_print (yyvsp, Rule); \ |
| } while (YYID (0)) |
| |
| /* Nonzero means print parse trace. It is left uninitialized so that |
| multiple parsers can coexist. */ |
| int yydebug; |
| #else /* !YYDEBUG */ |
| # define YYDPRINTF(Args) |
| # define YY_SYMBOL_PRINT(Title, Type, Value, Location) |
| # define YY_STACK_PRINT(Bottom, Top) |
| # define YY_REDUCE_PRINT(Rule) |
| #endif /* !YYDEBUG */ |
| |
| |
| /* YYINITDEPTH -- initial size of the parser's stacks. */ |
| #ifndef YYINITDEPTH |
| # define YYINITDEPTH 200 |
| #endif |
| |
| /* YYMAXDEPTH -- maximum size the stacks can grow to (effective only |
| if the built-in stack extension method is used). |
| |
| Do not make this value too large; the results are undefined if |
| YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH) |
| evaluated with infinite-precision integer arithmetic. */ |
| |
| #ifndef YYMAXDEPTH |
| # define YYMAXDEPTH 10000 |
| #endif |
| |
| |
| |
| #if YYERROR_VERBOSE |
| |
| # ifndef yystrlen |
| # if defined __GLIBC__ && defined _STRING_H |
| # define yystrlen strlen |
| # else |
| /* Return the length of YYSTR. */ |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| static YYSIZE_T |
| yystrlen (const char *yystr) |
| #else |
| static YYSIZE_T |
| yystrlen (yystr) |
| const char *yystr; |
| #endif |
| { |
| YYSIZE_T yylen; |
| for (yylen = 0; yystr[yylen]; yylen++) |
| continue; |
| return yylen; |
| } |
| # endif |
| # endif |
| |
| # ifndef yystpcpy |
| # if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE |
| # define yystpcpy stpcpy |
| # else |
| /* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in |
| YYDEST. */ |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| static char * |
| yystpcpy (char *yydest, const char *yysrc) |
| #else |
| static char * |
| yystpcpy (yydest, yysrc) |
| char *yydest; |
| const char *yysrc; |
| #endif |
| { |
| char *yyd = yydest; |
| const char *yys = yysrc; |
| |
| while ((*yyd++ = *yys++) != '\0') |
| continue; |
| |
| return yyd - 1; |
| } |
| # endif |
| # endif |
| |
| # ifndef yytnamerr |
| /* Copy to YYRES the contents of YYSTR after stripping away unnecessary |
| quotes and backslashes, so that it's suitable for yyerror. The |
| heuristic is that double-quoting is unnecessary unless the string |
| contains an apostrophe, a comma, or backslash (other than |
| backslash-backslash). YYSTR is taken from yytname. If YYRES is |
| null, do not copy; instead, return the length of what the result |
| would have been. */ |
| static YYSIZE_T |
| yytnamerr (char *yyres, const char *yystr) |
| { |
| if (*yystr == '"') |
| { |
| YYSIZE_T yyn = 0; |
| char const *yyp = yystr; |
| |
| for (;;) |
| switch (*++yyp) |
| { |
| case '\'': |
| case ',': |
| goto do_not_strip_quotes; |
| |
| case '\\': |
| if (*++yyp != '\\') |
| goto do_not_strip_quotes; |
| /* Fall through. */ |
| default: |
| if (yyres) |
| yyres[yyn] = *yyp; |
| yyn++; |
| break; |
| |
| case '"': |
| if (yyres) |
| yyres[yyn] = '\0'; |
| return yyn; |
| } |
| do_not_strip_quotes: ; |
| } |
| |
| if (! yyres) |
| return yystrlen (yystr); |
| |
| return yystpcpy (yyres, yystr) - yyres; |
| } |
| # endif |
| |
| /* Copy into YYRESULT an error message about the unexpected token |
| YYCHAR while in state YYSTATE. Return the number of bytes copied, |
| including the terminating null byte. If YYRESULT is null, do not |
| copy anything; just return the number of bytes that would be |
| copied. As a special case, return 0 if an ordinary "syntax error" |
| message will do. Return YYSIZE_MAXIMUM if overflow occurs during |
| size calculation. */ |
| static YYSIZE_T |
| yysyntax_error (char *yyresult, int yystate, int yychar) |
| { |
| int yyn = yypact[yystate]; |
| |
| if (! (YYPACT_NINF < yyn && yyn <= YYLAST)) |
| return 0; |
| else |
| { |
| int yytype = YYTRANSLATE (yychar); |
| YYSIZE_T yysize0 = yytnamerr (0, yytname[yytype]); |
| YYSIZE_T yysize = yysize0; |
| YYSIZE_T yysize1; |
| int yysize_overflow = 0; |
| enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 }; |
| char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM]; |
| int yyx; |
| |
| # if 0 |
| /* This is so xgettext sees the translatable formats that are |
| constructed on the fly. */ |
| YY_("syntax error, unexpected %s"); |
| YY_("syntax error, unexpected %s, expecting %s"); |
| YY_("syntax error, unexpected %s, expecting %s or %s"); |
| YY_("syntax error, unexpected %s, expecting %s or %s or %s"); |
| YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s"); |
| # endif |
| char *yyfmt; |
| char const *yyf; |
| static char const yyunexpected[] = "syntax error, unexpected %s"; |
| static char const yyexpecting[] = ", expecting %s"; |
| static char const yyor[] = " or %s"; |
| char yyformat[sizeof yyunexpected |
| + sizeof yyexpecting - 1 |
| + ((YYERROR_VERBOSE_ARGS_MAXIMUM - 2) |
| * (sizeof yyor - 1))]; |
| char const *yyprefix = yyexpecting; |
| |
| /* Start YYX at -YYN if negative to avoid negative indexes in |
| YYCHECK. */ |
| int yyxbegin = yyn < 0 ? -yyn : 0; |
| |
| /* Stay within bounds of both yycheck and yytname. */ |
| int yychecklim = YYLAST - yyn + 1; |
| int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS; |
| int yycount = 1; |
| |
| yyarg[0] = yytname[yytype]; |
| yyfmt = yystpcpy (yyformat, yyunexpected); |
| |
| for (yyx = yyxbegin; yyx < yyxend; ++yyx) |
| if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR) |
| { |
| if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM) |
| { |
| yycount = 1; |
| yysize = yysize0; |
| yyformat[sizeof yyunexpected - 1] = '\0'; |
| break; |
| } |
| yyarg[yycount++] = yytname[yyx]; |
| yysize1 = yysize + yytnamerr (0, yytname[yyx]); |
| yysize_overflow |= (yysize1 < yysize); |
| yysize = yysize1; |
| yyfmt = yystpcpy (yyfmt, yyprefix); |
| yyprefix = yyor; |
| } |
| |
| yyf = YY_(yyformat); |
| yysize1 = yysize + yystrlen (yyf); |
| yysize_overflow |= (yysize1 < yysize); |
| yysize = yysize1; |
| |
| if (yysize_overflow) |
| return YYSIZE_MAXIMUM; |
| |
| if (yyresult) |
| { |
| /* Avoid sprintf, as that infringes on the user's name space. |
| Don't have undefined behavior even if the translation |
| produced a string with the wrong number of "%s"s. */ |
| char *yyp = yyresult; |
| int yyi = 0; |
| while ((*yyp = *yyf) != '\0') |
| { |
| if (*yyp == '%' && yyf[1] == 's' && yyi < yycount) |
| { |
| yyp += yytnamerr (yyp, yyarg[yyi++]); |
| yyf += 2; |
| } |
| else |
| { |
| yyp++; |
| yyf++; |
| } |
| } |
| } |
| return yysize; |
| } |
| } |
| #endif /* YYERROR_VERBOSE */ |
| |
| |
| /*-----------------------------------------------. |
| | Release the memory associated to this symbol. | |
| `-----------------------------------------------*/ |
| |
| /*ARGSUSED*/ |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| static void |
| yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep) |
| #else |
| static void |
| yydestruct (yymsg, yytype, yyvaluep) |
| const char *yymsg; |
| int yytype; |
| YYSTYPE *yyvaluep; |
| #endif |
| { |
| YYUSE (yyvaluep); |
| |
| if (!yymsg) |
| yymsg = "Deleting"; |
| YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); |
| |
| switch (yytype) |
| { |
| |
| default: |
| break; |
| } |
| } |
| |
| |
| /* Prevent warnings from -Wmissing-prototypes. */ |
| |
| #ifdef YYPARSE_PARAM |
| #if defined __STDC__ || defined __cplusplus |
| int yyparse (void *YYPARSE_PARAM); |
| #else |
| int yyparse (); |
| #endif |
| #else /* ! YYPARSE_PARAM */ |
| #if defined __STDC__ || defined __cplusplus |
| int yyparse (void); |
| #else |
| int yyparse (); |
| #endif |
| #endif /* ! YYPARSE_PARAM */ |
| |
| |
| |
| /* The look-ahead symbol. */ |
| int yychar; |
| |
| /* The semantic value of the look-ahead symbol. */ |
| YYSTYPE yylval; |
| |
| /* Number of syntax errors so far. */ |
| int yynerrs; |
| |
| |
| |
| /*----------. |
| | yyparse. | |
| `----------*/ |
| |
| #ifdef YYPARSE_PARAM |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| int |
| yyparse (void *YYPARSE_PARAM) |
| #else |
| int |
| yyparse (YYPARSE_PARAM) |
| void *YYPARSE_PARAM; |
| #endif |
| #else /* ! YYPARSE_PARAM */ |
| #if (defined __STDC__ || defined __C99__FUNC__ \ |
| || defined __cplusplus || defined _MSC_VER) |
| int |
| yyparse (void) |
| #else |
| int |
| yyparse () |
| |
| #endif |
| #endif |
| { |
| |
| int yystate; |
| int yyn; |
| int yyresult; |
| /* Number of tokens to shift before error messages enabled. */ |
| int yyerrstatus; |
| /* Look-ahead token as an internal (translated) token number. */ |
| int yytoken = 0; |
| #if YYERROR_VERBOSE |
| /* Buffer for error messages, and its allocated size. */ |
| char yymsgbuf[128]; |
| char *yymsg = yymsgbuf; |
| YYSIZE_T yymsg_alloc = sizeof yymsgbuf; |
| #endif |
| |
| /* Three stacks and their tools: |
| `yyss': related to states, |
| `yyvs': related to semantic values, |
| `yyls': related to locations. |
| |
| Refer to the stacks thru separate pointers, to allow yyoverflow |
| to reallocate them elsewhere. */ |
| |
| /* The state stack. */ |
| yytype_int16 yyssa[YYINITDEPTH]; |
| yytype_int16 *yyss = yyssa; |
| yytype_int16 *yyssp; |
| |
| /* The semantic value stack. */ |
| YYSTYPE yyvsa[YYINITDEPTH]; |
| YYSTYPE *yyvs = yyvsa; |
| YYSTYPE *yyvsp; |
| |
| |
| |
| #define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N)) |
| |
| YYSIZE_T yystacksize = YYINITDEPTH; |
| |
| /* The variables used to return semantic value and location from the |
| action routines. */ |
| YYSTYPE yyval; |
| |
| |
| /* The number of symbols on the RHS of the reduced rule. |
| Keep to zero when no symbol should be popped. */ |
| int yylen = 0; |
| |
| YYDPRINTF ((stderr, "Starting parse\n")); |
| |
| yystate = 0; |
| yyerrstatus = 0; |
| yynerrs = 0; |
| yychar = YYEMPTY; /* Cause a token to be read. */ |
| |
| /* Initialize stack pointers. |
| Waste one element of value and location stack |
| so that they stay on the same level as the state stack. |
| The wasted elements are never initialized. */ |
| |
| yyssp = yyss; |
| yyvsp = yyvs; |
| |
| goto yysetstate; |
| |
| /*------------------------------------------------------------. |
| | yynewstate -- Push a new state, which is found in yystate. | |
| `------------------------------------------------------------*/ |
| yynewstate: |
| /* In all cases, when you get here, the value and location stacks |
| have just been pushed. So pushing a state here evens the stacks. */ |
| yyssp++; |
| |
| yysetstate: |
| *yyssp = yystate; |
| |
| if (yyss + yystacksize - 1 <= yyssp) |
| { |
| /* Get the current used size of the three stacks, in elements. */ |
| YYSIZE_T yysize = yyssp - yyss + 1; |
| |
| #ifdef yyoverflow |
| { |
| /* Give user a chance to reallocate the stack. Use copies of |
| these so that the &'s don't force the real ones into |
| memory. */ |
| YYSTYPE *yyvs1 = yyvs; |
| yytype_int16 *yyss1 = yyss; |
| |
| |
| /* Each stack pointer address is followed by the size of the |
| data in use in that stack, in bytes. This used to be a |
| conditional around just the two extra args, but that might |
| be undefined if yyoverflow is a macro. */ |
| yyoverflow (YY_("memory exhausted"), |
| &yyss1, yysize * sizeof (*yyssp), |
| &yyvs1, yysize * sizeof (*yyvsp), |
| |
| &yystacksize); |
| |
| yyss = yyss1; |
| yyvs = yyvs1; |
| } |
| #else /* no yyoverflow */ |
| # ifndef YYSTACK_RELOCATE |
| goto yyexhaustedlab; |
| # else |
| /* Extend the stack our own way. */ |
| if (YYMAXDEPTH <= yystacksize) |
| goto yyexhaustedlab; |
| yystacksize *= 2; |
| if (YYMAXDEPTH < yystacksize) |
| yystacksize = YYMAXDEPTH; |
| |
| { |
| yytype_int16 *yyss1 = yyss; |
| union yyalloc *yyptr = |
| (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize)); |
| if (! yyptr) |
| goto yyexhaustedlab; |
| YYSTACK_RELOCATE (yyss); |
| YYSTACK_RELOCATE (yyvs); |
| |
| # undef YYSTACK_RELOCATE |
| if (yyss1 != yyssa) |
| YYSTACK_FREE (yyss1); |
| } |
| # endif |
| #endif /* no yyoverflow */ |
| |
| yyssp = yyss + yysize - 1; |
| yyvsp = yyvs + yysize - 1; |
| |
| |
| YYDPRINTF ((stderr, "Stack size increased to %lu\n", |
| (unsigned long int) yystacksize)); |
| |
| if (yyss + yystacksize - 1 <= yyssp) |
| YYABORT; |
| } |
| |
| YYDPRINTF ((stderr, "Entering state %d\n", yystate)); |
| |
| goto yybackup; |
| |
| /*-----------. |
| | yybackup. | |
| `-----------*/ |
| yybackup: |
| |
| /* Do appropriate processing given the current state. Read a |
| look-ahead token if we need one and don't already have one. */ |
| |
| /* First try to decide what to do without reference to look-ahead token. */ |
| yyn = yypact[yystate]; |
| if (yyn == YYPACT_NINF) |
| goto yydefault; |
| |
| /* Not known => get a look-ahead token if don't already have one. */ |
| |
| /* YYCHAR is either YYEMPTY or YYEOF or a valid look-ahead symbol. */ |
| if (yychar == YYEMPTY) |
| { |
| YYDPRINTF ((stderr, "Reading a token: ")); |
| yychar = YYLEX; |
| } |
| |
| if (yychar <= YYEOF) |
| { |
| yychar = yytoken = YYEOF; |
| YYDPRINTF ((stderr, "Now at end of input.\n")); |
| } |
| else |
| { |
| yytoken = YYTRANSLATE (yychar); |
| YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc); |
| } |
| |
| /* If the proper action on seeing token YYTOKEN is to reduce or to |
| detect an error, take that action. */ |
| yyn += yytoken; |
| if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken) |
| goto yydefault; |
| yyn = yytable[yyn]; |
| if (yyn <= 0) |
| { |
| if (yyn == 0 || yyn == YYTABLE_NINF) |
| goto yyerrlab; |
| yyn = -yyn; |
| goto yyreduce; |
| } |
| |
| if (yyn == YYFINAL) |
| YYACCEPT; |
| |
| /* Count tokens shifted since error; after three, turn off error |
| status. */ |
| if (yyerrstatus) |
| yyerrstatus--; |
| |
| /* Shift the look-ahead token. */ |
| YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc); |
| |
| /* Discard the shifted token unless it is eof. */ |
| if (yychar != YYEOF) |
| yychar = YYEMPTY; |
| |
| yystate = yyn; |
| *++yyvsp = yylval; |
| |
| goto yynewstate; |
| |
| |
| /*-----------------------------------------------------------. |
| | yydefault -- do the default action for the current state. | |
| `-----------------------------------------------------------*/ |
| yydefault: |
| yyn = yydefact[yystate]; |
| if (yyn == 0) |
| goto yyerrlab; |
| goto yyreduce; |
| |
| |
| /*-----------------------------. |
| | yyreduce -- Do a reduction. | |
| `-----------------------------*/ |
| yyreduce: |
| /* yyn is the number of a rule to reduce with. */ |
| yylen = yyr2[yyn]; |
| |
| /* If YYLEN is nonzero, implement the default value of the action: |
| `$$ = $1'. |
| |
| Otherwise, the following line sets YYVAL to garbage. |
| This behavior is undocumented and Bison |
| users should not rely upon it. Assigning to YYVAL |
| unconditionally makes the parser a bit smaller, and it avoids a |
| GCC warning that YYVAL may be used uninitialized. */ |
| yyval = yyvsp[1-yylen]; |
| |
| |
| YY_REDUCE_PRINT (yyn); |
| switch (yyn) |
| { |
| case 2: |
| #line 151 "policy_parse.y" |
| { |
| p_dir = (yyvsp[(1) - (2)].num); |
| p_type = (yyvsp[(2) - (2)].num); |
| |
| #ifdef HAVE_PFKEY_POLICY_PRIORITY |
| p_priority = PRIORITY_DEFAULT; |
| #else |
| p_priority = 0; |
| #endif |
| |
| if (init_x_policy()) |
| return -1; |
| } |
| break; |
| |
| case 4: |
| #line 166 "policy_parse.y" |
| { |
| char *offset_buf; |
| |
| p_dir = (yyvsp[(1) - (4)].num); |
| p_type = (yyvsp[(4) - (4)].num); |
| |
| /* buffer big enough to hold a prepended negative sign */ |
| offset_buf = malloc((yyvsp[(3) - (4)].val).len + 2); |
| if (offset_buf == NULL) |
| { |
| __ipsec_errcode = EIPSEC_NO_BUFS; |
| return -1; |
| } |
| |
| /* positive input value means higher priority, therefore lower |
| actual value so that is closer to the beginning of the list */ |
| sprintf (offset_buf, "-%s", (yyvsp[(3) - (4)].val).buf); |
| |
| errno = 0; |
| p_priority_offset = atol(offset_buf); |
| |
| free(offset_buf); |
| |
| if (errno != 0 || p_priority_offset < INT32_MIN) |
| { |
| __ipsec_errcode = EIPSEC_INVAL_PRIORITY_OFFSET; |
| return -1; |
| } |
| |
| p_priority = PRIORITY_DEFAULT + (u_int32_t) p_priority_offset; |
| |
| if (init_x_policy()) |
| return -1; |
| } |
| break; |
| |
| case 6: |
| #line 202 "policy_parse.y" |
| { |
| p_dir = (yyvsp[(1) - (5)].num); |
| p_type = (yyvsp[(5) - (5)].num); |
| |
| errno = 0; |
| p_priority_offset = atol((yyvsp[(4) - (5)].val).buf); |
| |
| if (errno != 0 || p_priority_offset > INT32_MAX) |
| { |
| __ipsec_errcode = EIPSEC_INVAL_PRIORITY_OFFSET; |
| return -1; |
| } |
| |
| /* negative input value means lower priority, therefore higher |
| actual value so that is closer to the end of the list */ |
| p_priority = PRIORITY_DEFAULT + (u_int32_t) p_priority_offset; |
| |
| if (init_x_policy()) |
| return -1; |
| } |
| break; |
| |
| case 8: |
| #line 224 "policy_parse.y" |
| { |
| p_dir = (yyvsp[(1) - (4)].num); |
| p_type = (yyvsp[(4) - (4)].num); |
| |
| p_priority = (yyvsp[(3) - (4)].num32); |
| |
| if (init_x_policy()) |
| return -1; |
| } |
| break; |
| |
| case 10: |
| #line 235 "policy_parse.y" |
| { |
| p_dir = (yyvsp[(1) - (6)].num); |
| p_type = (yyvsp[(6) - (6)].num); |
| |
| errno = 0; |
| p_priority_offset = atol((yyvsp[(5) - (6)].val).buf); |
| |
| if (errno != 0 || p_priority_offset > PRIORITY_OFFSET_NEGATIVE_MAX) |
| { |
| __ipsec_errcode = EIPSEC_INVAL_PRIORITY_BASE_OFFSET; |
| return -1; |
| } |
| |
| /* adding value means higher priority, therefore lower |
| actual value so that is closer to the beginning of the list */ |
| p_priority = (yyvsp[(3) - (6)].num32) - (u_int32_t) p_priority_offset; |
| |
| if (init_x_policy()) |
| return -1; |
| } |
| break; |
| |
| case 12: |
| #line 257 "policy_parse.y" |
| { |
| p_dir = (yyvsp[(1) - (6)].num); |
| p_type = (yyvsp[(6) - (6)].num); |
| |
| errno = 0; |
| p_priority_offset = atol((yyvsp[(5) - (6)].val).buf); |
| |
| if (errno != 0 || p_priority_offset > PRIORITY_OFFSET_POSITIVE_MAX) |
| { |
| __ipsec_errcode = EIPSEC_INVAL_PRIORITY_BASE_OFFSET; |
| return -1; |
| } |
| |
| /* subtracting value means lower priority, therefore higher |
| actual value so that is closer to the end of the list */ |
| p_priority = (yyvsp[(3) - (6)].num32) + (u_int32_t) p_priority_offset; |
| |
| if (init_x_policy()) |
| return -1; |
| } |
| break; |
| |
| case 14: |
| #line 279 "policy_parse.y" |
| { |
| p_dir = (yyvsp[(1) - (1)].num); |
| p_type = 0; /* ignored it by kernel */ |
| |
| p_priority = 0; |
| |
| if (init_x_policy()) |
| return -1; |
| } |
| break; |
| |
| case 16: |
| #line 292 "policy_parse.y" |
| { |
| if (rule_check() < 0) |
| return -1; |
| |
| if (set_x_request(p_src, p_dst) < 0) |
| return -1; |
| |
| policy_parse_request_init(); |
| } |
| break; |
| |
| case 23: |
| #line 310 "policy_parse.y" |
| { |
| __ipsec_errcode = EIPSEC_FEW_ARGUMENTS; |
| return -1; |
| } |
| break; |
| |
| case 24: |
| #line 314 "policy_parse.y" |
| { |
| __ipsec_errcode = EIPSEC_FEW_ARGUMENTS; |
| return -1; |
| } |
| break; |
| |
| case 25: |
| #line 321 "policy_parse.y" |
| { p_protocol = (yyvsp[(1) - (1)].num); } |
| break; |
| |
| case 26: |
| #line 325 "policy_parse.y" |
| { p_mode = (yyvsp[(1) - (1)].num); } |
| break; |
| |
| case 27: |
| #line 329 "policy_parse.y" |
| { |
| p_level = (yyvsp[(1) - (1)].num); |
| p_reqid = 0; |
| } |
| break; |
| |
| case 28: |
| #line 333 "policy_parse.y" |
| { |
| p_level = IPSEC_LEVEL_UNIQUE; |
| p_reqid = atol((yyvsp[(1) - (1)].val).buf); /* atol() is good. */ |
| } |
| break; |
| |
| case 29: |
| #line 340 "policy_parse.y" |
| { |
| p_src = parse_sockaddr(&(yyvsp[(1) - (1)].val), NULL); |
| if (p_src == NULL) |
| return -1; |
| } |
| break; |
| |
| case 30: |
| #line 346 "policy_parse.y" |
| { |
| p_dst = parse_sockaddr(&(yyvsp[(4) - (4)].val), NULL); |
| if (p_dst == NULL) |
| return -1; |
| } |
| break; |
| |
| case 31: |
| #line 351 "policy_parse.y" |
| { |
| p_src = parse_sockaddr(&(yyvsp[(1) - (2)].val), &(yyvsp[(2) - (2)].val)); |
| if (p_src == NULL) |
| return -1; |
| } |
| break; |
| |
| case 32: |
| #line 357 "policy_parse.y" |
| { |
| p_dst = parse_sockaddr(&(yyvsp[(5) - (6)].val), &(yyvsp[(6) - (6)].val)); |
| if (p_dst == NULL) |
| return -1; |
| } |
| break; |
| |
| case 33: |
| #line 362 "policy_parse.y" |
| { |
| if (p_dir != IPSEC_DIR_OUTBOUND) { |
| __ipsec_errcode = EIPSEC_INVAL_DIR; |
| return -1; |
| } |
| } |
| break; |
| |
| case 34: |
| #line 368 "policy_parse.y" |
| { |
| if (p_dir != IPSEC_DIR_INBOUND) { |
| __ipsec_errcode = EIPSEC_INVAL_DIR; |
| return -1; |
| } |
| } |
| break; |
| |
| |
| /* Line 1267 of yacc.c. */ |
| #line 1725 "policy_parse.c" |
| default: break; |
| } |
| YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc); |
| |
| YYPOPSTACK (yylen); |
| yylen = 0; |
| YY_STACK_PRINT (yyss, yyssp); |
| |
| *++yyvsp = yyval; |
| |
| |
| /* Now `shift' the result of the reduction. Determine what state |
| that goes to, based on the state we popped back to and the rule |
| number reduced by. */ |
| |
| yyn = yyr1[yyn]; |
| |
| yystate = yypgoto[yyn - YYNTOKENS] + *yyssp; |
| if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp) |
| yystate = yytable[yystate]; |
| else |
| yystate = yydefgoto[yyn - YYNTOKENS]; |
| |
| goto yynewstate; |
| |
| |
| /*------------------------------------. |
| | yyerrlab -- here on detecting error | |
| `------------------------------------*/ |
| yyerrlab: |
| /* If not already recovering from an error, report this error. */ |
| if (!yyerrstatus) |
| { |
| ++yynerrs; |
| #if ! YYERROR_VERBOSE |
| yyerror (YY_("syntax error")); |
| #else |
| { |
| YYSIZE_T yysize = yysyntax_error (0, yystate, yychar); |
| if (yymsg_alloc < yysize && yymsg_alloc < YYSTACK_ALLOC_MAXIMUM) |
| { |
| YYSIZE_T yyalloc = 2 * yysize; |
| if (! (yysize <= yyalloc && yyalloc <= YYSTACK_ALLOC_MAXIMUM)) |
| yyalloc = YYSTACK_ALLOC_MAXIMUM; |
| if (yymsg != yymsgbuf) |
| YYSTACK_FREE (yymsg); |
| yymsg = (char *) YYSTACK_ALLOC (yyalloc); |
| if (yymsg) |
| yymsg_alloc = yyalloc; |
| else |
| { |
| yymsg = yymsgbuf; |
| yymsg_alloc = sizeof yymsgbuf; |
| } |
| } |
| |
| if (0 < yysize && yysize <= yymsg_alloc) |
| { |
| (void) yysyntax_error (yymsg, yystate, yychar); |
| yyerror (yymsg); |
| } |
| else |
| { |
| yyerror (YY_("syntax error")); |
| if (yysize != 0) |
| goto yyexhaustedlab; |
| } |
| } |
| #endif |
| } |
| |
| |
| |
| if (yyerrstatus == 3) |
| { |
| /* If just tried and failed to reuse look-ahead token after an |
| error, discard it. */ |
| |
| if (yychar <= YYEOF) |
| { |
| /* Return failure if at end of input. */ |
| if (yychar == YYEOF) |
| YYABORT; |
| } |
| else |
| { |
| yydestruct ("Error: discarding", |
| yytoken, &yylval); |
| yychar = YYEMPTY; |
| } |
| } |
| |
| /* Else will try to reuse look-ahead token after shifting the error |
| token. */ |
| goto yyerrlab1; |
| |
| |
| /*---------------------------------------------------. |
| | yyerrorlab -- error raised explicitly by YYERROR. | |
| `---------------------------------------------------*/ |
| yyerrorlab: |
| |
| /* Pacify compilers like GCC when the user code never invokes |
| YYERROR and the label yyerrorlab therefore never appears in user |
| code. */ |
| if (/*CONSTCOND*/ 0) |
| goto yyerrorlab; |
| |
| /* Do not reclaim the symbols of the rule which action triggered |
| this YYERROR. */ |
| YYPOPSTACK (yylen); |
| yylen = 0; |
| YY_STACK_PRINT (yyss, yyssp); |
| yystate = *yyssp; |
| goto yyerrlab1; |
| |
| |
| /*-------------------------------------------------------------. |
| | yyerrlab1 -- common code for both syntax error and YYERROR. | |
| `-------------------------------------------------------------*/ |
| yyerrlab1: |
| yyerrstatus = 3; /* Each real token shifted decrements this. */ |
| |
| for (;;) |
| { |
| yyn = yypact[yystate]; |
| if (yyn != YYPACT_NINF) |
| { |
| yyn += YYTERROR; |
| if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) |
| { |
| yyn = yytable[yyn]; |
| if (0 < yyn) |
| break; |
| } |
| } |
| |
| /* Pop the current state because it cannot handle the error token. */ |
| if (yyssp == yyss) |
| YYABORT; |
| |
| |
| yydestruct ("Error: popping", |
| yystos[yystate], yyvsp); |
| YYPOPSTACK (1); |
| yystate = *yyssp; |
| YY_STACK_PRINT (yyss, yyssp); |
| } |
| |
| if (yyn == YYFINAL) |
| YYACCEPT; |
| |
| *++yyvsp = yylval; |
| |
| |
| /* Shift the error token. */ |
| YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp); |
| |
| yystate = yyn; |
| goto yynewstate; |
| |
| |
| /*-------------------------------------. |
| | yyacceptlab -- YYACCEPT comes here. | |
| `-------------------------------------*/ |
| yyacceptlab: |
| yyresult = 0; |
| goto yyreturn; |
| |
| /*-----------------------------------. |
| | yyabortlab -- YYABORT comes here. | |
| `-----------------------------------*/ |
| yyabortlab: |
| yyresult = 1; |
| goto yyreturn; |
| |
| #ifndef yyoverflow |
| /*-------------------------------------------------. |
| | yyexhaustedlab -- memory exhaustion comes here. | |
| `-------------------------------------------------*/ |
| yyexhaustedlab: |
| yyerror (YY_("memory exhausted")); |
| yyresult = 2; |
| /* Fall through. */ |
| #endif |
| |
| yyreturn: |
| if (yychar != YYEOF && yychar != YYEMPTY) |
| yydestruct ("Cleanup: discarding lookahead", |
| yytoken, &yylval); |
| /* Do not reclaim the symbols of the rule which action triggered |
| this YYABORT or YYACCEPT. */ |
| YYPOPSTACK (yylen); |
| YY_STACK_PRINT (yyss, yyssp); |
| while (yyssp != yyss) |
| { |
| yydestruct ("Cleanup: popping", |
| yystos[*yyssp], yyvsp); |
| YYPOPSTACK (1); |
| } |
| #ifndef yyoverflow |
| if (yyss != yyssa) |
| YYSTACK_FREE (yyss); |
| #endif |
| #if YYERROR_VERBOSE |
| if (yymsg != yymsgbuf) |
| YYSTACK_FREE (yymsg); |
| #endif |
| /* Make sure YYID is used. */ |
| return YYID (yyresult); |
| } |
| |
| |
| #line 379 "policy_parse.y" |
| |
| |
| void |
| yyerror(msg) |
| char *msg; |
| { |
| fprintf(stderr, "libipsec: %s while parsing \"%s\"\n", |
| msg, __libipsectext); |
| |
| return; |
| } |
| |
| static struct sockaddr * |
| parse_sockaddr(addrbuf, portbuf) |
| struct _val *addrbuf; |
| struct _val *portbuf; |
| { |
| struct addrinfo hints, *res; |
| char *addr; |
| char *serv = NULL; |
| int error; |
| struct sockaddr *newaddr = NULL; |
| |
| if ((addr = malloc(addrbuf->len + 1)) == NULL) { |
| yyerror("malloc failed"); |
| __ipsec_set_strerror(strerror(errno)); |
| return NULL; |
| } |
| |
| if (portbuf && ((serv = malloc(portbuf->len + 1)) == NULL)) { |
| free(addr); |
| yyerror("malloc failed"); |
| __ipsec_set_strerror(strerror(errno)); |
| return NULL; |
| } |
| |
| strncpy(addr, addrbuf->buf, addrbuf->len); |
| addr[addrbuf->len] = '\0'; |
| |
| if (portbuf) { |
| strncpy(serv, portbuf->buf, portbuf->len); |
| serv[portbuf->len] = '\0'; |
| } |
| |
| memset(&hints, 0, sizeof(hints)); |
| hints.ai_family = PF_UNSPEC; |
| hints.ai_flags = AI_NUMERICHOST; |
| hints.ai_socktype = SOCK_DGRAM; |
| error = getaddrinfo(addr, serv, &hints, &res); |
| free(addr); |
| if (serv != NULL) |
| free(serv); |
| if (error != 0) { |
| yyerror("invalid IP address"); |
| __ipsec_set_strerror(gai_strerror(error)); |
| return NULL; |
| } |
| |
| if (res->ai_addr == NULL) { |
| yyerror("invalid IP address"); |
| __ipsec_set_strerror(gai_strerror(error)); |
| return NULL; |
| } |
| |
| newaddr = malloc(res->ai_addrlen); |
| if (newaddr == NULL) { |
| __ipsec_errcode = EIPSEC_NO_BUFS; |
| freeaddrinfo(res); |
| return NULL; |
| } |
| memcpy(newaddr, res->ai_addr, res->ai_addrlen); |
| |
| freeaddrinfo(res); |
| |
| __ipsec_errcode = EIPSEC_NO_ERROR; |
| return newaddr; |
| } |
| |
| static int |
| rule_check() |
| { |
| if (p_type == IPSEC_POLICY_IPSEC) { |
| if (p_protocol == IPPROTO_IP) { |
| __ipsec_errcode = EIPSEC_NO_PROTO; |
| return -1; |
| } |
| |
| if (p_mode != IPSEC_MODE_TRANSPORT |
| && p_mode != IPSEC_MODE_TUNNEL) { |
| __ipsec_errcode = EIPSEC_INVAL_MODE; |
| return -1; |
| } |
| |
| if (p_src == NULL && p_dst == NULL) { |
| if (p_mode != IPSEC_MODE_TRANSPORT) { |
| __ipsec_errcode = EIPSEC_INVAL_ADDRESS; |
| return -1; |
| } |
| } |
| else if (p_src->sa_family != p_dst->sa_family) { |
| __ipsec_errcode = EIPSEC_FAMILY_MISMATCH; |
| return -1; |
| } |
| } |
| |
| __ipsec_errcode = EIPSEC_NO_ERROR; |
| return 0; |
| } |
| |
| static int |
| init_x_policy() |
| { |
| struct sadb_x_policy *p; |
| |
| if (pbuf) { |
| free(pbuf); |
| tlen = 0; |
| } |
| pbuf = malloc(sizeof(struct sadb_x_policy)); |
| if (pbuf == NULL) { |
| __ipsec_errcode = EIPSEC_NO_BUFS; |
| return -1; |
| } |
| tlen = sizeof(struct sadb_x_policy); |
| |
| memset(pbuf, 0, tlen); |
| p = (struct sadb_x_policy *)pbuf; |
| p->sadb_x_policy_len = 0; /* must update later */ |
| p->sadb_x_policy_exttype = SADB_X_EXT_POLICY; |
| p->sadb_x_policy_type = p_type; |
| p->sadb_x_policy_dir = p_dir; |
| p->sadb_x_policy_id = 0; |
| #ifdef HAVE_PFKEY_POLICY_PRIORITY |
| p->sadb_x_policy_priority = p_priority; |
| #else |
| /* fail if given a priority and libipsec was not compiled with |
| priority support */ |
| if (p_priority != 0) |
| { |
| __ipsec_errcode = EIPSEC_PRIORITY_NOT_COMPILED; |
| return -1; |
| } |
| #endif |
| |
| offset = tlen; |
| |
| __ipsec_errcode = EIPSEC_NO_ERROR; |
| return 0; |
| } |
| |
| static int |
| set_x_request(src, dst) |
| struct sockaddr *src, *dst; |
| { |
| struct sadb_x_ipsecrequest *p; |
| int reqlen; |
| u_int8_t *n; |
| |
| reqlen = sizeof(*p) |
| + (src ? sysdep_sa_len(src) : 0) |
| + (dst ? sysdep_sa_len(dst) : 0); |
| tlen += reqlen; /* increment to total length */ |
| |
| n = realloc(pbuf, tlen); |
| if (n == NULL) { |
| __ipsec_errcode = EIPSEC_NO_BUFS; |
| return -1; |
| } |
| pbuf = n; |
| |
| p = (struct sadb_x_ipsecrequest *)&pbuf[offset]; |
| p->sadb_x_ipsecrequest_len = reqlen; |
| p->sadb_x_ipsecrequest_proto = p_protocol; |
| p->sadb_x_ipsecrequest_mode = p_mode; |
| p->sadb_x_ipsecrequest_level = p_level; |
| p->sadb_x_ipsecrequest_reqid = p_reqid; |
| offset += sizeof(*p); |
| |
| if (set_sockaddr(src) || set_sockaddr(dst)) |
| return -1; |
| |
| __ipsec_errcode = EIPSEC_NO_ERROR; |
| return 0; |
| } |
| |
| static int |
| set_sockaddr(addr) |
| struct sockaddr *addr; |
| { |
| if (addr == NULL) { |
| __ipsec_errcode = EIPSEC_NO_ERROR; |
| return 0; |
| } |
| |
| /* tlen has already incremented */ |
| |
| memcpy(&pbuf[offset], addr, sysdep_sa_len(addr)); |
| |
| offset += sysdep_sa_len(addr); |
| |
| __ipsec_errcode = EIPSEC_NO_ERROR; |
| return 0; |
| } |
| |
| static void |
| policy_parse_request_init() |
| { |
| p_protocol = IPPROTO_IP; |
| p_mode = IPSEC_MODE_ANY; |
| p_level = IPSEC_LEVEL_DEFAULT; |
| p_reqid = 0; |
| if (p_src != NULL) { |
| free(p_src); |
| p_src = NULL; |
| } |
| if (p_dst != NULL) { |
| free(p_dst); |
| p_dst = NULL; |
| } |
| |
| return; |
| } |
| |
| static void * |
| policy_parse(msg, msglen) |
| const char *msg; |
| int msglen; |
| { |
| int error; |
| |
| pbuf = NULL; |
| tlen = 0; |
| |
| /* initialize */ |
| p_dir = IPSEC_DIR_INVALID; |
| p_type = IPSEC_POLICY_DISCARD; |
| policy_parse_request_init(); |
| __policy__strbuffer__init__(msg); |
| |
| error = yyparse(); /* it must be set errcode. */ |
| __policy__strbuffer__free__(); |
| |
| if (error) { |
| if (pbuf != NULL) |
| free(pbuf); |
| return NULL; |
| } |
| |
| /* update total length */ |
| ((struct sadb_x_policy *)pbuf)->sadb_x_policy_len = PFKEY_UNIT64(tlen); |
| |
| __ipsec_errcode = EIPSEC_NO_ERROR; |
| |
| return pbuf; |
| } |
| |
| ipsec_policy_t |
| ipsec_set_policy(msg, msglen) |
| __ipsec_const char *msg; |
| int msglen; |
| { |
| caddr_t policy; |
| |
| policy = policy_parse(msg, msglen); |
| if (policy == NULL) { |
| if (__ipsec_errcode == EIPSEC_NO_ERROR) |
| __ipsec_errcode = EIPSEC_INVAL_ARGUMENT; |
| return NULL; |
| } |
| |
| __ipsec_errcode = EIPSEC_NO_ERROR; |
| return policy; |
| } |
| |