1 /* YACC parser for Fortran expressions, for GDB.
2 Copyright 1986, 1989, 1990, 1991, 1993, 1994
3 Free Software Foundation, Inc.
4 Contributed by Motorola. Adapted from the C parser by Farooq Butt
5 (fmbutt@engage.sps.mot.com).
7 This file is part of GDB.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software
21 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
23 /* This was blantantly ripped off the C expression parser, please
24 be aware of that as you look at its basic structure -FMB */
26 /* Parse a F77 expression from text in a string,
27 and return the result as a struct expression pointer.
28 That structure contains arithmetic operations in reverse polish,
29 with constants represented by operations that are followed by special data.
30 See expression.h for the details of the format.
31 What is important here is that it can be built up sequentially
32 during the process of parsing; the lower levels of the tree always
33 come first in the result.
35 Note that malloc's and realloc's in this file are transformed to
36 xmalloc and xrealloc respectively by the same sed command in the
37 makefile that remaps any other malloc/realloc inserted by the parser
38 generator. Doing this with #defines and trying to control the interaction
39 with include files (<malloc.h> and <stdlib.h> for example) just became
40 too messy, particularly when such includes can be inserted at random
41 times by the parser generator. */
47 #include "expression.h"
49 #include "parser-defs.h"
52 #include "bfd.h" /* Required by objfiles.h. */
53 #include "symfile.h" /* Required by objfiles.h. */
54 #include "objfiles.h" /* For have_full_symbols and have_partial_symbols */
56 /* Remap normal yacc parser interface names (yyparse, yylex, yyerror, etc),
57 as well as gratuitiously global symbol names, so we can have multiple
58 yacc generated parsers in gdb. Note that these are only the variables
59 produced by yacc. If other parser generators (bison, byacc, etc) produce
60 additional global names that conflict at link time, then those parser
61 generators need to be fixed instead of adding those names to this list. */
63 #define yymaxdepth f_maxdepth
64 #define yyparse f_parse
66 #define yyerror f_error
69 #define yydebug f_debug
78 #define yyerrflag f_errflag
79 #define yynerrs f_nerrs
84 #define yystate f_state
90 #define yyreds f_reds /* With YYDEBUG defined */
91 #define yytoks f_toks /* With YYDEBUG defined */
94 #define YYDEBUG 1 /* Default to no yydebug support */
97 int yyparse PARAMS ((void));
99 static int yylex PARAMS ((void));
101 void yyerror PARAMS ((char *));
105 /* Although the yacc "value" of an expression is not used,
106 since the result is stored in the structure being created,
107 other node types do have values. */
121 struct symtoken ssym;
124 enum exp_opcode opcode;
125 struct internalvar *ivar;
132 /* YYSTYPE gets defined by %union */
133 static int parse_number PARAMS ((char *, int, int, YYSTYPE *));
136 %type <voidval> exp type_exp start variable
137 %type <tval> type typebase
138 %type <tvec> nonempty_typelist
139 /* %type <bval> block */
141 /* Fancy type parsing. */
142 %type <voidval> func_mod direct_abs_decl abs_decl
145 %token <typed_val> INT
148 /* Both NAME and TYPENAME tokens represent symbols in the input,
149 and both convey their data as strings.
150 But a TYPENAME is a string that happens to be defined as a typedef
151 or builtin type name (such as int or char)
152 and a NAME is any other symbol.
153 Contexts where this distinction is not important can use the
154 nonterminal "name", which matches either NAME or TYPENAME. */
156 %token <sval> STRING_LITERAL
157 %token <lval> BOOLEAN_LITERAL
159 %token <tsym> TYPENAME
161 %type <ssym> name_not_typename
162 %type <tsym> typename
164 /* A NAME_OR_INT is a symbol which is not known in the symbol table,
165 but which would parse as a valid number in the current input radix.
166 E.g. "c" when input_radix==16. Depending on the parse, it will be
167 turned into a name or into a number. */
169 %token <ssym> NAME_OR_INT
174 /* Special type cases, put in to allow the parser to distinguish different
176 %token INT_KEYWORD INT_S2_KEYWORD LOGICAL_S1_KEYWORD LOGICAL_S2_KEYWORD
177 %token LOGICAL_KEYWORD REAL_KEYWORD REAL_S8_KEYWORD REAL_S16_KEYWORD
178 %token COMPLEX_S8_KEYWORD COMPLEX_S16_KEYWORD COMPLEX_S32_KEYWORD
179 %token BOOL_AND BOOL_OR BOOL_NOT
180 %token <lval> LAST REGNAME CHARACTER
182 %token <ivar> VARIABLE
184 %token <opcode> ASSIGN_MODIFY
188 %right '=' ASSIGN_MODIFY
197 %left LESSTHAN GREATERTHAN LEQ GEQ
213 { write_exp_elt_opcode(OP_TYPE);
214 write_exp_elt_type($1);
215 write_exp_elt_opcode(OP_TYPE); }
222 /* Expressions, not including the comma operator. */
223 exp : '*' exp %prec UNARY
224 { write_exp_elt_opcode (UNOP_IND); }
226 exp : '&' exp %prec UNARY
227 { write_exp_elt_opcode (UNOP_ADDR); }
229 exp : '-' exp %prec UNARY
230 { write_exp_elt_opcode (UNOP_NEG); }
233 exp : BOOL_NOT exp %prec UNARY
234 { write_exp_elt_opcode (UNOP_LOGICAL_NOT); }
237 exp : '~' exp %prec UNARY
238 { write_exp_elt_opcode (UNOP_COMPLEMENT); }
241 exp : SIZEOF exp %prec UNARY
242 { write_exp_elt_opcode (UNOP_SIZEOF); }
245 /* No more explicit array operators, we treat everything in F77 as
246 a function call. The disambiguation as to whether we are
247 doing a subscript operation or a function call is done
251 { start_arglist (); }
253 { write_exp_elt_opcode (OP_F77_UNDETERMINED_ARGLIST);
254 write_exp_elt_longcst ((LONGEST) end_arglist ());
255 write_exp_elt_opcode (OP_F77_UNDETERMINED_ARGLIST); }
268 arglist : arglist ',' exp %prec ABOVE_COMMA
272 substring: exp ':' exp %prec ABOVE_COMMA
277 complexnum: exp ',' exp
281 exp : '(' complexnum ')'
282 { write_exp_elt_opcode(OP_F77_LITERAL_COMPLEX); }
285 exp : '(' type ')' exp %prec UNARY
286 { write_exp_elt_opcode (UNOP_CAST);
287 write_exp_elt_type ($2);
288 write_exp_elt_opcode (UNOP_CAST); }
291 /* Binary operators in order of decreasing precedence. */
294 { write_exp_elt_opcode (BINOP_REPEAT); }
298 { write_exp_elt_opcode (BINOP_MUL); }
302 { write_exp_elt_opcode (BINOP_DIV); }
306 { write_exp_elt_opcode (BINOP_REM); }
310 { write_exp_elt_opcode (BINOP_ADD); }
314 { write_exp_elt_opcode (BINOP_SUB); }
318 { write_exp_elt_opcode (BINOP_LSH); }
322 { write_exp_elt_opcode (BINOP_RSH); }
326 { write_exp_elt_opcode (BINOP_EQUAL); }
329 exp : exp NOTEQUAL exp
330 { write_exp_elt_opcode (BINOP_NOTEQUAL); }
334 { write_exp_elt_opcode (BINOP_LEQ); }
338 { write_exp_elt_opcode (BINOP_GEQ); }
341 exp : exp LESSTHAN exp
342 { write_exp_elt_opcode (BINOP_LESS); }
345 exp : exp GREATERTHAN exp
346 { write_exp_elt_opcode (BINOP_GTR); }
350 { write_exp_elt_opcode (BINOP_BITWISE_AND); }
354 { write_exp_elt_opcode (BINOP_BITWISE_XOR); }
358 { write_exp_elt_opcode (BINOP_BITWISE_IOR); }
361 exp : exp BOOL_AND exp
362 { write_exp_elt_opcode (BINOP_LOGICAL_AND); }
366 exp : exp BOOL_OR exp
367 { write_exp_elt_opcode (BINOP_LOGICAL_OR); }
371 { write_exp_elt_opcode (BINOP_ASSIGN); }
374 exp : exp ASSIGN_MODIFY exp
375 { write_exp_elt_opcode (BINOP_ASSIGN_MODIFY);
376 write_exp_elt_opcode ($2);
377 write_exp_elt_opcode (BINOP_ASSIGN_MODIFY); }
381 { write_exp_elt_opcode (OP_LONG);
382 write_exp_elt_type ($1.type);
383 write_exp_elt_longcst ((LONGEST)($1.val));
384 write_exp_elt_opcode (OP_LONG); }
389 parse_number ($1.stoken.ptr, $1.stoken.length, 0, &val);
390 write_exp_elt_opcode (OP_LONG);
391 write_exp_elt_type (val.typed_val.type);
392 write_exp_elt_longcst ((LONGEST)val.typed_val.val);
393 write_exp_elt_opcode (OP_LONG); }
397 { write_exp_elt_opcode (OP_DOUBLE);
398 write_exp_elt_type (builtin_type_f_real_s8);
399 write_exp_elt_dblcst ($1);
400 write_exp_elt_opcode (OP_DOUBLE); }
407 { write_exp_elt_opcode (OP_LAST);
408 write_exp_elt_longcst ((LONGEST) $1);
409 write_exp_elt_opcode (OP_LAST); }
413 { write_exp_elt_opcode (OP_REGISTER);
414 write_exp_elt_longcst ((LONGEST) $1);
415 write_exp_elt_opcode (OP_REGISTER); }
419 { write_exp_elt_opcode (OP_INTERNALVAR);
420 write_exp_elt_intern ($1);
421 write_exp_elt_opcode (OP_INTERNALVAR); }
424 exp : SIZEOF '(' type ')' %prec UNARY
425 { write_exp_elt_opcode (OP_LONG);
426 write_exp_elt_type (builtin_type_f_integer);
427 write_exp_elt_longcst ((LONGEST) TYPE_LENGTH ($3));
428 write_exp_elt_opcode (OP_LONG); }
431 exp : BOOLEAN_LITERAL
432 { write_exp_elt_opcode (OP_BOOL);
433 write_exp_elt_longcst ((LONGEST) $1);
434 write_exp_elt_opcode (OP_BOOL);
439 { /* In F77, we encounter string literals
440 basically in only one place:
441 when we are setting up manual parameter
442 lists to functions we call by hand or
443 when setting string vars to manual values.
444 These are character*N type variables.
445 They are treated specially behind the
446 scenes. Remember that the literal strings's
447 OPs are being emitted in reverse order, thus
448 we first have the elements and then
449 the array descriptor itself. */
450 char *sp = $1.ptr; int count = $1.length;
454 write_exp_elt_opcode (OP_LONG);
455 write_exp_elt_type (builtin_type_f_character);
456 write_exp_elt_longcst ((LONGEST)(*sp++));
457 write_exp_elt_opcode (OP_LONG);
459 write_exp_elt_opcode (OP_ARRAY);
460 write_exp_elt_longcst ((LONGEST) 1);
461 write_exp_elt_longcst ((LONGEST) ($1.length));
462 write_exp_elt_opcode (OP_ARRAY);
467 variable: name_not_typename
468 { struct symbol *sym = $1.sym;
472 if (symbol_read_needs_frame (sym))
474 if (innermost_block == 0 ||
475 contained_in (block_found,
477 innermost_block = block_found;
479 write_exp_elt_opcode (OP_VAR_VALUE);
480 write_exp_elt_sym (sym);
481 write_exp_elt_opcode (OP_VAR_VALUE);
486 struct minimal_symbol *msymbol;
487 register char *arg = copy_name ($1.stoken);
489 msymbol = lookup_minimal_symbol (arg, NULL);
492 write_exp_msymbol (msymbol,
493 lookup_function_type (builtin_type_int),
496 else if (!have_full_symbols () && !have_partial_symbols ())
497 error ("No symbol table is loaded. Use the \"file\" command.");
499 error ("No symbol \"%s\" in current context.",
500 copy_name ($1.stoken));
512 /* This is where the interesting stuff happens. */
515 struct type *follow_type = $1;
516 struct type *range_type;
525 follow_type = lookup_pointer_type (follow_type);
528 follow_type = lookup_reference_type (follow_type);
531 array_size = pop_type_int ();
532 if (array_size != -1)
535 create_range_type ((struct type *) NULL,
536 builtin_type_f_integer, 0,
539 create_array_type ((struct type *) NULL,
540 follow_type, range_type);
543 follow_type = lookup_pointer_type (follow_type);
546 follow_type = lookup_function_type (follow_type);
554 { push_type (tp_pointer); $$ = 0; }
556 { push_type (tp_pointer); $$ = $2; }
558 { push_type (tp_reference); $$ = 0; }
560 { push_type (tp_reference); $$ = $2; }
564 direct_abs_decl: '(' abs_decl ')'
566 | direct_abs_decl func_mod
567 { push_type (tp_function); }
569 { push_type (tp_function); }
574 | '(' nonempty_typelist ')'
575 { free ((PTR)$2); $$ = 0; }
578 typebase /* Implements (approximately): (type-qualifier)* type-specifier */
582 { $$ = builtin_type_f_integer; }
584 { $$ = builtin_type_f_integer_s2; }
586 { $$ = builtin_type_f_character; }
588 { $$ = builtin_type_f_logical;}
590 { $$ = builtin_type_f_logical_s2;}
592 { $$ = builtin_type_f_logical_s1;}
594 { $$ = builtin_type_f_real;}
596 { $$ = builtin_type_f_real_s8;}
598 { $$ = builtin_type_f_real_s16;}
600 { $$ = builtin_type_f_complex_s8;}
601 | COMPLEX_S16_KEYWORD
602 { $$ = builtin_type_f_complex_s16;}
603 | COMPLEX_S32_KEYWORD
604 { $$ = builtin_type_f_complex_s32;}
612 { $$ = (struct type **) malloc (sizeof (struct type *) * 2);
613 $<ivec>$[0] = 1; /* Number of types in vector */
616 | nonempty_typelist ',' type
617 { int len = sizeof (struct type *) * (++($<ivec>1[0]) + 1);
618 $$ = (struct type **) realloc ((char *) $1, len);
619 $$[$<ivec>$[0]] = $3;
631 name_not_typename : NAME
632 /* These would be useful if name_not_typename was useful, but it is just
633 a fake for "variable", so these cause reduce/reduce conflicts because
634 the parser can't tell whether NAME_OR_INT is a name_not_typename (=variable,
635 =exp) or just an exp. If name_not_typename was ever used in an lvalue
636 context where only a name could occur, this might be useful.
643 /* Take care of parsing a number (anything that starts with a digit).
644 Set yylval and return the token type; update lexptr.
645 LEN is the number of characters in it. */
647 /*** Needs some error checking for the float case ***/
650 parse_number (p, len, parsed_float, putithere)
656 register LONGEST n = 0;
657 register LONGEST prevn = 0;
660 register int base = input_radix;
663 unsigned LONGEST high_bit;
664 struct type *signed_type;
665 struct type *unsigned_type;
669 /* It's a float since it contains a point or an exponent. */
670 /* [dD] is not understood as an exponent by atof, change it to 'e'. */
674 for (tmp2 = tmp; *tmp2; ++tmp2)
675 if (*tmp2 == 'd' || *tmp2 == 'D')
677 putithere->dval = atof (tmp);
682 /* Handle base-switching prefixes 0x, 0t, 0d, 0 */
716 if (c >= 'A' && c <= 'Z')
718 if (c != 'l' && c != 'u')
720 if (c >= '0' && c <= '9')
724 if (base > 10 && c >= 'a' && c <= 'f')
725 n += i = c - 'a' + 10;
726 else if (len == 0 && c == 'l')
728 else if (len == 0 && c == 'u')
731 return ERROR; /* Char not a digit */
734 return ERROR; /* Invalid digit in this base */
736 /* Portably test for overflow (only works for nonzero values, so make
737 a second check for zero). */
738 if ((prevn >= n) && n != 0)
739 unsigned_p=1; /* Try something unsigned */
740 /* If range checking enabled, portably test for unsigned overflow. */
741 if (RANGE_CHECK && n != 0)
743 if ((unsigned_p && (unsigned)prevn >= (unsigned)n))
744 range_error("Overflow on numeric constant.");
749 /* If the number is too big to be an int, or it's got an l suffix
750 then it's a long. Work out if this has to be a long by
751 shifting right and and seeing if anything remains, and the
752 target int size is different to the target long size.
754 In the expression below, we could have tested
755 (n >> TARGET_INT_BIT)
756 to see if it was zero,
757 but too many compilers warn about that, when ints and longs
758 are the same size. So we shift it twice, with fewer bits
759 each time, for the same result. */
761 if ((TARGET_INT_BIT != TARGET_LONG_BIT
762 && ((n >> 2) >> (TARGET_INT_BIT-2))) /* Avoid shift warning */
765 high_bit = ((unsigned LONGEST)1) << (TARGET_LONG_BIT-1);
766 unsigned_type = builtin_type_unsigned_long;
767 signed_type = builtin_type_long;
771 high_bit = ((unsigned LONGEST)1) << (TARGET_INT_BIT-1);
772 unsigned_type = builtin_type_unsigned_int;
773 signed_type = builtin_type_int;
776 putithere->typed_val.val = n;
778 /* If the high bit of the worked out type is set then this number
779 has to be unsigned. */
781 if (unsigned_p || (n & high_bit))
782 putithere->typed_val.type = unsigned_type;
784 putithere->typed_val.type = signed_type;
793 enum exp_opcode opcode;
796 static const struct token dot_ops[] =
798 { ".and.", BOOL_AND, BINOP_END },
799 { ".AND.", BOOL_AND, BINOP_END },
800 { ".or.", BOOL_OR, BINOP_END },
801 { ".OR.", BOOL_OR, BINOP_END },
802 { ".not.", BOOL_NOT, BINOP_END },
803 { ".NOT.", BOOL_NOT, BINOP_END },
804 { ".eq.", EQUAL, BINOP_END },
805 { ".EQ.", EQUAL, BINOP_END },
806 { ".eqv.", EQUAL, BINOP_END },
807 { ".NEQV.", NOTEQUAL, BINOP_END },
808 { ".neqv.", NOTEQUAL, BINOP_END },
809 { ".EQV.", EQUAL, BINOP_END },
810 { ".ne.", NOTEQUAL, BINOP_END },
811 { ".NE.", NOTEQUAL, BINOP_END },
812 { ".le.", LEQ, BINOP_END },
813 { ".LE.", LEQ, BINOP_END },
814 { ".ge.", GEQ, BINOP_END },
815 { ".GE.", GEQ, BINOP_END },
816 { ".gt.", GREATERTHAN, BINOP_END },
817 { ".GT.", GREATERTHAN, BINOP_END },
818 { ".lt.", LESSTHAN, BINOP_END },
819 { ".LT.", LESSTHAN, BINOP_END },
823 struct f77_boolean_val
829 static const struct f77_boolean_val boolean_values[] =
838 static const struct token f77_keywords[] =
840 { "complex_16", COMPLEX_S16_KEYWORD, BINOP_END },
841 { "complex_32", COMPLEX_S32_KEYWORD, BINOP_END },
842 { "character", CHARACTER, BINOP_END },
843 { "integer_2", INT_S2_KEYWORD, BINOP_END },
844 { "logical_1", LOGICAL_S1_KEYWORD, BINOP_END },
845 { "logical_2", LOGICAL_S2_KEYWORD, BINOP_END },
846 { "complex_8", COMPLEX_S8_KEYWORD, BINOP_END },
847 { "integer", INT_KEYWORD, BINOP_END },
848 { "logical", LOGICAL_KEYWORD, BINOP_END },
849 { "real_16", REAL_S16_KEYWORD, BINOP_END },
850 { "complex", COMPLEX_S8_KEYWORD, BINOP_END },
851 { "sizeof", SIZEOF, BINOP_END },
852 { "real_8", REAL_S8_KEYWORD, BINOP_END },
853 { "real", REAL_KEYWORD, BINOP_END },
857 /* Implementation of a dynamically expandable buffer for processing input
858 characters acquired through lexptr and building a value to return in
859 yylval. Ripped off from ch-exp.y */
861 static char *tempbuf; /* Current buffer contents */
862 static int tempbufsize; /* Size of allocated buffer */
863 static int tempbufindex; /* Current index into buffer */
865 #define GROWBY_MIN_SIZE 64 /* Minimum amount to grow buffer by */
867 #define CHECKBUF(size) \
869 if (tempbufindex + (size) >= tempbufsize) \
871 growbuf_by_size (size); \
876 /* Grow the static temp buffer if necessary, including allocating the first one
880 growbuf_by_size (count)
885 growby = max (count, GROWBY_MIN_SIZE);
886 tempbufsize += growby;
888 tempbuf = (char *) malloc (tempbufsize);
890 tempbuf = (char *) realloc (tempbuf, tempbufsize);
893 /* Blatantly ripped off from ch-exp.y. This routine recognizes F77
896 Recognize a string literal. A string literal is a nonzero sequence
897 of characters enclosed in matching single quotes, except that
898 a single character inside single quotes is a character literal, which
899 we reject as a string literal. To embed the terminator character inside
900 a string, it is simply doubled (I.E. 'this''is''one''string') */
903 match_string_literal ()
905 char *tokptr = lexptr;
907 for (tempbufindex = 0, tokptr++; *tokptr != '\0'; tokptr++)
910 if (*tokptr == *lexptr)
912 if (*(tokptr + 1) == *lexptr)
917 tempbuf[tempbufindex++] = *tokptr;
919 if (*tokptr == '\0' /* no terminator */
920 || tempbufindex == 0) /* no string */
924 tempbuf[tempbufindex] = '\0';
925 yylval.sval.ptr = tempbuf;
926 yylval.sval.length = tempbufindex;
928 return STRING_LITERAL;
932 /* Read one token, getting characters through lexptr. */
939 unsigned int i,token;
946 /* First of all, let us make sure we are not dealing with the
947 special tokens .true. and .false. which evaluate to 1 and 0. */
951 for (i = 0; boolean_values[i].name != NULL; i++)
953 if STREQN (tokstart, boolean_values[i].name,
954 strlen (boolean_values[i].name))
956 lexptr += strlen (boolean_values[i].name);
957 yylval.lval = boolean_values[i].value;
958 return BOOLEAN_LITERAL;
963 /* See if it is a special .foo. operator */
965 for (i = 0; dot_ops[i].operator != NULL; i++)
966 if (STREQN (tokstart, dot_ops[i].operator, strlen (dot_ops[i].operator)))
968 lexptr += strlen (dot_ops[i].operator);
969 yylval.opcode = dot_ops[i].opcode;
970 return dot_ops[i].token;
973 switch (c = *tokstart)
985 token = match_string_literal ();
996 if (paren_depth == 0)
1003 if (comma_terminates && paren_depth == 0)
1009 /* Might be a floating point number. */
1010 if (lexptr[1] < '0' || lexptr[1] > '9')
1011 goto symbol; /* Nope, must be a symbol. */
1012 /* FALL THRU into number case. */
1025 /* It's a number. */
1026 int got_dot = 0, got_e = 0, got_d = 0, toktype;
1027 register char *p = tokstart;
1028 int hex = input_radix > 10;
1030 if (c == '0' && (p[1] == 'x' || p[1] == 'X'))
1035 else if (c == '0' && (p[1]=='t' || p[1]=='T' || p[1]=='d' || p[1]=='D'))
1043 if (!hex && !got_e && (*p == 'e' || *p == 'E'))
1044 got_dot = got_e = 1;
1045 else if (!hex && !got_d && (*p == 'd' || *p == 'D'))
1046 got_dot = got_d = 1;
1047 else if (!hex && !got_dot && *p == '.')
1049 else if ((got_e && (p[-1] == 'e' || p[-1] == 'E'))
1050 || (got_d && (p[-1] == 'd' || p[-1] == 'D'))
1051 && (*p == '-' || *p == '+'))
1052 /* This is the sign of the exponent, not the end of the
1055 /* We will take any letters or digits. parse_number will
1056 complain if past the radix, or if L or U are not final. */
1057 else if ((*p < '0' || *p > '9')
1058 && ((*p < 'a' || *p > 'z')
1059 && (*p < 'A' || *p > 'Z')))
1062 toktype = parse_number (tokstart, p - tokstart, got_dot|got_e|got_d,
1064 if (toktype == ERROR)
1066 char *err_copy = (char *) alloca (p - tokstart + 1);
1068 memcpy (err_copy, tokstart, p - tokstart);
1069 err_copy[p - tokstart] = 0;
1070 error ("Invalid number \"%s\".", err_copy);
1101 if (!(c == '_' || c == '$'
1102 || (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z')))
1103 /* We must have come across a bad character (e.g. ';'). */
1104 error ("Invalid character '%c' in expression.", c);
1107 for (c = tokstart[namelen];
1108 (c == '_' || c == '$' || (c >= '0' && c <= '9')
1109 || (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z'));
1110 c = tokstart[++namelen]);
1112 /* The token "if" terminates the expression and is NOT
1113 removed from the input stream. */
1115 if (namelen == 2 && tokstart[0] == 'i' && tokstart[1] == 'f')
1120 /* Handle the tokens $digits; also $ (short for $0) and $$ (short for $$1)
1121 and $$digits (equivalent to $<-digits> if you could type that).
1122 Make token type LAST, and put the number (the digits) in yylval. */
1125 if (*tokstart == '$')
1127 register int negate = 0;
1130 /* Double dollar means negate the number and add -1 as well.
1131 Thus $$ alone means -1. */
1132 if (namelen >= 2 && tokstart[1] == '$')
1139 /* Just dollars (one or two) */
1140 yylval.lval = - negate;
1143 /* Is the rest of the token digits? */
1144 for (; c < namelen; c++)
1145 if (!(tokstart[c] >= '0' && tokstart[c] <= '9'))
1149 yylval.lval = atoi (tokstart + 1 + negate);
1151 yylval.lval = - yylval.lval;
1156 /* Handle tokens that refer to machine registers:
1157 $ followed by a register name. */
1159 if (*tokstart == '$') {
1160 for (c = 0; c < NUM_REGS; c++)
1161 if (namelen - 1 == strlen (reg_names[c])
1162 && STREQN (tokstart + 1, reg_names[c], namelen - 1))
1167 for (c = 0; c < num_std_regs; c++)
1168 if (namelen - 1 == strlen (std_regs[c].name)
1169 && STREQN (tokstart + 1, std_regs[c].name, namelen - 1))
1171 yylval.lval = std_regs[c].regnum;
1175 /* Catch specific keywords. */
1177 for (i = 0; f77_keywords[i].operator != NULL; i++)
1178 if (STREQN(tokstart, f77_keywords[i].operator,
1179 strlen(f77_keywords[i].operator)))
1181 /* lexptr += strlen(f77_keywords[i].operator); */
1182 yylval.opcode = f77_keywords[i].opcode;
1183 return f77_keywords[i].token;
1186 yylval.sval.ptr = tokstart;
1187 yylval.sval.length = namelen;
1189 /* Any other names starting in $ are debugger internal variables. */
1191 if (*tokstart == '$')
1193 yylval.ivar = lookup_internalvar (copy_name (yylval.sval) + 1);
1197 /* Use token-type TYPENAME for symbols that happen to be defined
1198 currently as names of types; NAME for other symbols.
1199 The caller is not constrained to care about the distinction. */
1201 char *tmp = copy_name (yylval.sval);
1203 int is_a_field_of_this = 0;
1206 sym = lookup_symbol (tmp, expression_context_block,
1208 current_language->la_language == language_cplus
1209 ? &is_a_field_of_this : NULL,
1211 if (sym && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
1213 yylval.tsym.type = SYMBOL_TYPE (sym);
1216 if ((yylval.tsym.type = lookup_primitive_typename (tmp)) != 0)
1219 /* Input names that aren't symbols but ARE valid hex numbers,
1220 when the input radix permits them, can be names or numbers
1221 depending on the parse. Note we support radixes > 16 here. */
1223 && ((tokstart[0] >= 'a' && tokstart[0] < 'a' + input_radix - 10)
1224 || (tokstart[0] >= 'A' && tokstart[0] < 'A' + input_radix - 10)))
1226 YYSTYPE newlval; /* Its value is ignored. */
1227 hextype = parse_number (tokstart, namelen, 0, &newlval);
1230 yylval.ssym.sym = sym;
1231 yylval.ssym.is_a_field_of_this = is_a_field_of_this;
1236 /* Any other kind of symbol */
1237 yylval.ssym.sym = sym;
1238 yylval.ssym.is_a_field_of_this = is_a_field_of_this;
1247 error ("A %s in expression, near `%s'.", (msg ? msg : "error"), lexptr);