* gdb.texinfo (Continuing and Stepping): When talking about "step"
[deliverable/binutils-gdb.git] / gdb / ch-exp.y
index 38211d2f319185ad15f7f286ae0362f24358f4de..ebef81326e3b877a39551351a2ddd60b8599acb0 100644 (file)
@@ -1,5 +1,5 @@
 /* YACC grammar for Chill expressions, for GDB.
-   Copyright (C) 1992 Free Software Foundation, Inc.
+   Copyright 1992, 1993 Free Software Foundation, Inc.
 
 This file is part of GDB.
 
@@ -54,11 +54,15 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
 %{
 
 #include "defs.h"
+#include <ctype.h>
 #include "expression.h"
 #include "language.h"
 #include "value.h"
 #include "parser-defs.h"
 #include "ch-lang.h"
+#include "bfd.h" /* Required by objfiles.h.  */
+#include "symfile.h" /* Required by objfiles.h.  */
+#include "objfiles.h" /* For have_full_symbols and have_partial_symbols */
 
 /* Remap normal yacc parser interface names (yyparse, yylex, yyerror, etc),
    as well as gratuitiously global symbol names, so we can have multiple
@@ -82,8 +86,8 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #define        yypgo   chill_pgo
 #define        yyact   chill_act
 #define        yyexca  chill_exca
-#define yyerrflag chill_errflag
-#define yynerrs        chill_nerrs
+#define        yyerrflag chill_errflag
+#define        yynerrs chill_nerrs
 #define        yyps    chill_ps
 #define        yypv    chill_pv
 #define        yys     chill_s
@@ -94,8 +98,8 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #define        yy_yyv  chill_yyv
 #define        yyval   chill_val
 #define        yylloc  chill_lloc
-#define yyreds chill_reds              /* With YYDEBUG defined */
-#define yytoks chill_toks              /* With YYDEBUG defined */
+#define        yyreds  chill_reds              /* With YYDEBUG defined */
+#define        yytoks  chill_toks              /* With YYDEBUG defined */
 
 #ifndef YYDEBUG
 #define        YYDEBUG 0               /* Default to no yydebug support */
@@ -139,7 +143,35 @@ yyerror PARAMS ((char *));
     int *ivec;
   }
 
-%token <voidval> FIXME
+%token <voidval> FIXME_01
+%token <voidval> FIXME_02
+%token <voidval> FIXME_03
+%token <voidval> FIXME_04
+%token <voidval> FIXME_05
+%token <voidval> FIXME_06
+%token <voidval> FIXME_07
+%token <voidval> FIXME_08
+%token <voidval> FIXME_09
+%token <voidval> FIXME_10
+%token <voidval> FIXME_11
+%token <voidval> FIXME_12
+%token <voidval> FIXME_13
+%token <voidval> FIXME_14
+%token <voidval> FIXME_15
+%token <voidval> FIXME_16
+%token <voidval> FIXME_17
+%token <voidval> FIXME_18
+%token <voidval> FIXME_19
+%token <voidval> FIXME_20
+%token <voidval> FIXME_21
+%token <voidval> FIXME_22
+%token <voidval> FIXME_24
+%token <voidval> FIXME_25
+%token <voidval> FIXME_26
+%token <voidval> FIXME_27
+%token <voidval> FIXME_28
+%token <voidval> FIXME_29
+%token <voidval> FIXME_30
 
 %token <typed_val>     INTEGER_LITERAL
 %token <ulval>         BOOLEAN_LITERAL
@@ -149,11 +181,11 @@ yyerror PARAMS ((char *));
 %token <ssym>          LOCATION_NAME
 %token <voidval>       SET_LITERAL
 %token <voidval>       EMPTINESS_LITERAL
-%token <voidval>       CHARACTER_STRING_LITERAL
-%token <voidval>       BIT_STRING_LITERAL
+%token <sval>          CHARACTER_STRING_LITERAL
+%token <sval>          BIT_STRING_LITERAL
+%token <tsym>          TYPENAME
+%token <sval>          FIELD_NAME
 
-%token <voidval>       STRING
-%token <voidval>       CONSTANT
 %token <voidval>       '.'
 %token <voidval>       ';'
 %token <voidval>       ':'
@@ -182,7 +214,6 @@ yyerror PARAMS ((char *));
 %token <voidval>       NOT
 %token <voidval>       POINTER
 %token <voidval>       RECEIVE
-%token <voidval>       SC
 %token <voidval>       '['
 %token <voidval>       ']'
 %token <voidval>       '('
@@ -194,6 +225,17 @@ yyerror PARAMS ((char *));
 %token <voidval>       FI
 %token <voidval>       ELSIF
 %token <voidval>       ILLEGAL_TOKEN
+%token <voidval>       NUM
+%token <voidval>       PRED
+%token <voidval>       SUCC
+%token <voidval>       ABS
+%token <voidval>       CARD
+%token <voidval>       MAX_TOKEN
+%token <voidval>       MIN_TOKEN
+%token <voidval>       SIZE
+%token <voidval>       UPPER
+%token <voidval>       LOWER
+%token <voidval>       LENGTH
 
 /* Tokens which are not Chill tokens used in expressions, but rather GDB
    specific things that we recognize in the same context as Chill tokens
@@ -219,6 +261,7 @@ yyerror PARAMS ((char *));
 %type <voidval>                expression_conversion
 %type <voidval>                value_procedure_call
 %type <voidval>                value_built_in_routine_call
+%type <voidval>                chill_value_built_in_routine_call
 %type <voidval>                start_expression
 %type <voidval>                zero_adic_operator
 %type <voidval>                parenthesised_expression
@@ -237,7 +280,6 @@ yyerror PARAMS ((char *));
 %type <voidval>                operand_4
 %type <voidval>                operand_5
 %type <voidval>                operand_6
-%type <voidval>                integer_literal_expression
 %type <voidval>                synonym_name
 %type <voidval>                value_enumeration_name
 %type <voidval>                value_do_with_name
@@ -252,21 +294,31 @@ yyerror PARAMS ((char *));
 %type <voidval>                lower_element
 %type <voidval>                upper_element
 %type <voidval>                first_element
-%type <voidval>                structure_primitive_value
-%type <voidval>                field_name
-%type <voidval>                mode_name
+%type <voidval>                mode_argument
+%type <voidval>                upper_lower_argument
+%type <voidval>                length_argument
+%type <voidval>                array_mode_name
+%type <voidval>                string_mode_name
+%type <voidval>                variant_structure_mode_name
 %type <voidval>                boolean_expression
 %type <voidval>                case_selector_list
 %type <voidval>                subexpression
 %type <voidval>                case_label_specification
 %type <voidval>                buffer_location
-
 %type <voidval>                single_assignment_action
+%type <tsym>           mode_name
 
 %%
 
 /* Z.200, 5.3.1 */
 
+start  :       value { }
+       |       mode_name
+                       { write_exp_elt_opcode(OP_TYPE);
+                         write_exp_elt_type($1.type);
+                         write_exp_elt_opcode(OP_TYPE);}
+       ;
+
 value          :       expression
                        {
                          $$ = 0;       /* FIXME */
@@ -277,7 +329,7 @@ value               :       expression
                        }
                ;
 
-undefined_value        :       FIXME
+undefined_value        :       FIXME_01
                        {
                          $$ = 0;       /* FIXME */
                        }
@@ -286,12 +338,9 @@ undefined_value    :       FIXME
 /* Z.200, 4.2.1 */
 
 location       :       access_name
+               |       primitive_value POINTER
                        {
-                         $$ = 0;       /* FIXME */
-                       }
-               |       FIXME
-                       {
-                         $$ = 0;       /* FIXME */
+                         write_exp_elt_opcode (UNOP_IND);
                        }
                ;
 
@@ -300,6 +349,7 @@ location    :       access_name
 access_name    :       LOCATION_NAME
                        {
                          write_exp_elt_opcode (OP_VAR_VALUE);
+                         write_exp_elt_block (NULL);
                          write_exp_elt_sym ($1.sym);
                          write_exp_elt_opcode (OP_VAR_VALUE);
                        }
@@ -321,7 +371,7 @@ access_name :       LOCATION_NAME
                          write_exp_elt_intern ($1);
                          write_exp_elt_opcode (OP_INTERNALVAR); 
                        }
-               |       FIXME
+               |       FIXME_03
                        {
                          $$ = 0;       /* FIXME */
                        }
@@ -431,6 +481,7 @@ value_name  :       synonym_name
                |       GENERAL_PROCEDURE_NAME
                        {
                          write_exp_elt_opcode (OP_VAR_VALUE);
+                         write_exp_elt_block (NULL);
                          write_exp_elt_sym ($1.sym);
                          write_exp_elt_opcode (OP_VAR_VALUE);
                        }
@@ -475,17 +526,21 @@ literal           :       INTEGER_LITERAL
                        }
                |       CHARACTER_STRING_LITERAL
                        {
-                         $$ = 0;       /* FIXME */
+                         write_exp_elt_opcode (OP_STRING);
+                         write_exp_string ($1);
+                         write_exp_elt_opcode (OP_STRING);
                        }
                |       BIT_STRING_LITERAL
                        {
-                         $$ = 0;       /* FIXME */
+                         write_exp_elt_opcode (OP_BITSTRING);
+                         write_exp_bitstring ($1);
+                         write_exp_elt_opcode (OP_BITSTRING);
                        }
                ;
 
 /* Z.200, 5.2.5 */
 
-tuple          :       FIXME
+tuple          :       FIXME_04
                        {
                          $$ = 0;       /* FIXME */
                        }
@@ -540,23 +595,26 @@ value_array_slice:        array_primitive_value '(' lower_element ':' upper_element ')'
 
 /* Z.200, 5.2.10 */
 
-value_structure_field: structure_primitive_value '.' field_name
-                       {
-                         $$ = 0;       /* FIXME */
+value_structure_field: primitive_value FIELD_NAME
+                       { write_exp_elt_opcode (STRUCTOP_STRUCT);
+                         write_exp_string ($2);
+                         write_exp_elt_opcode (STRUCTOP_STRUCT);
                        }
                ;
 
 /* Z.200, 5.2.11 */
 
-expression_conversion: mode_name '(' expression ')'
+expression_conversion: mode_name parenthesised_expression
                        {
-                         $$ = 0;       /* FIXME */
+                         write_exp_elt_opcode (UNOP_CAST);
+                         write_exp_elt_type ($1.type);
+                         write_exp_elt_opcode (UNOP_CAST);
                        }
                ;
 
 /* Z.200, 5.2.12 */
 
-value_procedure_call:  FIXME
+value_procedure_call:  FIXME_05
                        {
                          $$ = 0;       /* FIXME */
                        }
@@ -564,7 +622,7 @@ value_procedure_call:       FIXME
 
 /* Z.200, 5.2.13 */
 
-value_built_in_routine_call:   FIXME
+value_built_in_routine_call:   chill_value_built_in_routine_call
                        {
                          $$ = 0;       /* FIXME */
                        }
@@ -572,7 +630,7 @@ value_built_in_routine_call:        FIXME
 
 /* Z.200, 5.2.14 */
 
-start_expression:      FIXME
+start_expression:      FIXME_06
                        {
                          $$ = 0;       /* FIXME */
                        }       /* Not in GNU-Chill */
@@ -580,7 +638,7 @@ start_expression:   FIXME
 
 /* Z.200, 5.2.15 */
 
-zero_adic_operator:    FIXME
+zero_adic_operator:    FIXME_07
                        {
                          $$ = 0;       /* FIXME */
                        }
@@ -600,6 +658,10 @@ expression :       operand_0
                        {
                          $$ = 0;       /* FIXME */
                        }
+               |       single_assignment_action
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
                |       conditional_expression
                        {
                          $$ = 0;       /* FIXME */
@@ -662,10 +724,6 @@ operand_0  :       operand_1
                        {
                          write_exp_elt_opcode (BINOP_BITWISE_XOR);
                        }
-               |       single_assignment_action
-                       {
-                         $$ = 0;       /* FIXME */
-                       }
                ;
 
 /* Z.200, 5.3.4 */
@@ -716,7 +774,7 @@ operand_2   :       operand_3
                        }
                |       operand_2 IN operand_3
                        {
-                         $$ = 0;       /* FIXME */
+                         write_exp_elt_opcode (BINOP_IN);
                        }
                ;
 
@@ -737,7 +795,7 @@ operand_3   :       operand_4
                        }
                |       operand_3 SLASH_SLASH operand_4
                        {
-                         $$ = 0;       /* FIXME */
+                         write_exp_elt_opcode (BINOP_CONCAT);
                        }
                ;
 
@@ -779,9 +837,11 @@ operand_5  :       operand_6
                        {
                          write_exp_elt_opcode (UNOP_LOGICAL_NOT);
                        }
-               |       '(' integer_literal_expression ')' operand_6
+               |       parenthesised_expression literal
+/* We require the string operand to be a literal, to avoid some
+   nasty parsing ambiguities. */
                        {
-                         $$ = 0;       /* FIXME */
+                         write_exp_elt_opcode (BINOP_CONCAT);
                        }
                ;
 
@@ -789,7 +849,7 @@ operand_5   :       operand_6
 
 operand_6      :       POINTER location
                        {
-                         $$ = 0;       /* FIXME */
+                         write_exp_elt_opcode (UNOP_ADDR);
                        }
                |       RECEIVE buffer_location
                        {
@@ -804,19 +864,102 @@ operand_6        :       POINTER location
 
 /* Z.200, 6.2 */
 
-single_assignment_action :     location GDB_ASSIGNMENT value
+single_assignment_action :
+                       location GDB_ASSIGNMENT value
                        {
                          write_exp_elt_opcode (BINOP_ASSIGN);
                        }
+               ;
 
-/* Z.200, 12.4.3 */
-/* FIXME:  For now we just accept only a single integer literal. */
+/* Z.200, 6.20.3 */
 
-integer_literal_expression:
-                       INTEGER_LITERAL
+chill_value_built_in_routine_call :
+                       NUM '(' expression ')'
                        {
-                         $$ = 0;
+                         $$ = 0;       /* FIXME */
+                       }
+               |       PRED '(' expression ')'
+                       {
+                         $$ = 0;       /* FIXME */
                        }
+               |       SUCC '(' expression ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       ABS '(' expression ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       CARD '(' expression ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       MAX_TOKEN '(' expression ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       MIN_TOKEN '(' expression ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       SIZE '(' location ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       SIZE '(' mode_argument ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       UPPER '(' upper_lower_argument ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       LOWER '(' upper_lower_argument ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       LENGTH '(' length_argument ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               ;
+
+mode_argument :                mode_name
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       array_mode_name '(' expression ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       string_mode_name '(' expression ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       variant_structure_mode_name '(' expression_list ')'
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               ;
+
+mode_name :            TYPENAME
+               ;
+
+upper_lower_argument : expression
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               |       mode_name
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               ;
+
+length_argument :      expression
+                       {
+                         $$ = 0;       /* FIXME */
+                       }
+               ;
 
 /* Z.200, 12.4.3 */
 
@@ -824,33 +967,73 @@ array_primitive_value :   primitive_value
                        {
                          $$ = 0;
                        }
+               ;
 
 
 /* Things which still need productions... */
 
-synonym_name           :       FIXME { $$ = 0; }
-value_enumeration_name         :       FIXME { $$ = 0; }
-value_do_with_name     :       FIXME { $$ = 0; }
-value_receive_name     :       FIXME { $$ = 0; }
-string_primitive_value         :       FIXME { $$ = 0; }
-start_element          :       FIXME { $$ = 0; }
-left_element           :       FIXME { $$ = 0; }
-right_element          :       FIXME { $$ = 0; }
-slice_size             :       FIXME { $$ = 0; }
-lower_element          :       FIXME { $$ = 0; }
-upper_element          :       FIXME { $$ = 0; }
-first_element          :       FIXME { $$ = 0; }
-structure_primitive_value:     FIXME { $$ = 0; }
-field_name             :       FIXME { $$ = 0; }
-mode_name              :       FIXME { $$ = 0; }
-boolean_expression     :       FIXME { $$ = 0; }
-case_selector_list     :       FIXME { $$ = 0; }
-subexpression          :       FIXME { $$ = 0; }
-case_label_specification:      FIXME { $$ = 0; }
-buffer_location        :       FIXME { $$ = 0; }
+array_mode_name                :       FIXME_08 { $$ = 0; }
+string_mode_name       :       FIXME_09 { $$ = 0; }
+variant_structure_mode_name:   FIXME_10 { $$ = 0; }
+synonym_name           :       FIXME_11 { $$ = 0; }
+value_enumeration_name         :       FIXME_12 { $$ = 0; }
+value_do_with_name     :       FIXME_13 { $$ = 0; }
+value_receive_name     :       FIXME_14 { $$ = 0; }
+string_primitive_value         :       FIXME_15 { $$ = 0; }
+start_element          :       FIXME_16 { $$ = 0; }
+left_element           :       FIXME_17 { $$ = 0; }
+right_element          :       FIXME_18 { $$ = 0; }
+slice_size             :       FIXME_19 { $$ = 0; }
+lower_element          :       FIXME_20 { $$ = 0; }
+upper_element          :       FIXME_21 { $$ = 0; }
+first_element          :       FIXME_22 { $$ = 0; }
+boolean_expression     :       FIXME_26 { $$ = 0; }
+case_selector_list     :       FIXME_27 { $$ = 0; }
+subexpression          :       FIXME_28 { $$ = 0; }
+case_label_specification:      FIXME_29 { $$ = 0; }
+buffer_location        :       FIXME_30 { $$ = 0; }
 
 %%
 
+/* Implementation of a dynamically expandable buffer for processing input
+   characters acquired through lexptr and building a value to return in
+   yylval. */
+
+static char *tempbuf;          /* Current buffer contents */
+static int tempbufsize;                /* Size of allocated buffer */
+static int tempbufindex;       /* Current index into buffer */
+
+#define GROWBY_MIN_SIZE 64     /* Minimum amount to grow buffer by */
+
+#define CHECKBUF(size) \
+  do { \
+    if (tempbufindex + (size) >= tempbufsize) \
+      { \
+       growbuf_by_size (size); \
+      } \
+  } while (0);
+
+/* Grow the static temp buffer if necessary, including allocating the first one
+   on demand. */
+
+static void
+growbuf_by_size (count)
+     int count;
+{
+  int growby;
+
+  growby = max (count, GROWBY_MIN_SIZE);
+  tempbufsize += growby;
+  if (tempbuf == NULL)
+    {
+      tempbuf = (char *) malloc (tempbufsize);
+    }
+  else
+    {
+      tempbuf = (char *) realloc (tempbuf, tempbufsize);
+    }
+}
+
 /* Try to consume a simple name string token.  If successful, returns
    a pointer to a nullbyte terminated copy of the name that can be used
    in symbol table lookups.  If not successful, returns NULL. */
@@ -862,13 +1045,18 @@ match_simple_name_string ()
 
   if (isalpha (*tokptr))
     {
+      char *result;
       do {
        tokptr++;
-      } while (isalpha (*tokptr) || isdigit (*tokptr) || (*tokptr == '_'));
+      } while (isalnum (*tokptr) || (*tokptr == '_'));
       yylval.sval.ptr = lexptr;
       yylval.sval.length = tokptr - lexptr;
       lexptr = tokptr;
-      return (copy_name (yylval.sval));
+      result = copy_name (yylval.sval);
+      for (tokptr = result; *tokptr; tokptr++)
+       if (isupper (*tokptr))
+         *tokptr = tolower(*tokptr);
+      return result;
     }
   return (NULL);
 }
@@ -1029,7 +1217,6 @@ match_float_literal ()
   char *tokptr = lexptr;
   char *buf;
   char *copy;
-  char ch;
   double dval;
   extern double strtod ();
   
@@ -1148,6 +1335,48 @@ match_float_literal ()
   return (0);
 }
 
+/* Recognize a string literal.  A string literal is a sequence
+   of characters enclosed in matching single or double quotes, except that
+   a single character inside single quotes is a character literal, which
+   we reject as a string literal.  To embed the terminator character inside
+   a string, it is simply doubled (I.E. "this""is""one""string") */
+
+static int
+match_string_literal ()
+{
+  char *tokptr = lexptr;
+
+  for (tempbufindex = 0, tokptr++; *tokptr != '\0'; tokptr++)
+    {
+      CHECKBUF (1);
+      if (*tokptr == *lexptr)
+       {
+         if (*(tokptr + 1) == *lexptr)
+           {
+             tokptr++;
+           }
+         else
+           {
+             break;
+           }
+       }
+      tempbuf[tempbufindex++] = *tokptr;
+    }
+  if (*tokptr == '\0'                                  /* no terminator */
+      || (tempbufindex == 1 && *tokptr == '\''))       /* char literal */
+    {
+      return (0);
+    }
+  else
+    {
+      tempbuf[tempbufindex] = '\0';
+      yylval.sval.ptr = tempbuf;
+      yylval.sval.length = tempbufindex;
+      lexptr = ++tokptr;
+      return (CHARACTER_STRING_LITERAL);
+    }
+}
+
 /* Recognize a character literal.  A character literal is single character
    or a control sequence, enclosed in single quotes.  A control sequence
    is a comma separated list of one or more integer literals, enclosed
@@ -1158,6 +1387,15 @@ match_float_literal ()
    As a GNU chill extension, the syntax C'xx' is also recognized as a 
    character literal, where xx is a hex value for the character.
 
+   Note that more than a single character, enclosed in single quotes, is
+   a string literal.
+
+   Also note that the control sequence form is not in GNU Chill since it
+   is ambiguous with the string literal form using single quotes.  I.E.
+   is '^(7)' a character literal or a string literal.  In theory it it
+   possible to tell by context, but GNU Chill doesn't accept the control
+   sequence form, so neither do we (for now the code is disabled).
+
    Returns CHARACTER_LITERAL if a match is found.
    */
 
@@ -1188,6 +1426,7 @@ match_character_literal ()
       
       if ((*tokptr == '^') && (*(tokptr + 1) == '('))
        {
+#if 0     /* Disable, see note above. -fnf */
          /* Match and decode a control sequence.  Return zero if we don't
             find a valid integer literal, or if the next unconsumed character
             after the integer literal is not the trailing ')'.
@@ -1198,6 +1437,9 @@ match_character_literal ()
            {
              return (0);
            }
+#else
+         return (0);
+#endif
        }
       else
        {
@@ -1247,6 +1489,115 @@ match_integer_literal ()
     }
 }
 
+/* Recognize a bit-string literal, as specified in Z.200 sec 5.2.4.8
+   Note that according to 5.2.4.8, a single "_" is also a valid bit-string
+   literal, however GNU-chill requires there to be at least one "digit"
+   in any bit-string literal. */
+
+static int
+match_bitstring_literal ()
+{
+  char *tokptr = lexptr;
+  int mask;
+  int bitoffset = 0;
+  int bitcount = 0;
+  int base;
+  int digit;
+  
+  tempbufindex = 0;
+
+  /* Look for the required explicit base specifier. */
+  
+  switch (*tokptr++)
+    {
+    case 'b':
+    case 'B':
+      base = 2;
+      break;
+    case 'o':
+    case 'O':
+      base = 8;
+      break;
+    case 'h':
+    case 'H':
+      base = 16;
+      break;
+    default:
+      return (0);
+      break;
+    }
+  
+  /* Ensure that the character after the explicit base is a single quote. */
+  
+  if (*tokptr++ != '\'')
+    {
+      return (0);
+    }
+  
+  while (*tokptr != '\0' && *tokptr != '\'')
+    {
+      digit = tolower (*tokptr);
+      tokptr++;
+      switch (digit)
+       {
+         case '_':
+           continue;
+         case '0':  case '1':  case '2':  case '3':  case '4':
+         case '5':  case '6':  case '7':  case '8':  case '9':
+           digit -= '0';
+           break;
+         case 'a':  case 'b':  case 'c':  case 'd':  case 'e': case 'f':
+           digit -= 'a';
+           digit += 10;
+           break;
+         default:
+           return (0);
+           break;
+       }
+      if (digit >= base)
+       {
+         /* Found something not in domain for current base. */
+         return (0);
+       }
+      else
+       {
+         /* Extract bits from digit, starting with the msbit appropriate for
+            the current base, and packing them into the bitstring byte,
+            starting at the lsbit. */
+         for (mask = (base >> 1); mask > 0; mask >>= 1)
+           {
+             bitcount++;
+             CHECKBUF (1);
+             if (digit & mask)
+               {
+                 tempbuf[tempbufindex] |= (1 << bitoffset);
+               }
+             bitoffset++;
+             if (bitoffset == HOST_CHAR_BIT)
+               {
+                 bitoffset = 0;
+                 tempbufindex++;
+               }
+           }
+       }
+    }
+  
+  /* Verify that we consumed everything up to the trailing single quote,
+     and that we found some bits (IE not just underbars). */
+
+  if (*tokptr++ != '\'')
+    {
+      return (0);
+    }
+  else 
+    {
+      yylval.sval.ptr = tempbuf;
+      yylval.sval.length = bitcount;
+      lexptr = tokptr;
+      return (BIT_STRING_LITERAL);
+    }
+}
+
 /* Recognize tokens that start with '$'.  These include:
 
        $regname        A native register name or a "standard
@@ -1305,7 +1656,7 @@ match_dollar_tokens ()
              && !isalnum (tokptr[namelength]))
            {
              yylval.lval = regno;
-             lexptr += namelength + 1;
+             lexptr += namelength;
              return (GDB_REGNAME);
            }
        }
@@ -1378,34 +1729,38 @@ struct token
   int token;
 };
 
-static const struct token tokentab5[] =
-{
-    { "ANDIF", ANDIF }
-};
-
-static const struct token tokentab4[] =
-{
-    { "ORIF", ORIF }
-};
-
-static const struct token tokentab3[] =
+static const struct token idtokentab[] =
 {
-    { "MOD", MOD },
-    { "REM", REM },
-    { "NOT", NOT },
-    { "XOR", LOGXOR },
-    { "AND", LOGAND }
+    { "length", LENGTH },
+    { "lower", LOWER },
+    { "upper", UPPER },
+    { "andif", ANDIF },
+    { "pred", PRED },
+    { "succ", SUCC },
+    { "card", CARD },
+    { "size", SIZE },
+    { "orif", ORIF },
+    { "num", NUM },
+    { "abs", ABS },
+    { "max", MAX_TOKEN },
+    { "min", MIN_TOKEN },
+    { "mod", MOD },
+    { "rem", REM },
+    { "not", NOT },
+    { "xor", LOGXOR },
+    { "and", LOGAND },
+    { "in", IN },
+    { "or", LOGIOR }
 };
 
 static const struct token tokentab2[] =
 {
     { ":=", GDB_ASSIGNMENT },
     { "//", SLASH_SLASH },
+    { "->", POINTER },
     { "/=", NOTEQUAL },
     { "<=", LEQ },
-    { ">=", GTR },
-    { "IN", IN },
-    { "OR", LOGIOR }
+    { ">=", GTR }
 };
 
 /* Read one token, getting characters through lexptr.  */
@@ -1436,9 +1791,7 @@ yylex ()
            case ';':
            case '!':
            case '+':
-           case '-':
            case '*':
-           case '/':
            case '(':
            case ')':
            case '[':
@@ -1447,12 +1800,31 @@ yylex ()
        }
     /* Look for characters which start a particular kind of multicharacter
        token, such as a character literal, register name, convenience
-       variable name, etc. */
+       variable name, string literal, etc. */
     switch (*lexptr)
       {
+       case '\'':
+       case '\"':
+         /* First try to match a string literal, which is any
+            sequence of characters enclosed in matching single or double
+            quotes, except that a single character inside single quotes
+            is a character literal, so we have to catch that case also. */
+         token = match_string_literal ();
+         if (token != 0)
+           {
+             return (token);
+           }
+         if (*lexptr == '\'')
+           {
+             token = match_character_literal ();
+             if (token != 0)
+               {
+                 return (token);
+               }
+           }
+         break;
         case 'C':
         case 'c':
-       case '\'':
          token = match_character_literal ();
          if (token != 0)
            {
@@ -1467,33 +1839,6 @@ yylex ()
            }
          break;
       }
-    /* See if it is a special token of length 5.  */
-    for (i = 0; i < sizeof (tokentab5) / sizeof (tokentab5[0]); i++)
-       {
-           if (STREQN (lexptr, tokentab5[i].operator, 5))
-               {
-                   lexptr += 5;
-                   return (tokentab5[i].token);
-               }
-       }
-    /* See if it is a special token of length 4.  */
-    for (i = 0; i < sizeof (tokentab4) / sizeof (tokentab4[0]); i++)
-       {
-           if (STREQN (lexptr, tokentab4[i].operator, 4))
-               {
-                   lexptr += 4;
-                   return (tokentab4[i].token);
-               }
-       }
-    /* See if it is a special token of length 3.  */
-    for (i = 0; i < sizeof (tokentab3) / sizeof (tokentab3[0]); i++)
-       {
-           if (STREQN (lexptr, tokentab3[i].operator, 3))
-               {
-                   lexptr += 3;
-                   return (tokentab3[i].token);
-               }
-       }
     /* See if it is a special token of length 2.  */
     for (i = 0; i < sizeof (tokentab2) / sizeof (tokentab2[0]); i++)
        {
@@ -1508,28 +1853,21 @@ yylex ()
        would already have found it. */
     switch (*lexptr)
        {
+           case '-':
            case ':':
            case '/':
            case '<':
            case '>':
                return (*lexptr++);
        }
-    /* Look for other special tokens. */
-    if (STREQN (lexptr, "TRUE", 4)) /* FIXME:  What about lowercase? */
-       {
-           yylval.ulval = 1;
-           lexptr += 4;
-           return (BOOLEAN_LITERAL);
-       }
-    if (STREQN (lexptr, "FALSE", 5)) /* FIXME:  What about lowercase? */
-       {
-           yylval.ulval = 0;
-           lexptr += 5;
-           return (BOOLEAN_LITERAL);
-       }
     /* Look for a float literal before looking for an integer literal, so
        we match as much of the input stream as possible. */
     token = match_float_literal ();
+    if (token != 0)
+       {
+           return (token);
+       }
+    token = match_bitstring_literal ();
     if (token != 0)
        {
            return (token);
@@ -1547,8 +1885,30 @@ yylex ()
        we can't classify what sort of name it is. */
 
     simplename = match_simple_name_string ();
+
     if (simplename != NULL)
       {
+       /* See if it is a reserved identifier. */
+       for (i = 0; i < sizeof (idtokentab) / sizeof (idtokentab[0]); i++)
+           {
+               if (STREQ (simplename, idtokentab[i].operator))
+                   {
+                       return (idtokentab[i].token);
+                   }
+           }
+
+       /* Look for other special tokens. */
+       if (STREQ (simplename, "true"))
+           {
+               yylval.ulval = 1;
+               return (BOOLEAN_LITERAL);
+           }
+       if (STREQ (simplename, "false"))
+           {
+               yylval.ulval = 0;
+               return (BOOLEAN_LITERAL);
+           }
+
        sym = lookup_symbol (simplename, expression_context_block,
                             VAR_NAMESPACE, (int *) NULL,
                             (struct symtab **) NULL);
@@ -1570,8 +1930,11 @@ yylex ()
              case LOC_ARG:
              case LOC_REF_ARG:
              case LOC_REGPARM:
+             case LOC_REGPARM_ADDR:
              case LOC_LOCAL:
              case LOC_LOCAL_ARG:
+             case LOC_BASEREG:
+             case LOC_BASEREG_ARG:
                if (innermost_block == NULL
                    || contained_in (block_found, innermost_block))
                  {
@@ -1583,9 +1946,12 @@ yylex ()
              case LOC_LABEL:
                return (LOCATION_NAME);
                break;
-             case LOC_UNDEF:
              case LOC_TYPEDEF:
+               yylval.tsym.type = SYMBOL_TYPE (sym);
+               return TYPENAME;
+             case LOC_UNDEF:
              case LOC_CONST_BYTES:
+             case LOC_OPTIMIZED_OUT:
                error ("Symbol \"%s\" names no location.", simplename);
                break;
              }
@@ -1606,7 +1972,12 @@ yylex ()
     switch (*lexptr)
       {
        case '.':                       /* Not float for example. */
-         return (*lexptr++);
+         lexptr++;
+         while (isspace (*lexptr)) lexptr++;
+         simplename = match_simple_name_string ();
+         if (!simplename)
+           return '.';
+         return FIELD_NAME;
       }
 
     return (ILLEGAL_TOKEN);
@@ -1616,7 +1987,7 @@ void
 yyerror (msg)
      char *msg;        /* unused */
 {
-  printf ("Parsing:  %s\n", lexptr);
+  printf_unfiltered ("Parsing:  %s\n", lexptr);
   if (yychar < 256)
     {
       error ("Invalid syntax in expression near character '%c'.", yychar);
This page took 0.037439 seconds and 4 git commands to generate.