gdb/jv-exp.y

   1 /* YACC parser for Java expressions, for GDB.
   2    Copyright (C) 1997, 1998, 1999, 2000, 2006, 2007, 2008, 2009, 2010
   3    Free Software Foundation, Inc.
   4
   5    This file is part of GDB.
   6
   7    This program is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 /* Parse a Java expression from text in a string,
  21    and return the result as a  struct expression  pointer.
  22    That structure contains arithmetic operations in reverse polish,
  23    with constants represented by operations that are followed by special data.
  24    See expression.h for the details of the format.
  25    What is important here is that it can be built up sequentially
  26    during the process of parsing; the lower levels of the tree always
  27    come first in the result.  Well, almost always; see ArrayAccess.
  28
  29    Note that malloc's and realloc's in this file are transformed to
  30    xmalloc and xrealloc respectively by the same sed command in the
  31    makefile that remaps any other malloc/realloc inserted by the parser
  32    generator.  Doing this with #defines and trying to control the interaction
  33    with include files (<malloc.h> and <stdlib.h> for example) just became
  34    too messy, particularly when such includes can be inserted at random
  35    times by the parser generator.  */
  36
  37 %{
  38
  39 #include "defs.h"
  40 #include "gdb_string.h"
  41 #include <ctype.h>
  42 #include "expression.h"
  43 #include "value.h"
  44 #include "parser-defs.h"
  45 #include "language.h"
  46 #include "jv-lang.h"
  47 #include "bfd.h" /* Required by objfiles.h.  */
  48 #include "symfile.h" /* Required by objfiles.h.  */
  49 #include "objfiles.h" /* For have_full_symbols and have_partial_symbols */
  50 #include "block.h"
  51
  52 #define parse_type builtin_type (parse_gdbarch)
  53 #define parse_java_type builtin_java_type (parse_gdbarch)
  54
  55 /* Remap normal yacc parser interface names (yyparse, yylex, yyerror, etc),
  56    as well as gratuitiously global symbol names, so we can have multiple
  57    yacc generated parsers in gdb.  Note that these are only the variables
  58    produced by yacc.  If other parser generators (bison, byacc, etc) produce
  59    additional global names that conflict at link time, then those parser
  60    generators need to be fixed instead of adding those names to this list. */
  61
  62 #define yymaxdepth java_maxdepth
  63 #define yyparse java_parse
  64 #define yylex   java_lex
  65 #define yyerror java_error
  66 #define yylval  java_lval
  67 #define yychar  java_char
  68 #define yydebug java_debug
  69 #define yypact  java_pact
  70 #define yyr1    java_r1
  71 #define yyr2    java_r2
  72 #define yydef   java_def
  73 #define yychk   java_chk
  74 #define yypgo   java_pgo
  75 #define yyact   java_act
  76 #define yyexca  java_exca
  77 #define yyerrflag java_errflag
  78 #define yynerrs java_nerrs
  79 #define yyps    java_ps
  80 #define yypv    java_pv
  81 #define yys     java_s
  82 #define yy_yys  java_yys
  83 #define yystate java_state
  84 #define yytmp   java_tmp
  85 #define yyv     java_v
  86 #define yy_yyv  java_yyv
  87 #define yyval   java_val
  88 #define yylloc  java_lloc
  89 #define yyreds  java_reds               /* With YYDEBUG defined */
  90 #define yytoks  java_toks               /* With YYDEBUG defined */
  91 #define yyname  java_name               /* With YYDEBUG defined */
  92 #define yyrule  java_rule               /* With YYDEBUG defined */
  93 #define yylhs   java_yylhs
  94 #define yylen   java_yylen
  95 #define yydefred java_yydefred
  96 #define yydgoto java_yydgoto
  97 #define yysindex java_yysindex
  98 #define yyrindex java_yyrindex
  99 #define yygindex java_yygindex
 100 #define yytable  java_yytable
 101 #define yycheck  java_yycheck
 102
 103 #ifndef YYDEBUG
 104 #define YYDEBUG 1               /* Default to yydebug support */
 105 #endif
 106
 107 #define YYFPRINTF parser_fprintf
 108
 109 int yyparse (void);
 110
 111 static int yylex (void);
 112
 113 void yyerror (char *);
 114
 115 static struct type *java_type_from_name (struct stoken);
 116 static void push_expression_name (struct stoken);
 117 static void push_fieldnames (struct stoken);
 118
 119 static struct expression *copy_exp (struct expression *, int);
 120 static void insert_exp (int, struct expression *);
 121
 122 %}
 123
 124 /* Although the yacc "value" of an expression is not used,
 125    since the result is stored in the structure being created,
 126    other node types do have values.  */
 127
 128 %union
 129   {
 130     LONGEST lval;
 131     struct {
 132       LONGEST val;
 133       struct type *type;
 134     } typed_val_int;
 135     struct {
 136       DOUBLEST dval;
 137       struct type *type;
 138     } typed_val_float;
 139     struct symbol *sym;
 140     struct type *tval;
 141     struct stoken sval;
 142     struct ttype tsym;
 143     struct symtoken ssym;
 144     struct block *bval;
 145     enum exp_opcode opcode;
 146     struct internalvar *ivar;
 147     int *ivec;
 148   }
 149
 150 %{
 151 /* YYSTYPE gets defined by %union */
 152 static int parse_number (char *, int, int, YYSTYPE *);
 153 %}
 154
 155 %type <lval> rcurly Dims Dims_opt
 156 %type <tval> ClassOrInterfaceType ClassType /* ReferenceType Type ArrayType */
 157 %type <tval> IntegralType FloatingPointType NumericType PrimitiveType ArrayType PrimitiveOrArrayType
 158
 159 %token <typed_val_int> INTEGER_LITERAL
 160 %token <typed_val_float> FLOATING_POINT_LITERAL
 161
 162 %token <sval> IDENTIFIER
 163 %token <sval> STRING_LITERAL
 164 %token <lval> BOOLEAN_LITERAL
 165 %token <tsym> TYPENAME
 166 %type <sval> Name SimpleName QualifiedName ForcedName
 167
 168 /* A NAME_OR_INT is a symbol which is not known in the symbol table,
 169    but which would parse as a valid number in the current input radix.
 170    E.g. "c" when input_radix==16.  Depending on the parse, it will be
 171    turned into a name or into a number.  */
 172
 173 %token <sval> NAME_OR_INT
 174
 175 %token ERROR
 176
 177 /* Special type cases, put in to allow the parser to distinguish different
 178    legal basetypes.  */
 179 %token LONG SHORT BYTE INT CHAR BOOLEAN DOUBLE FLOAT
 180
 181 %token VARIABLE
 182
 183 %token <opcode> ASSIGN_MODIFY
 184
 185 %token SUPER NEW
 186
 187 %left ','
 188 %right '=' ASSIGN_MODIFY
 189 %right '?'
 190 %left OROR
 191 %left ANDAND
 192 %left '|'
 193 %left '^'
 194 %left '&'
 195 %left EQUAL NOTEQUAL
 196 %left '<' '>' LEQ GEQ
 197 %left LSH RSH
 198 %left '+' '-'
 199 %left '*' '/' '%'
 200 %right INCREMENT DECREMENT
 201 %right '.' '[' '('
 202
 203 \f
 204 %%
 205
 206 start   :       exp1
 207         |       type_exp
 208         ;
 209
 210 type_exp:       PrimitiveOrArrayType
 211                 {
 212                   write_exp_elt_opcode(OP_TYPE);
 213                   write_exp_elt_type($1);
 214                   write_exp_elt_opcode(OP_TYPE);
 215                 }
 216         ;
 217
 218 PrimitiveOrArrayType:
 219                 PrimitiveType
 220         |       ArrayType
 221         ;
 222
 223 StringLiteral:
 224         STRING_LITERAL
 225                 {
 226                   write_exp_elt_opcode (OP_STRING);
 227                   write_exp_string ($1);
 228                   write_exp_elt_opcode (OP_STRING);
 229                 }
 230 ;
 231
 232 Literal:
 233         INTEGER_LITERAL
 234                 { write_exp_elt_opcode (OP_LONG);
 235                   write_exp_elt_type ($1.type);
 236                   write_exp_elt_longcst ((LONGEST)($1.val));
 237                   write_exp_elt_opcode (OP_LONG); }
 238 |       NAME_OR_INT
 239                 { YYSTYPE val;
 240                   parse_number ($1.ptr, $1.length, 0, &val);
 241                   write_exp_elt_opcode (OP_LONG);
 242                   write_exp_elt_type (val.typed_val_int.type);
 243                   write_exp_elt_longcst ((LONGEST)val.typed_val_int.val);
 244                   write_exp_elt_opcode (OP_LONG);
 245                 }
 246 |       FLOATING_POINT_LITERAL
 247                 { write_exp_elt_opcode (OP_DOUBLE);
 248                   write_exp_elt_type ($1.type);
 249                   write_exp_elt_dblcst ($1.dval);
 250                   write_exp_elt_opcode (OP_DOUBLE); }
 251 |       BOOLEAN_LITERAL
 252                 { write_exp_elt_opcode (OP_LONG);
 253                   write_exp_elt_type (parse_java_type->builtin_boolean);
 254                   write_exp_elt_longcst ((LONGEST)$1);
 255                   write_exp_elt_opcode (OP_LONG); }
 256 |       StringLiteral
 257         ;
 258
 259 /* UNUSED:
 260 Type:
 261         PrimitiveType
 262 |       ReferenceType
 263 ;
 264 */
 265
 266 PrimitiveType:
 267         NumericType
 268 |       BOOLEAN
 269                 { $$ = parse_java_type->builtin_boolean; }
 270 ;
 271
 272 NumericType:
 273         IntegralType
 274 |       FloatingPointType
 275 ;
 276
 277 IntegralType:
 278         BYTE
 279                 { $$ = parse_java_type->builtin_byte; }
 280 |       SHORT
 281                 { $$ = parse_java_type->builtin_short; }
 282 |       INT
 283                 { $$ = parse_java_type->builtin_int; }
 284 |       LONG
 285                 { $$ = parse_java_type->builtin_long; }
 286 |       CHAR
 287                 { $$ = parse_java_type->builtin_char; }
 288 ;
 289
 290 FloatingPointType:
 291         FLOAT
 292                 { $$ = parse_java_type->builtin_float; }
 293 |       DOUBLE
 294                 { $$ = parse_java_type->builtin_double; }
 295 ;
 296
 297 /* UNUSED:
 298 ReferenceType:
 299         ClassOrInterfaceType
 300 |       ArrayType
 301 ;
 302 */
 303
 304 ClassOrInterfaceType:
 305         Name
 306                 { $$ = java_type_from_name ($1); }
 307 ;
 308
 309 ClassType:
 310         ClassOrInterfaceType
 311 ;
 312
 313 ArrayType:
 314         PrimitiveType Dims
 315                 { $$ = java_array_type ($1, $2); }
 316 |       Name Dims
 317                 { $$ = java_array_type (java_type_from_name ($1), $2); }
 318 ;
 319
 320 Name:
 321         IDENTIFIER
 322 |       QualifiedName
 323 ;
 324
 325 ForcedName:
 326         SimpleName
 327 |       QualifiedName
 328 ;
 329
 330 SimpleName:
 331         IDENTIFIER
 332 |       NAME_OR_INT
 333 ;
 334
 335 QualifiedName:
 336         Name '.' SimpleName
 337                 { $$.length = $1.length + $3.length + 1;
 338                   if ($1.ptr + $1.length + 1 == $3.ptr
 339                       && $1.ptr[$1.length] == '.')
 340                     $$.ptr = $1.ptr;  /* Optimization. */
 341                   else
 342                     {
 343                       $$.ptr = (char *) malloc ($$.length + 1);
 344                       make_cleanup (free, $$.ptr);
 345                       sprintf ($$.ptr, "%.*s.%.*s",
 346                                $1.length, $1.ptr, $3.length, $3.ptr);
 347                 } }
 348 ;
 349
 350 /*
 351 type_exp:       type
 352                         { write_exp_elt_opcode(OP_TYPE);
 353                           write_exp_elt_type($1);
 354                           write_exp_elt_opcode(OP_TYPE);}
 355         ;
 356         */
 357
 358 /* Expressions, including the comma operator.  */
 359 exp1    :       Expression
 360         |       exp1 ',' Expression
 361                         { write_exp_elt_opcode (BINOP_COMMA); }
 362         ;
 363
 364 Primary:
 365         PrimaryNoNewArray
 366 |       ArrayCreationExpression
 367 ;
 368
 369 PrimaryNoNewArray:
 370         Literal
 371 |       '(' Expression ')'
 372 |       ClassInstanceCreationExpression
 373 |       FieldAccess
 374 |       MethodInvocation
 375 |       ArrayAccess
 376 |       lcurly ArgumentList rcurly
 377                 { write_exp_elt_opcode (OP_ARRAY);
 378                   write_exp_elt_longcst ((LONGEST) 0);
 379                   write_exp_elt_longcst ((LONGEST) $3);
 380                   write_exp_elt_opcode (OP_ARRAY); }
 381 ;
 382
 383 lcurly:
 384         '{'
 385                 { start_arglist (); }
 386 ;
 387
 388 rcurly:
 389         '}'
 390                 { $$ = end_arglist () - 1; }
 391 ;
 392
 393 ClassInstanceCreationExpression:
 394         NEW ClassType '(' ArgumentList_opt ')'
 395                 { internal_error (__FILE__, __LINE__,
 396                                   _("FIXME - ClassInstanceCreationExpression")); }
 397 ;
 398
 399 ArgumentList:
 400         Expression
 401                 { arglist_len = 1; }
 402 |       ArgumentList ',' Expression
 403                 { arglist_len++; }
 404 ;
 405
 406 ArgumentList_opt:
 407         /* EMPTY */
 408                 { arglist_len = 0; }
 409 | ArgumentList
 410 ;
 411
 412 ArrayCreationExpression:
 413         NEW PrimitiveType DimExprs Dims_opt
 414                 { internal_error (__FILE__, __LINE__,
 415                                   _("FIXME - ArrayCreationExpression")); }
 416 |       NEW ClassOrInterfaceType DimExprs Dims_opt
 417                 { internal_error (__FILE__, __LINE__,
 418                                   _("FIXME - ArrayCreationExpression")); }
 419 ;
 420
 421 DimExprs:
 422         DimExpr
 423 |       DimExprs DimExpr
 424 ;
 425
 426 DimExpr:
 427         '[' Expression ']'
 428 ;
 429
 430 Dims:
 431         '[' ']'
 432                 { $$ = 1; }
 433 |       Dims '[' ']'
 434         { $$ = $1 + 1; }
 435 ;
 436
 437 Dims_opt:
 438         Dims
 439 |       /* EMPTY */
 440                 { $$ = 0; }
 441 ;
 442
 443 FieldAccess:
 444         Primary '.' SimpleName
 445                 { push_fieldnames ($3); }
 446 |       VARIABLE '.' SimpleName
 447                 { push_fieldnames ($3); }
 448 /*|     SUPER '.' SimpleName { FIXME } */
 449 ;
 450
 451 FuncStart:
 452         Name '('
 453                 { push_expression_name ($1); }
 454 ;
 455
 456 MethodInvocation:
 457         FuncStart
 458                 { start_arglist(); }
 459         ArgumentList_opt ')'
 460                 { write_exp_elt_opcode (OP_FUNCALL);
 461                   write_exp_elt_longcst ((LONGEST) end_arglist ());
 462                   write_exp_elt_opcode (OP_FUNCALL); }
 463 |       Primary '.' SimpleName '(' ArgumentList_opt ')'
 464                 { error (_("Form of method invocation not implemented")); }
 465 |       SUPER '.' SimpleName '(' ArgumentList_opt ')'
 466                 { error (_("Form of method invocation not implemented")); }
 467 ;
 468
 469 ArrayAccess:
 470         Name '[' Expression ']'
 471                 {
 472                   /* Emit code for the Name now, then exchange it in the
 473                      expout array with the Expression's code.  We could
 474                      introduce a OP_SWAP code or a reversed version of
 475                      BINOP_SUBSCRIPT, but that makes the rest of GDB pay
 476                      for our parsing kludges.  */
 477                   struct expression *name_expr;
 478
 479                   push_expression_name ($1);
 480                   name_expr = copy_exp (expout, expout_ptr);
 481                   expout_ptr -= name_expr->nelts;
 482                   insert_exp (expout_ptr-length_of_subexp (expout, expout_ptr),
 483                               name_expr);
 484                   free (name_expr);
 485                   write_exp_elt_opcode (BINOP_SUBSCRIPT);
 486                 }
 487 |       VARIABLE '[' Expression ']'
 488                 { write_exp_elt_opcode (BINOP_SUBSCRIPT); }
 489 |       PrimaryNoNewArray '[' Expression ']'
 490                 { write_exp_elt_opcode (BINOP_SUBSCRIPT); }
 491 ;
 492
 493 PostfixExpression:
 494         Primary
 495 |       Name
 496                 { push_expression_name ($1); }
 497 |       VARIABLE
 498                 /* Already written by write_dollar_variable. */
 499 |       PostIncrementExpression
 500 |       PostDecrementExpression
 501 ;
 502
 503 PostIncrementExpression:
 504         PostfixExpression INCREMENT
 505                 { write_exp_elt_opcode (UNOP_POSTINCREMENT); }
 506 ;
 507
 508 PostDecrementExpression:
 509         PostfixExpression DECREMENT
 510                 { write_exp_elt_opcode (UNOP_POSTDECREMENT); }
 511 ;
 512
 513 UnaryExpression:
 514         PreIncrementExpression
 515 |       PreDecrementExpression
 516 |       '+' UnaryExpression
 517 |       '-' UnaryExpression
 518                 { write_exp_elt_opcode (UNOP_NEG); }
 519 |       '*' UnaryExpression
 520                 { write_exp_elt_opcode (UNOP_IND); } /*FIXME not in Java  */
 521 |       UnaryExpressionNotPlusMinus
 522 ;
 523
 524 PreIncrementExpression:
 525         INCREMENT UnaryExpression
 526                 { write_exp_elt_opcode (UNOP_PREINCREMENT); }
 527 ;
 528
 529 PreDecrementExpression:
 530         DECREMENT UnaryExpression
 531                 { write_exp_elt_opcode (UNOP_PREDECREMENT); }
 532 ;
 533
 534 UnaryExpressionNotPlusMinus:
 535         PostfixExpression
 536 |       '~' UnaryExpression
 537                 { write_exp_elt_opcode (UNOP_COMPLEMENT); }
 538 |       '!' UnaryExpression
 539                 { write_exp_elt_opcode (UNOP_LOGICAL_NOT); }
 540 |       CastExpression
 541         ;
 542
 543 CastExpression:
 544         '(' PrimitiveType Dims_opt ')' UnaryExpression
 545                 { write_exp_elt_opcode (UNOP_CAST);
 546                   write_exp_elt_type (java_array_type ($2, $3));
 547                   write_exp_elt_opcode (UNOP_CAST); }
 548 |       '(' Expression ')' UnaryExpressionNotPlusMinus
 549                 {
 550                   int last_exp_size = length_of_subexp(expout, expout_ptr);
 551                   struct type *type;
 552                   int i;
 553                   int base = expout_ptr - last_exp_size - 3;
 554                   if (base < 0 || expout->elts[base+2].opcode != OP_TYPE)
 555                     error (_("Invalid cast expression"));
 556                   type = expout->elts[base+1].type;
 557                   /* Remove the 'Expression' and slide the
 558                      UnaryExpressionNotPlusMinus down to replace it. */
 559                   for (i = 0;  i < last_exp_size;  i++)
 560                     expout->elts[base + i] = expout->elts[base + i + 3];
 561                   expout_ptr -= 3;
 562                   if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
 563                     type = lookup_pointer_type (type);
 564                   write_exp_elt_opcode (UNOP_CAST);
 565                   write_exp_elt_type (type);
 566                   write_exp_elt_opcode (UNOP_CAST);
 567                 }
 568 |       '(' Name Dims ')' UnaryExpressionNotPlusMinus
 569                 { write_exp_elt_opcode (UNOP_CAST);
 570                   write_exp_elt_type (java_array_type (java_type_from_name ($2), $3));
 571                   write_exp_elt_opcode (UNOP_CAST); }
 572 ;
 573
 574
 575 MultiplicativeExpression:
 576         UnaryExpression
 577 |       MultiplicativeExpression '*' UnaryExpression
 578                 { write_exp_elt_opcode (BINOP_MUL); }
 579 |       MultiplicativeExpression '/' UnaryExpression
 580                 { write_exp_elt_opcode (BINOP_DIV); }
 581 |       MultiplicativeExpression '%' UnaryExpression
 582                 { write_exp_elt_opcode (BINOP_REM); }
 583 ;
 584
 585 AdditiveExpression:
 586         MultiplicativeExpression
 587 |       AdditiveExpression '+' MultiplicativeExpression
 588                 { write_exp_elt_opcode (BINOP_ADD); }
 589 |       AdditiveExpression '-' MultiplicativeExpression
 590                 { write_exp_elt_opcode (BINOP_SUB); }
 591 ;
 592
 593 ShiftExpression:
 594         AdditiveExpression
 595 |       ShiftExpression LSH AdditiveExpression
 596                 { write_exp_elt_opcode (BINOP_LSH); }
 597 |       ShiftExpression RSH AdditiveExpression
 598                 { write_exp_elt_opcode (BINOP_RSH); }
 599 /* |    ShiftExpression >>> AdditiveExpression { FIXME } */
 600 ;
 601
 602 RelationalExpression:
 603         ShiftExpression
 604 |       RelationalExpression '<' ShiftExpression
 605                 { write_exp_elt_opcode (BINOP_LESS); }
 606 |       RelationalExpression '>' ShiftExpression
 607                 { write_exp_elt_opcode (BINOP_GTR); }
 608 |       RelationalExpression LEQ ShiftExpression
 609                 { write_exp_elt_opcode (BINOP_LEQ); }
 610 |       RelationalExpression GEQ ShiftExpression
 611                 { write_exp_elt_opcode (BINOP_GEQ); }
 612 /* | RelationalExpresion INSTANCEOF ReferenceType { FIXME } */
 613 ;
 614
 615 EqualityExpression:
 616         RelationalExpression
 617 |       EqualityExpression EQUAL RelationalExpression
 618                 { write_exp_elt_opcode (BINOP_EQUAL); }
 619 |       EqualityExpression NOTEQUAL RelationalExpression
 620                 { write_exp_elt_opcode (BINOP_NOTEQUAL); }
 621 ;
 622
 623 AndExpression:
 624         EqualityExpression
 625 |       AndExpression '&' EqualityExpression
 626                 { write_exp_elt_opcode (BINOP_BITWISE_AND); }
 627 ;
 628
 629 ExclusiveOrExpression:
 630         AndExpression
 631 |       ExclusiveOrExpression '^' AndExpression
 632                 { write_exp_elt_opcode (BINOP_BITWISE_XOR); }
 633 ;
 634 InclusiveOrExpression:
 635         ExclusiveOrExpression
 636 |       InclusiveOrExpression '|' ExclusiveOrExpression
 637                 { write_exp_elt_opcode (BINOP_BITWISE_IOR); }
 638 ;
 639
 640 ConditionalAndExpression:
 641         InclusiveOrExpression
 642 |       ConditionalAndExpression ANDAND InclusiveOrExpression
 643                 { write_exp_elt_opcode (BINOP_LOGICAL_AND); }
 644 ;
 645
 646 ConditionalOrExpression:
 647         ConditionalAndExpression
 648 |       ConditionalOrExpression OROR ConditionalAndExpression
 649                 { write_exp_elt_opcode (BINOP_LOGICAL_OR); }
 650 ;
 651
 652 ConditionalExpression:
 653         ConditionalOrExpression
 654 |       ConditionalOrExpression '?' Expression ':' ConditionalExpression
 655                 { write_exp_elt_opcode (TERNOP_COND); }
 656 ;
 657
 658 AssignmentExpression:
 659         ConditionalExpression
 660 |       Assignment
 661 ;
 662
 663 Assignment:
 664         LeftHandSide '=' ConditionalExpression
 665                 { write_exp_elt_opcode (BINOP_ASSIGN); }
 666 |       LeftHandSide ASSIGN_MODIFY ConditionalExpression
 667                 { write_exp_elt_opcode (BINOP_ASSIGN_MODIFY);
 668                   write_exp_elt_opcode ($2);
 669                   write_exp_elt_opcode (BINOP_ASSIGN_MODIFY); }
 670 ;
 671
 672 LeftHandSide:
 673         ForcedName
 674                 { push_expression_name ($1); }
 675 |       VARIABLE
 676                 /* Already written by write_dollar_variable. */
 677 |       FieldAccess
 678 |       ArrayAccess
 679 ;
 680
 681
 682 Expression:
 683         AssignmentExpression
 684 ;
 685
 686 %%
 687 /* Take care of parsing a number (anything that starts with a digit).
 688    Set yylval and return the token type; update lexptr.
 689    LEN is the number of characters in it.  */
 690
 691 /*** Needs some error checking for the float case ***/
 692
 693 static int
 694 parse_number (char *p, int len, int parsed_float, YYSTYPE *putithere)
 695 {
 696   ULONGEST n = 0;
 697   ULONGEST limit, limit_div_base;
 698
 699   int c;
 700   int base = input_radix;
 701
 702   struct type *type;
 703
 704   if (parsed_float)
 705     {
 706       /* It's a float since it contains a point or an exponent.  */
 707       char c;
 708       int num = 0;      /* number of tokens scanned by scanf */
 709       char saved_char = p[len];
 710
 711       p[len] = 0;       /* null-terminate the token */
 712       num = sscanf (p, "%" DOUBLEST_SCAN_FORMAT "%c",
 713                     &putithere->typed_val_float.dval, &c);
 714       p[len] = saved_char;      /* restore the input stream */
 715       if (num != 1)             /* check scanf found ONLY a float ... */
 716         return ERROR;
 717       /* See if it has `f' or `d' suffix (float or double).  */
 718
 719       c = tolower (p[len - 1]);
 720
 721       if (c == 'f' || c == 'F')
 722         putithere->typed_val_float.type = parse_type->builtin_float;
 723       else if (isdigit (c) || c == '.' || c == 'd' || c == 'D')
 724         putithere->typed_val_float.type = parse_type->builtin_double;
 725       else
 726         return ERROR;
 727
 728       return FLOATING_POINT_LITERAL;
 729     }
 730
 731   /* Handle base-switching prefixes 0x, 0t, 0d, 0 */
 732   if (p[0] == '0')
 733     switch (p[1])
 734       {
 735       case 'x':
 736       case 'X':
 737         if (len >= 3)
 738           {
 739             p += 2;
 740             base = 16;
 741             len -= 2;
 742           }
 743         break;
 744
 745       case 't':
 746       case 'T':
 747       case 'd':
 748       case 'D':
 749         if (len >= 3)
 750           {
 751             p += 2;
 752             base = 10;
 753             len -= 2;
 754           }
 755         break;
 756
 757       default:
 758         base = 8;
 759         break;
 760       }
 761
 762   c = p[len-1];
 763   /* A paranoid calculation of (1<<64)-1. */
 764   limit = (ULONGEST)0xffffffff;
 765   limit = ((limit << 16) << 16) | limit;
 766   if (c == 'l' || c == 'L')
 767     {
 768       type = parse_java_type->builtin_long;
 769       len--;
 770     }
 771   else
 772     {
 773       type = parse_java_type->builtin_int;
 774     }
 775   limit_div_base = limit / (ULONGEST) base;
 776
 777   while (--len >= 0)
 778     {
 779       c = *p++;
 780       if (c >= '0' && c <= '9')
 781         c -= '0';
 782       else if (c >= 'A' && c <= 'Z')
 783         c -= 'A' - 10;
 784       else if (c >= 'a' && c <= 'z')
 785         c -= 'a' - 10;
 786       else
 787         return ERROR;   /* Char not a digit */
 788       if (c >= base)
 789         return ERROR;
 790       if (n > limit_div_base
 791           || (n *= base) > limit - c)
 792         error (_("Numeric constant too large"));
 793       n += c;
 794         }
 795
 796   /* If the type is bigger than a 32-bit signed integer can be, implicitly
 797      promote to long.  Java does not do this, so mark it as
 798      parse_type->builtin_uint64 rather than parse_java_type->builtin_long.
 799      0x80000000 will become -0x80000000 instead of 0x80000000L, because we
 800      don't know the sign at this point.  */
 801   if (type == parse_java_type->builtin_int && n > (ULONGEST)0x80000000)
 802     type = parse_type->builtin_uint64;
 803
 804   putithere->typed_val_int.val = n;
 805   putithere->typed_val_int.type = type;
 806
 807   return INTEGER_LITERAL;
 808 }
 809
 810 struct token
 811 {
 812   char *operator;
 813   int token;
 814   enum exp_opcode opcode;
 815 };
 816
 817 static const struct token tokentab3[] =
 818   {
 819     {">>=", ASSIGN_MODIFY, BINOP_RSH},
 820     {"<<=", ASSIGN_MODIFY, BINOP_LSH}
 821   };
 822
 823 static const struct token tokentab2[] =
 824   {
 825     {"+=", ASSIGN_MODIFY, BINOP_ADD},
 826     {"-=", ASSIGN_MODIFY, BINOP_SUB},
 827     {"*=", ASSIGN_MODIFY, BINOP_MUL},
 828     {"/=", ASSIGN_MODIFY, BINOP_DIV},
 829     {"%=", ASSIGN_MODIFY, BINOP_REM},
 830     {"|=", ASSIGN_MODIFY, BINOP_BITWISE_IOR},
 831     {"&=", ASSIGN_MODIFY, BINOP_BITWISE_AND},
 832     {"^=", ASSIGN_MODIFY, BINOP_BITWISE_XOR},
 833     {"++", INCREMENT, BINOP_END},
 834     {"--", DECREMENT, BINOP_END},
 835     {"&&", ANDAND, BINOP_END},
 836     {"||", OROR, BINOP_END},
 837     {"<<", LSH, BINOP_END},
 838     {">>", RSH, BINOP_END},
 839     {"==", EQUAL, BINOP_END},
 840     {"!=", NOTEQUAL, BINOP_END},
 841     {"<=", LEQ, BINOP_END},
 842     {">=", GEQ, BINOP_END}
 843   };
 844
 845 /* Read one token, getting characters through lexptr.  */
 846
 847 static int
 848 yylex (void)
 849 {
 850   int c;
 851   int namelen;
 852   unsigned int i;
 853   char *tokstart;
 854   char *tokptr;
 855   int tempbufindex;
 856   static char *tempbuf;
 857   static int tempbufsize;
 858
 859  retry:
 860
 861   prev_lexptr = lexptr;
 862
 863   tokstart = lexptr;
 864   /* See if it is a special token of length 3.  */
 865   for (i = 0; i < sizeof tokentab3 / sizeof tokentab3[0]; i++)
 866     if (strncmp (tokstart, tokentab3[i].operator, 3) == 0)
 867       {
 868         lexptr += 3;
 869         yylval.opcode = tokentab3[i].opcode;
 870         return tokentab3[i].token;
 871       }
 872
 873   /* See if it is a special token of length 2.  */
 874   for (i = 0; i < sizeof tokentab2 / sizeof tokentab2[0]; i++)
 875     if (strncmp (tokstart, tokentab2[i].operator, 2) == 0)
 876       {
 877         lexptr += 2;
 878         yylval.opcode = tokentab2[i].opcode;
 879         return tokentab2[i].token;
 880       }
 881
 882   switch (c = *tokstart)
 883     {
 884     case 0:
 885       return 0;
 886
 887     case ' ':
 888     case '\t':
 889     case '\n':
 890       lexptr++;
 891       goto retry;
 892
 893     case '\'':
 894       /* We either have a character constant ('0' or '\177' for example)
 895          or we have a quoted symbol reference ('foo(int,int)' in C++
 896          for example). */
 897       lexptr++;
 898       c = *lexptr++;
 899       if (c == '\\')
 900         c = parse_escape (parse_gdbarch, &lexptr);
 901       else if (c == '\'')
 902         error (_("Empty character constant"));
 903
 904       yylval.typed_val_int.val = c;
 905       yylval.typed_val_int.type = parse_java_type->builtin_char;
 906
 907       c = *lexptr++;
 908       if (c != '\'')
 909         {
 910           namelen = skip_quoted (tokstart) - tokstart;
 911           if (namelen > 2)
 912             {
 913               lexptr = tokstart + namelen;
 914               if (lexptr[-1] != '\'')
 915                 error (_("Unmatched single quote"));
 916               namelen -= 2;
 917               tokstart++;
 918               goto tryname;
 919             }
 920           error (_("Invalid character constant"));
 921         }
 922       return INTEGER_LITERAL;
 923
 924     case '(':
 925       paren_depth++;
 926       lexptr++;
 927       return c;
 928
 929     case ')':
 930       if (paren_depth == 0)
 931         return 0;
 932       paren_depth--;
 933       lexptr++;
 934       return c;
 935
 936     case ',':
 937       if (comma_terminates && paren_depth == 0)
 938         return 0;
 939       lexptr++;
 940       return c;
 941
 942     case '.':
 943       /* Might be a floating point number.  */
 944       if (lexptr[1] < '0' || lexptr[1] > '9')
 945         goto symbol;            /* Nope, must be a symbol. */
 946       /* FALL THRU into number case.  */
 947
 948     case '0':
 949     case '1':
 950     case '2':
 951     case '3':
 952     case '4':
 953     case '5':
 954     case '6':
 955     case '7':
 956     case '8':
 957     case '9':
 958       {
 959         /* It's a number.  */
 960         int got_dot = 0, got_e = 0, toktype;
 961         char *p = tokstart;
 962         int hex = input_radix > 10;
 963
 964         if (c == '0' && (p[1] == 'x' || p[1] == 'X'))
 965           {
 966             p += 2;
 967             hex = 1;
 968           }
 969         else if (c == '0' && (p[1]=='t' || p[1]=='T' || p[1]=='d' || p[1]=='D'))
 970           {
 971             p += 2;
 972             hex = 0;
 973           }
 974
 975         for (;; ++p)
 976           {
 977             /* This test includes !hex because 'e' is a valid hex digit
 978                and thus does not indicate a floating point number when
 979                the radix is hex.  */
 980             if (!hex && !got_e && (*p == 'e' || *p == 'E'))
 981               got_dot = got_e = 1;
 982             /* This test does not include !hex, because a '.' always indicates
 983                a decimal floating point number regardless of the radix.  */
 984             else if (!got_dot && *p == '.')
 985               got_dot = 1;
 986             else if (got_e && (p[-1] == 'e' || p[-1] == 'E')
 987                      && (*p == '-' || *p == '+'))
 988               /* This is the sign of the exponent, not the end of the
 989                  number.  */
 990               continue;
 991             /* We will take any letters or digits.  parse_number will
 992                complain if past the radix, or if L or U are not final.  */
 993             else if ((*p < '0' || *p > '9')
 994                      && ((*p < 'a' || *p > 'z')
 995                                   && (*p < 'A' || *p > 'Z')))
 996               break;
 997           }
 998         toktype = parse_number (tokstart, p - tokstart, got_dot|got_e, &yylval);
 999         if (toktype == ERROR)
1000           {
1001             char *err_copy = (char *) alloca (p - tokstart + 1);
1002
1003             memcpy (err_copy, tokstart, p - tokstart);
1004             err_copy[p - tokstart] = 0;
1005             error (_("Invalid number \"%s\""), err_copy);
1006           }
1007         lexptr = p;
1008         return toktype;
1009       }
1010
1011     case '+':
1012     case '-':
1013     case '*':
1014     case '/':
1015     case '%':
1016     case '|':
1017     case '&':
1018     case '^':
1019     case '~':
1020     case '!':
1021     case '<':
1022     case '>':
1023     case '[':
1024     case ']':
1025     case '?':
1026     case ':':
1027     case '=':
1028     case '{':
1029     case '}':
1030     symbol:
1031       lexptr++;
1032       return c;
1033
1034     case '"':
1035
1036       /* Build the gdb internal form of the input string in tempbuf,
1037          translating any standard C escape forms seen.  Note that the
1038          buffer is null byte terminated *only* for the convenience of
1039          debugging gdb itself and printing the buffer contents when
1040          the buffer contains no embedded nulls.  Gdb does not depend
1041          upon the buffer being null byte terminated, it uses the length
1042          string instead.  This allows gdb to handle C strings (as well
1043          as strings in other languages) with embedded null bytes */
1044
1045       tokptr = ++tokstart;
1046       tempbufindex = 0;
1047
1048       do {
1049         /* Grow the static temp buffer if necessary, including allocating
1050            the first one on demand. */
1051         if (tempbufindex + 1 >= tempbufsize)
1052           {
1053             tempbuf = (char *) realloc (tempbuf, tempbufsize += 64);
1054           }
1055         switch (*tokptr)
1056           {
1057           case '\0':
1058           case '"':
1059             /* Do nothing, loop will terminate. */
1060             break;
1061           case '\\':
1062             tokptr++;
1063             c = parse_escape (parse_gdbarch, &tokptr);
1064             if (c == -1)
1065               {
1066                 continue;
1067               }
1068             tempbuf[tempbufindex++] = c;
1069             break;
1070           default:
1071             tempbuf[tempbufindex++] = *tokptr++;
1072             break;
1073           }
1074       } while ((*tokptr != '"') && (*tokptr != '\0'));
1075       if (*tokptr++ != '"')
1076         {
1077           error (_("Unterminated string in expression"));
1078         }
1079       tempbuf[tempbufindex] = '\0';     /* See note above */
1080       yylval.sval.ptr = tempbuf;
1081       yylval.sval.length = tempbufindex;
1082       lexptr = tokptr;
1083       return (STRING_LITERAL);
1084     }
1085
1086   if (!(c == '_' || c == '$'
1087         || (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z')))
1088     /* We must have come across a bad character (e.g. ';').  */
1089     error (_("Invalid character '%c' in expression"), c);
1090
1091   /* It's a name.  See how long it is.  */
1092   namelen = 0;
1093   for (c = tokstart[namelen];
1094        (c == '_'
1095         || c == '$'
1096         || (c >= '0' && c <= '9')
1097         || (c >= 'a' && c <= 'z')
1098         || (c >= 'A' && c <= 'Z')
1099         || c == '<');
1100        )
1101     {
1102       if (c == '<')
1103         {
1104           int i = namelen;
1105           while (tokstart[++i] && tokstart[i] != '>');
1106           if (tokstart[i] == '>')
1107             namelen = i;
1108         }
1109        c = tokstart[++namelen];
1110      }
1111
1112   /* The token "if" terminates the expression and is NOT
1113      removed from the input stream.  */
1114   if (namelen == 2 && tokstart[0] == 'i' && tokstart[1] == 'f')
1115     {
1116       return 0;
1117     }
1118
1119   lexptr += namelen;
1120
1121   tryname:
1122
1123   /* Catch specific keywords.  Should be done with a data structure.  */
1124   switch (namelen)
1125     {
1126     case 7:
1127       if (strncmp (tokstart, "boolean", 7) == 0)
1128         return BOOLEAN;
1129       break;
1130     case 6:
1131       if (strncmp (tokstart, "double", 6) == 0)
1132         return DOUBLE;
1133       break;
1134     case 5:
1135       if (strncmp (tokstart, "short", 5) == 0)
1136         return SHORT;
1137       if (strncmp (tokstart, "false", 5) == 0)
1138         {
1139           yylval.lval = 0;
1140           return BOOLEAN_LITERAL;
1141         }
1142       if (strncmp (tokstart, "super", 5) == 0)
1143         return SUPER;
1144       if (strncmp (tokstart, "float", 5) == 0)
1145         return FLOAT;
1146       break;
1147     case 4:
1148       if (strncmp (tokstart, "long", 4) == 0)
1149         return LONG;
1150       if (strncmp (tokstart, "byte", 4) == 0)
1151         return BYTE;
1152       if (strncmp (tokstart, "char", 4) == 0)
1153         return CHAR;
1154       if (strncmp (tokstart, "true", 4) == 0)
1155         {
1156           yylval.lval = 1;
1157           return BOOLEAN_LITERAL;
1158         }
1159       break;
1160     case 3:
1161       if (strncmp (tokstart, "int", 3) == 0)
1162         return INT;
1163       if (strncmp (tokstart, "new", 3) == 0)
1164         return NEW;
1165       break;
1166     default:
1167       break;
1168     }
1169
1170   yylval.sval.ptr = tokstart;
1171   yylval.sval.length = namelen;
1172
1173   if (*tokstart == '$')
1174     {
1175       write_dollar_variable (yylval.sval);
1176       return VARIABLE;
1177     }
1178
1179   /* Input names that aren't symbols but ARE valid hex numbers,
1180      when the input radix permits them, can be names or numbers
1181      depending on the parse.  Note we support radixes > 16 here.  */
1182   if (((tokstart[0] >= 'a' && tokstart[0] < 'a' + input_radix - 10) ||
1183        (tokstart[0] >= 'A' && tokstart[0] < 'A' + input_radix - 10)))
1184     {
1185       YYSTYPE newlval;  /* Its value is ignored.  */
1186       int hextype = parse_number (tokstart, namelen, 0, &newlval);
1187       if (hextype == INTEGER_LITERAL)
1188         return NAME_OR_INT;
1189     }
1190   return IDENTIFIER;
1191 }
1192
1193 void
1194 yyerror (char *msg)
1195 {
1196   if (prev_lexptr)
1197     lexptr = prev_lexptr;
1198
1199   if (msg)
1200     error (_("%s: near `%s'"), msg, lexptr);
1201   else
1202     error (_("error in expression, near `%s'"), lexptr);
1203 }
1204
1205 static struct type *
1206 java_type_from_name (struct stoken name)
1207 {
1208   char *tmp = copy_name (name);
1209   struct type *typ = java_lookup_class (tmp);
1210   if (typ == NULL || TYPE_CODE (typ) != TYPE_CODE_STRUCT)
1211     error (_("No class named `%s'"), tmp);
1212   return typ;
1213 }
1214
1215 /* If NAME is a valid variable name in this scope, push it and return 1.
1216    Otherwise, return 0. */
1217
1218 static int
1219 push_variable (struct stoken name)
1220 {
1221   char *tmp = copy_name (name);
1222   int is_a_field_of_this = 0;
1223   struct symbol *sym;
1224   sym = lookup_symbol (tmp, expression_context_block, VAR_DOMAIN,
1225                        &is_a_field_of_this);
1226   if (sym && SYMBOL_CLASS (sym) != LOC_TYPEDEF)
1227     {
1228       if (symbol_read_needs_frame (sym))
1229         {
1230           if (innermost_block == 0 ||
1231               contained_in (block_found, innermost_block))
1232             innermost_block = block_found;
1233         }
1234
1235       write_exp_elt_opcode (OP_VAR_VALUE);
1236       /* We want to use the selected frame, not another more inner frame
1237          which happens to be in the same block.  */
1238       write_exp_elt_block (NULL);
1239       write_exp_elt_sym (sym);
1240       write_exp_elt_opcode (OP_VAR_VALUE);
1241       return 1;
1242     }
1243   if (is_a_field_of_this)
1244     {
1245       /* it hangs off of `this'.  Must not inadvertently convert from a
1246          method call to data ref.  */
1247       if (innermost_block == 0 ||
1248           contained_in (block_found, innermost_block))
1249         innermost_block = block_found;
1250       write_exp_elt_opcode (OP_THIS);
1251       write_exp_elt_opcode (OP_THIS);
1252       write_exp_elt_opcode (STRUCTOP_PTR);
1253       write_exp_string (name);
1254       write_exp_elt_opcode (STRUCTOP_PTR);
1255       return 1;
1256     }
1257   return 0;
1258 }
1259
1260 /* Assuming a reference expression has been pushed, emit the
1261    STRUCTOP_PTR ops to access the field named NAME.  If NAME is a
1262    qualified name (has '.'), generate a field access for each part. */
1263
1264 static void
1265 push_fieldnames (struct stoken name)
1266 {
1267   int i;
1268   struct stoken token;
1269   token.ptr = name.ptr;
1270   for (i = 0;  ;  i++)
1271     {
1272       if (i == name.length || name.ptr[i] == '.')
1273         {
1274           /* token.ptr is start of current field name. */
1275           token.length = &name.ptr[i] - token.ptr;
1276           write_exp_elt_opcode (STRUCTOP_PTR);
1277           write_exp_string (token);
1278           write_exp_elt_opcode (STRUCTOP_PTR);
1279           token.ptr += token.length + 1;
1280         }
1281       if (i >= name.length)
1282         break;
1283     }
1284 }
1285
1286 /* Helper routine for push_expression_name.
1287    Handle a qualified name, where DOT_INDEX is the index of the first '.' */
1288
1289 static void
1290 push_qualified_expression_name (struct stoken name, int dot_index)
1291 {
1292   struct stoken token;
1293   char *tmp;
1294   struct type *typ;
1295
1296   token.ptr = name.ptr;
1297   token.length = dot_index;
1298
1299   if (push_variable (token))
1300     {
1301       token.ptr = name.ptr + dot_index + 1;
1302       token.length = name.length - dot_index - 1;
1303       push_fieldnames (token);
1304       return;
1305     }
1306
1307   token.ptr = name.ptr;
1308   for (;;)
1309     {
1310       token.length = dot_index;
1311       tmp = copy_name (token);
1312       typ = java_lookup_class (tmp);
1313       if (typ != NULL)
1314         {
1315           if (dot_index == name.length)
1316             {
1317               write_exp_elt_opcode(OP_TYPE);
1318               write_exp_elt_type(typ);
1319               write_exp_elt_opcode(OP_TYPE);
1320               return;
1321             }
1322           dot_index++;  /* Skip '.' */
1323           name.ptr += dot_index;
1324           name.length -= dot_index;
1325           dot_index = 0;
1326           while (dot_index < name.length && name.ptr[dot_index] != '.')
1327             dot_index++;
1328           token.ptr = name.ptr;
1329           token.length = dot_index;
1330           write_exp_elt_opcode (OP_SCOPE);
1331           write_exp_elt_type (typ);
1332           write_exp_string (token);
1333           write_exp_elt_opcode (OP_SCOPE);
1334           if (dot_index < name.length)
1335             {
1336               dot_index++;
1337               name.ptr += dot_index;
1338               name.length -= dot_index;
1339               push_fieldnames (name);
1340             }
1341           return;
1342         }
1343       else if (dot_index >= name.length)
1344         break;
1345       dot_index++;  /* Skip '.' */
1346       while (dot_index < name.length && name.ptr[dot_index] != '.')
1347         dot_index++;
1348     }
1349   error (_("unknown type `%.*s'"), name.length, name.ptr);
1350 }
1351
1352 /* Handle Name in an expression (or LHS).
1353    Handle VAR, TYPE, TYPE.FIELD1....FIELDN and VAR.FIELD1....FIELDN. */
1354
1355 static void
1356 push_expression_name (struct stoken name)
1357 {
1358   char *tmp;
1359   struct type *typ;
1360   int i;
1361
1362   for (i = 0;  i < name.length;  i++)
1363     {
1364       if (name.ptr[i] == '.')
1365         {
1366           /* It's a Qualified Expression Name. */
1367           push_qualified_expression_name (name, i);
1368           return;
1369         }
1370     }
1371
1372   /* It's a Simple Expression Name. */
1373
1374   if (push_variable (name))
1375     return;
1376   tmp = copy_name (name);
1377   typ = java_lookup_class (tmp);
1378   if (typ != NULL)
1379     {
1380       write_exp_elt_opcode(OP_TYPE);
1381       write_exp_elt_type(typ);
1382       write_exp_elt_opcode(OP_TYPE);
1383     }
1384   else
1385     {
1386       struct minimal_symbol *msymbol;
1387
1388       msymbol = lookup_minimal_symbol (tmp, NULL, NULL);
1389       if (msymbol != NULL)
1390         write_exp_msymbol (msymbol);
1391       else if (!have_full_symbols () && !have_partial_symbols ())
1392         error (_("No symbol table is loaded.  Use the \"file\" command"));
1393       else
1394         error (_("No symbol \"%s\" in current context"), tmp);
1395     }
1396
1397 }
1398
1399
1400 /* The following two routines, copy_exp and insert_exp, aren't specific to
1401    Java, so they could go in parse.c, but their only purpose is to support
1402    the parsing kludges we use in this file, so maybe it's best to isolate
1403    them here.  */
1404
1405 /* Copy the expression whose last element is at index ENDPOS - 1 in EXPR
1406    into a freshly malloc'ed struct expression.  Its language_defn is set
1407    to null.  */
1408 static struct expression *
1409 copy_exp (struct expression *expr, int endpos)
1410 {
1411   int len = length_of_subexp (expr, endpos);
1412   struct expression *new
1413     = (struct expression *) malloc (sizeof (*new) + EXP_ELEM_TO_BYTES (len));
1414   new->nelts = len;
1415   memcpy (new->elts, expr->elts + endpos - len, EXP_ELEM_TO_BYTES (len));
1416   new->language_defn = 0;
1417
1418   return new;
1419 }
1420
1421 /* Insert the expression NEW into the current expression (expout) at POS.  */
1422 static void
1423 insert_exp (int pos, struct expression *new)
1424 {
1425   int newlen = new->nelts;
1426
1427   /* Grow expout if necessary.  In this function's only use at present,
1428      this should never be necessary.  */
1429   if (expout_ptr + newlen > expout_size)
1430     {
1431       expout_size = max (expout_size * 2, expout_ptr + newlen + 10);
1432       expout = (struct expression *)
1433         realloc ((char *) expout, (sizeof (struct expression)
1434                                     + EXP_ELEM_TO_BYTES (expout_size)));
1435     }
1436
1437   {
1438     int i;
1439
1440     for (i = expout_ptr - 1; i >= pos; i--)
1441       expout->elts[i + newlen] = expout->elts[i];
1442   }
1443
1444   memcpy (expout->elts + pos, new->elts, EXP_ELEM_TO_BYTES (newlen));
1445   expout_ptr += newlen;
1446 }