123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752 |
- # line 102 "cexp.y"
- #include <setjmp.h>
- /* #define YYDEBUG 1 */
- static int yylex ();
- static yyerror ();
- int expression_value;
- static jmp_buf parse_return_error;
- /* some external tables of character types */
- extern unsigned char is_idstart[], is_idchar[];
- # line 116 "cexp.y"
- typedef union {
- long lval;
- int voidval;
- char *sval;
- } YYSTYPE;
- # define INT 257
- # define CHAR 258
- # define NAME 259
- # define ERROR 260
- # define OR 261
- # define AND 262
- # define EQUAL 263
- # define NOTEQUAL 264
- # define LEQ 265
- # define GEQ 266
- # define LSH 267
- # define RSH 268
- # define UNARY 269
- #define yyclearin yychar = -1
- #define yyerrok yyerrflag = 0
- extern int yychar;
- extern short yyerrflag;
- #ifndef YYMAXDEPTH
- #define YYMAXDEPTH 150
- #endif
- YYSTYPE yylval, yyval;
- # define YYERRCODE 256
- # line 209 "cexp.y"
- /* During parsing of a C expression, the pointer to the next character
- is in this variable. */
- static char *lexptr;
- /* Take care of parsing a number (anything that starts with a digit).
- Set yylval and return the token type; update lexptr.
- LEN is the number of characters in it. */
- /* maybe needs to actually deal with floating point numbers */
- static int
- parse_number (olen)
- int olen;
- {
- register char *p = lexptr;
- register long n = 0;
- register int c;
- register int base = 10;
- register len = olen;
- char *err_copy;
- extern double atof ();
- for (c = 0; c < len; c++)
- if (p[c] == '.') {
- /* It's a float since it contains a point. */
- yyerror ("floating point numbers not allowed in #if expressions");
- return ERROR;
-
- /* ****************
- yylval.dval = atof (p);
- lexptr += len;
- return FLOAT;
- **************** */
- }
-
- if (len >= 3 && (!strncmp (p, "0x", 2) || !strncmp (p, "0X", 2))) {
- p += 2;
- base = 16;
- len -= 2;
- }
- else if (*p == '0')
- base = 8;
-
- while (len-- > 0) {
- c = *p++;
- n *= base;
- if (c >= '0' && c <= '9')
- n += c - '0';
- else {
- if (c >= 'A' && c <= 'Z') c += 'a' - 'A';
- if (base == 16 && c >= 'a' && c <= 'f')
- n += c - 'a' + 10;
- else if (len == 0 && c == 'l')
- ;
- else {
- yyerror ("Invalid number in #if expression");
- return ERROR;
- }
- }
- }
- lexptr = p;
- yylval.lval = n;
- return INT;
- }
- struct token {
- char *operator;
- int token;
- };
- #define NULL 0
- static struct token tokentab2[] = {
- {"&&", AND},
- {"||", OR},
- {"<<", LSH},
- {">>", RSH},
- {"==", EQUAL},
- {"!=", NOTEQUAL},
- {"<=", LEQ},
- {">=", GEQ},
- {NULL, ERROR}
- };
- /* Read one token, getting characters through lexptr. */
- static int
- yylex ()
- {
- register int c;
- register int namelen;
- register char *tokstart;
- register struct token *toktab;
- retry:
- tokstart = lexptr;
- c = *tokstart;
- /* See if it is a special token of length 2. */
- for (toktab = tokentab2; toktab->operator != NULL; toktab++)
- if (c == *toktab->operator && tokstart[1] == toktab->operator[1]) {
- lexptr += 2;
- return toktab->token;
- }
- switch (c) {
- case 0:
- return 0;
-
- case ' ':
- case '\t':
- case '\n':
- lexptr++;
- goto retry;
-
- case '\'':
- lexptr++;
- c = *lexptr++;
- if (c == '\\')
- c = parse_escape (&lexptr);
- yylval.lval = c;
- c = *lexptr++;
- if (c != '\'') {
- yyerror ("Invalid character constant in #if");
- return ERROR;
- }
-
- return CHAR;
- case '/': /* possible comment */
- if (*lexptr != '*')
- return c;
- for (;;) {
- while (*lexptr != '\0') {
- if (*lexptr++ == '*' && *lexptr == '/') {
- lexptr++;
- goto retry;
- }
- }
- }
- /* some of these chars are invalid in constant expressions;
- maybe do something about them later */
- case '+':
- case '-':
- case '*':
- case '%':
- case '|':
- case '&':
- case '^':
- case '~':
- case '!':
- case '@':
- case '<':
- case '>':
- case '(':
- case ')':
- case '[':
- case ']':
- case '.':
- case '?':
- case ':':
- case '=':
- case '{':
- case '}':
- case ',':
- lexptr++;
- return c;
-
- case '"':
- yyerror ("double quoted strings not allowed in #if expressions");
- return ERROR;
- }
- if (c >= '0' && c <= '9') {
- /* It's a number */
- for (namelen = 0;
- c = tokstart[namelen], is_idchar[c] || c == '.';
- namelen++)
- ;
- return parse_number (namelen);
- }
-
- if (!is_idstart[c]) {
- yyerror ("Invalid token in expression");
- return ERROR;
- }
-
- /* It is a name. See how long it is. */
-
- for (namelen = 0; is_idchar[tokstart[namelen]]; namelen++)
- ;
-
- lexptr += namelen;
- return NAME;
- }
- /* Parse a C escape sequence. STRING_PTR points to a variable
- containing a pointer to the string to parse. That pointer
- is updated past the characters we use. The value of the
- escape sequence is returned.
- A negative value means the sequence \ newline was seen,
- which is supposed to be equivalent to nothing at all.
- If \ is followed by a null character, we return a negative
- value and leave the string pointer pointing at the null character.
- If \ is followed by 000, we return 0 and leave the string pointer
- after the zeros. A value of 0 does not mean end of string. */
- static int
- parse_escape (string_ptr)
- char **string_ptr;
- {
- register int c = *(*string_ptr)++;
- switch (c)
- {
- case 'a':
- return '\a';
- case 'b':
- return '\b';
- case 'e':
- return 033;
- case 'f':
- return '\f';
- case 'n':
- return '\n';
- case 'r':
- return '\r';
- case 't':
- return '\t';
- case 'v':
- return '\v';
- case '\n':
- return -2;
- case 0:
- (*string_ptr)--;
- return 0;
- case '^':
- c = *(*string_ptr)++;
- if (c == '\\')
- c = parse_escape (string_ptr);
- if (c == '?')
- return 0177;
- return (c & 0200) | (c & 037);
-
- case '0':
- case '1':
- case '2':
- case '3':
- case '4':
- case '5':
- case '6':
- case '7':
- {
- register int i = c - '0';
- register int count = 0;
- while (++count < 3)
- {
- if ((c = *(*string_ptr)++) >= '0' && c <= '7')
- {
- i *= 8;
- i += c - '0';
- }
- else
- {
- (*string_ptr)--;
- break;
- }
- }
- return i;
- }
- default:
- return c;
- }
- }
- static
- yyerror (s)
- char *s;
- {
- error (s);
- longjmp (parse_return_error, 1);
- }
- /* This page contains the entry point to this file. */
- /* Parse STRING as an expression, and complain if this fails
- to use up all of the contents of STRING. */
- int
- parse_c_expression (string)
- char *string;
- {
- lexptr = string;
-
- if (lexptr == 0 || *lexptr == 0) {
- error ("empty #if expression");
- return 0; /* don't include the #if group */
- }
- /* if there is some sort of scanning error, just return 0 and assume
- the parsing routine has printed an error message somewhere.
- there is surely a better thing to do than this. */
- if (setjmp(parse_return_error))
- return 0;
- if (yyparse ())
- return 0; /* actually this is never reached
- the way things stand. */
- if (*lexptr)
- error ("Junk after end of expression.");
- return expression_value; /* set by yyparse() */
- }
- #ifdef TEST_EXP_READER
- /* main program, for testing purposes. */
- main()
- {
- int n;
- char buf[1024];
- extern int yydebug;
- /*
- yydebug = 1;
- */
- initialize_random_junk ();
- for (;;) {
- printf("enter expression: ");
- n = 0;
- while ((buf[n] = getchar()) != '\n')
- n++;
- buf[n] = '\0';
- printf("parser returned %d\n", parse_c_expression(buf));
- }
- }
- /* table to tell if char can be part of a C identifier. */
- char is_idchar[256];
- /* table to tell if char can be first char of a c identifier. */
- char is_idstart[256];
- /* table to tell if c is horizontal space. isspace() thinks that
- newline is space; this is not a good idea for this program. */
- char is_hor_space[256];
- /*
- * initialize random junk in the hash table and maybe other places
- */
- initialize_random_junk()
- {
- register int i;
- /*
- * Set up is_idchar and is_idstart tables. These should be
- * faster than saying (is_alpha(c) || c == '_'), etc.
- * Must do set up these things before calling any routines tthat
- * refer to them.
- */
- for (i = 'a'; i <= 'z'; i++) {
- ++is_idchar[i - 'a' + 'A'];
- ++is_idchar[i];
- ++is_idstart[i - 'a' + 'A'];
- ++is_idstart[i];
- }
- for (i = '0'; i <= '9'; i++)
- ++is_idchar[i];
- ++is_idchar['_'];
- ++is_idstart['_'];
- /* horizontal space table */
- ++is_hor_space[' '];
- ++is_hor_space['\t'];
- }
- error (msg)
- {
- printf("error: %s\n", msg);
- }
- #endif
- short yyexca[] ={
- -1, 1,
- 0, -1,
- -2, 0,
- };
- # define YYNPROD 30
- # define YYLAST 371
- short yyact[]={
- 14, 25, 30, 11, 14, 12, 15, 2, 16, 12,
- 13, 1, 14, 25, 13, 34, 0, 12, 15, 0,
- 16, 56, 13, 23, 55, 24, 30, 11, 0, 5,
- 30, 0, 0, 0, 0, 23, 7, 24, 30, 14,
- 25, 4, 0, 0, 12, 15, 0, 16, 0, 13,
- 14, 25, 0, 0, 0, 12, 15, 26, 16, 0,
- 13, 0, 23, 0, 24, 30, 0, 0, 0, 26,
- 0, 0, 0, 23, 0, 24, 30, 0, 14, 25,
- 0, 0, 0, 12, 15, 0, 16, 27, 13, 0,
- 0, 0, 14, 25, 0, 0, 26, 12, 15, 27,
- 16, 23, 13, 24, 30, 0, 14, 26, 0, 0,
- 0, 12, 15, 0, 16, 23, 13, 24, 30, 0,
- 0, 0, 6, 0, 0, 0, 27, 0, 14, 23,
- 0, 24, 30, 12, 15, 26, 16, 27, 13, 14,
- 0, 0, 0, 0, 12, 15, 0, 16, 0, 13,
- 0, 23, 0, 24, 30, 3, 0, 0, 0, 0,
- 31, 32, 33, 0, 0, 30, 0, 35, 36, 37,
- 38, 39, 40, 41, 42, 43, 44, 45, 46, 47,
- 48, 49, 50, 51, 52, 53, 54, 14, 0, 0,
- 0, 0, 12, 15, 0, 16, 0, 13, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 57, 30, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 29, 28, 19, 20, 21, 22,
- 17, 18, 0, 0, 0, 0, 29, 28, 19, 20,
- 21, 22, 17, 18, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 8, 9, 10, 0, 0, 0, 0,
- 0, 0, 0, 0, 28, 19, 20, 21, 22, 17,
- 18, 0, 0, 0, 0, 0, 19, 20, 21, 22,
- 17, 18, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 19, 20, 21, 22, 17, 18,
- 0, 0, 0, 0, 0, 0, 0, 0, 19, 20,
- 21, 22, 17, 18, 0, 0, 0, 0, 0, 0,
- 0, 0, 19, 20, 21, 22, 17, 18, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 21, 22, 17, 18,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 17,
- 18 };
- short yypact[]={
- -4,-1000, -41, -25, -4, -4, -4, -4,-1000,-1000,
- -1000, -4, -4, -4, -4, -4, -4, -4, -4, -4,
- -4, -4, -4, -4, -4, -4, -4, -4, -4, -4,
- -4, -61, -61, -61, -17, -25, -61, -61, -61, -33,
- -33, 150, 150, 91, 91, 102, 102, 102, 102, 69,
- 55, 41, 13, 2, -37,-1000, -4, -25 };
- short yypgo[]={
- 0, 155, 7, 11 };
- short yyr1[]={
- 0, 3, 2, 2, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 };
- short yyr2[]={
- 0, 1, 1, 3, 2, 2, 2, 3, 3, 3,
- 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
- 3, 3, 3, 3, 3, 3, 5, 1, 1, 1 };
- short yychk[]={
- -1000, -3, -2, -1, 45, 33, 126, 40, 257, 258,
- 259, 44, 42, 47, 37, 43, 45, 267, 268, 263,
- 264, 265, 266, 60, 62, 38, 94, 124, 262, 261,
- 63, -1, -1, -1, -2, -1, -1, -1, -1, -1,
- -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
- -1, -1, -1, -1, -1, 41, 58, -1 };
- short yydef[]={
- 0, -2, 1, 2, 0, 0, 0, 0, 27, 28,
- 29, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 4, 5, 6, 0, 3, 8, 9, 10, 11,
- 12, 13, 14, 15, 16, 17, 18, 19, 20, 21,
- 22, 23, 24, 25, 0, 7, 0, 26 };
- #ifndef lint
- static char yaccpar_sccsid[] = "@(#)yaccpar 4.1 (Berkeley) 2/11/83";
- #endif not lint
- #
- # define YYFLAG -1000
- # define YYERROR goto yyerrlab
- # define YYACCEPT return(0)
- # define YYABORT return(1)
- /* parser for yacc output */
- #ifdef YYDEBUG
- int yydebug = 0; /* 1 for debugging */
- #endif
- YYSTYPE yyv[YYMAXDEPTH]; /* where the values are stored */
- int yychar = -1; /* current input token number */
- int yynerrs = 0; /* number of errors */
- short yyerrflag = 0; /* error recovery flag */
- yyparse() {
- short yys[YYMAXDEPTH];
- short yyj, yym;
- register YYSTYPE *yypvt;
- register short yystate, *yyps, yyn;
- register YYSTYPE *yypv;
- register short *yyxi;
- yystate = 0;
- yychar = -1;
- yynerrs = 0;
- yyerrflag = 0;
- yyps= &yys[-1];
- yypv= &yyv[-1];
- yystack: /* put a state and value onto the stack */
- #ifdef YYDEBUG
- if( yydebug ) printf( "state %d, char 0%o\n", yystate, yychar );
- #endif
- if( ++yyps> &yys[YYMAXDEPTH] ) { yyerror( "yacc stack overflow" ); return(1); }
- *yyps = yystate;
- ++yypv;
- *yypv = yyval;
- yynewstate:
- yyn = yypact[yystate];
- if( yyn<= YYFLAG ) goto yydefault; /* simple state */
- if( yychar<0 ) if( (yychar=yylex())<0 ) yychar=0;
- if( (yyn += yychar)<0 || yyn >= YYLAST ) goto yydefault;
- if( yychk[ yyn=yyact[ yyn ] ] == yychar ){ /* valid shift */
- yychar = -1;
- yyval = yylval;
- yystate = yyn;
- if( yyerrflag > 0 ) --yyerrflag;
- goto yystack;
- }
- yydefault:
- /* default state action */
- if( (yyn=yydef[yystate]) == -2 ) {
- if( yychar<0 ) if( (yychar=yylex())<0 ) yychar = 0;
- /* look through exception table */
- for( yyxi=yyexca; (*yyxi!= (-1)) || (yyxi[1]!=yystate) ; yyxi += 2 ) ; /* VOID */
- while( *(yyxi+=2) >= 0 ){
- if( *yyxi == yychar ) break;
- }
- if( (yyn = yyxi[1]) < 0 ) return(0); /* accept */
- }
- if( yyn == 0 ){ /* error */
- /* error ... attempt to resume parsing */
- switch( yyerrflag ){
- case 0: /* brand new error */
- yyerror( "syntax error" );
- yyerrlab:
- ++yynerrs;
- case 1:
- case 2: /* incompletely recovered error ... try again */
- yyerrflag = 3;
- /* find a state where "error" is a legal shift action */
- while ( yyps >= yys ) {
- yyn = yypact[*yyps] + YYERRCODE;
- if( yyn>= 0 && yyn < YYLAST && yychk[yyact[yyn]] == YYERRCODE ){
- yystate = yyact[yyn]; /* simulate a shift of "error" */
- goto yystack;
- }
- yyn = yypact[*yyps];
- /* the current yyps has no shift onn "error", pop stack */
- #ifdef YYDEBUG
- if( yydebug ) printf( "error recovery pops state %d, uncovers %d\n", *yyps, yyps[-1] );
- #endif
- --yyps;
- --yypv;
- }
- /* there is no state on the stack with an error shift ... abort */
- yyabort:
- return(1);
- case 3: /* no shift yet; clobber input char */
- #ifdef YYDEBUG
- if( yydebug ) printf( "error recovery discards char %d\n", yychar );
- #endif
- if( yychar == 0 ) goto yyabort; /* don't discard EOF, quit */
- yychar = -1;
- goto yynewstate; /* try again in the same state */
- }
- }
- /* reduction by production yyn */
- #ifdef YYDEBUG
- if( yydebug ) printf("reduce %d\n",yyn);
- #endif
- yyps -= yyr2[yyn];
- yypvt = yypv;
- yypv -= yyr2[yyn];
- yyval = yypv[1];
- yym=yyn;
- /* consult goto table to find next state */
- yyn = yyr1[yyn];
- yyj = yypgo[yyn] + *yyps + 1;
- if( yyj>=YYLAST || yychk[ yystate = yyact[yyj] ] != -yyn ) yystate = yyact[yypgo[yyn]];
- switch(yym){
-
- case 1:
- # line 143 "cexp.y"
- { expression_value = yypvt[-0].lval; } break;
- case 3:
- # line 149 "cexp.y"
- { yyval.lval = yypvt[-0].lval; } break;
- case 4:
- # line 154 "cexp.y"
- { yyval.lval = - yypvt[-0].lval; } break;
- case 5:
- # line 156 "cexp.y"
- { yyval.lval = ! yypvt[-0].lval; } break;
- case 6:
- # line 158 "cexp.y"
- { yyval.lval = ~ yypvt[-0].lval; } break;
- case 7:
- # line 160 "cexp.y"
- { yyval.lval = yypvt[-1].lval; } break;
- case 8:
- # line 165 "cexp.y"
- { yyval.lval = yypvt[-2].lval * yypvt[-0].lval; } break;
- case 9:
- # line 167 "cexp.y"
- { yyval.lval = yypvt[-2].lval / yypvt[-0].lval; } break;
- case 10:
- # line 169 "cexp.y"
- { yyval.lval = yypvt[-2].lval % yypvt[-0].lval; } break;
- case 11:
- # line 171 "cexp.y"
- { yyval.lval = yypvt[-2].lval + yypvt[-0].lval; } break;
- case 12:
- # line 173 "cexp.y"
- { yyval.lval = yypvt[-2].lval - yypvt[-0].lval; } break;
- case 13:
- # line 175 "cexp.y"
- { yyval.lval = yypvt[-2].lval << yypvt[-0].lval; } break;
- case 14:
- # line 177 "cexp.y"
- { yyval.lval = yypvt[-2].lval >> yypvt[-0].lval; } break;
- case 15:
- # line 179 "cexp.y"
- { yyval.lval = (yypvt[-2].lval == yypvt[-0].lval); } break;
- case 16:
- # line 181 "cexp.y"
- { yyval.lval = (yypvt[-2].lval != yypvt[-0].lval); } break;
- case 17:
- # line 183 "cexp.y"
- { yyval.lval = (yypvt[-2].lval <= yypvt[-0].lval); } break;
- case 18:
- # line 185 "cexp.y"
- { yyval.lval = (yypvt[-2].lval >= yypvt[-0].lval); } break;
- case 19:
- # line 187 "cexp.y"
- { yyval.lval = (yypvt[-2].lval < yypvt[-0].lval); } break;
- case 20:
- # line 189 "cexp.y"
- { yyval.lval = (yypvt[-2].lval > yypvt[-0].lval); } break;
- case 21:
- # line 191 "cexp.y"
- { yyval.lval = (yypvt[-2].lval & yypvt[-0].lval); } break;
- case 22:
- # line 193 "cexp.y"
- { yyval.lval = (yypvt[-2].lval ^ yypvt[-0].lval); } break;
- case 23:
- # line 195 "cexp.y"
- { yyval.lval = (yypvt[-2].lval | yypvt[-0].lval); } break;
- case 24:
- # line 197 "cexp.y"
- { yyval.lval = (yypvt[-2].lval && yypvt[-0].lval); } break;
- case 25:
- # line 199 "cexp.y"
- { yyval.lval = (yypvt[-2].lval || yypvt[-0].lval); } break;
- case 26:
- # line 201 "cexp.y"
- { yyval.lval = yypvt[-4].lval ? yypvt[-2].lval : yypvt[-0].lval; } break;
- case 27:
- # line 203 "cexp.y"
- { yyval.lval = yylval.lval; } break;
- case 28:
- # line 205 "cexp.y"
- { yyval.lval = yylval.lval; } break;
- case 29:
- # line 207 "cexp.y"
- { yyval.lval = 0; } break;
- }
- goto yystack; /* stack new state and value */
- }
|