gcc/java/java-tree.h

   1 /* Definitions for parsing and type checking for the GNU compiler for
   2    the Java(TM) language.
   3    Copyright (C) 1997, 1998, 1999 Free Software Foundation, Inc.
   4
   5 This file is part of GNU CC.
   6
   7 GNU CC 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 2, or (at your option)
  10 any later version.
  11
  12 GNU CC 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 GNU CC; see the file COPYING.  If not, write to
  19 the Free Software Foundation, 59 Temple Place - Suite 330,
  20 Boston, MA 02111-1307, USA.
  21
  22 Java and all Java-based marks are trademarks or registered trademarks
  23 of Sun Microsystems, Inc. in the United States and other countries.
  24 The Free Software Foundation is independent of Sun Microsystems, Inc.  */
  25
  26 /* Hacked by Per Bothner <bothner@cygnus.com> February 1996. */
  27
  28 /* Java language-specific tree codes.  */
  29 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
  30 enum java_tree_code {
  31   __DUMMY = LAST_AND_UNUSED_TREE_CODE,
  32 #include "java-tree.def"
  33   LAST_JAVA_TREE_CODE
  34 };
  35 #undef DEFTREECODE
  36
  37 struct JCF;
  38
  39 /* Usage of TREE_LANG_FLAG_?:
  40    0: IS_A_SINGLE_IMPORT_CLASSFILE_NAME_P (in IDENTIFIER_NODE)
  41       RESOLVE_EXPRESSION_NAME_P (in EXPR_WITH_FILE_LOCATION)
  42       IS_FOR_LOOP_P (in LOOP_EXPR)
  43    1: CLASS_HAS_SUPER_FLAG (in TREE_VEC).
  44       IS_A_CLASSFILE_NAME (in IDENTIFIER_NODE)
  45       COMPOUND_ASSIGN_P (in EXPR (binop_*))
  46    2: RETURN_MAP_ADJUSTED (in TREE_VEC).
  47       QUALIFIED_P (in IDENTIFIER_NODE)
  48       PRIMARY_P (in EXPR_WITH_FILE_LOCATION)
  49       MODIFY_EXPR_FROM_INITIALIZATION_P (in MODIFY_EXPR)
  50    3: IS_AN_IMPORT_ON_DEMAND_P (in IDENTIFIER_NODE)
  51       RESOLVE_PACKAGE_NAME_P (in EXPR_WITH_FILE_LOCATION)
  52       SWITCH_HAS_DEFAULT (in SWITCH_EXPR)
  53    4: IS_A_COMMAND_LINE_FILENAME_P (in IDENTIFIER_NODE)
  54       RESOLVE_TYPE_NAME_P (in EXPR_WITH_FILE_LOCATION)
  55       CALL_USING_SUPER (in CALL_EXPR)
  56    5: HAS_BEEN_ALREADY_PARSED_P (in IDENTIFIER_NODE)
  57       IS_BREAK_STMT_P (in EXPR_WITH_FILE_LOCATION)
  58       IS_CRAFTED_STRING_BUFFER_P (in CALL_EXPR)
  59    6: CAN_COMPLETE_NORMALLY (in statement nodes).
  60
  61    Usage of TYPE_LANG_FLAG_?:
  62    1: TYPE_ARRAY_P (in RECORD_TYPE).
  63    2: CLASS_LOADED_P (in RECORD_TYPE).
  64    3: CLASS_FROM_SOURCE_P (in RECORD_TYPE).
  65    4: CLASS_P (in RECORD_TYPE).
  66    5: CLASS_FROM_CURRENTLY_COMPILED_SOURCE_P (in RECORD_TYPE)
  67    6: CLASS_HAS_FINIT_P (in RECORD_TYPE)
  68
  69    Usage of DECL_LANG_FLAG_?:
  70    0: METHOD_DEPRECATED (in FUNCTION_DECL).
  71       FIELD_DEPRECATED (in FIELD_DECL).
  72       CLASS_DEPRECATED (in TYPE_DECL).
  73    1: METHOD_PUBLIC (in FUNCTION_DECL).
  74       FIELD_PUBLIC (in FIELD_DECL).
  75       CLASS_PUBLIC (in TYPE_DECL).
  76    2: METHOD_STATIC (in FUNCTION_DECL).
  77       (But note that FIELD_STATIC uses TREE_STATIC!)
  78       CLASS_COMPLETE_P (in TYPE_DECL)
  79    3: METHOD_FINAL (in FUNCTION_DECL)
  80       FIELD_FINAL (in FIELD_DECL)
  81       CLASS_FINAL (in TYPE_DECL)
  82    4: METHOD_SYNCHRONIZED (in FUNCTION_DECL).
  83       LABEL_IN_SUBR (in LABEL_DECL)
  84       CLASS_INTERFACE (in TYPE_DECL)
  85       FIELD_VOLATILE (int FIELD_DECL)
  86    5: METHOD_ABSTRACT (in FUNCTION_DECL).
  87       LABEL_IS_SUBR_START (in LABEL_DECL)
  88       CLASS_ABSTRACT (in TYPE_DECL)
  89       FIELD_TRANSIENT (in FIELD_DECL)
  90    6: METHOD_TRANSIENT (in FUNCTION_DECL)
  91       LABEL_CHANGED (in LABEL_DECL)
  92       CLASS_SUPER (in TYPE_DECL, ACC_SUPER flag)
  93    7: DECL_CONSTRUCTOR_P (in FUNCTION_DECL).
  94 */
  95
  96 /* True if the class whose TYPE_BINFO this is has a superclass.
  97    (True of all classes except Object.) */
  98 #define CLASS_HAS_SUPER_FLAG(BINFO) TREE_LANG_FLAG_1(BINFO)
  99 #define CLASS_HAS_SUPER(TYPE) CLASS_HAS_SUPER_FLAG (TYPE_BINFO (TYPE))
 100
 101 /* Return the supertype of class TYPE, or NULL_TREE is it has none. */
 102 #define CLASSTYPE_SUPER(TYPE) (CLASS_HAS_SUPER (TYPE) ? \
 103   BINFO_TYPE (TREE_VEC_ELT (TYPE_BINFO_BASETYPES (TYPE), 0)) : NULL_TREE)
 104
 105 /* True if the class we are compiling is a .java source file;
 106    false if it is a .class bytecode file. */
 107 extern int compiling_from_source;
 108
 109 /* The class defined by the actual (main) file we are compiling. */
 110 extern tree main_class;
 111
 112 /* The class we are currently processing. */
 113 extern tree current_class;
 114
 115 /* List of all class DECLs seen so far.  */
 116 extern tree all_class_list;
 117
 118 /* Nonzero if we want to automatically do array bounds checking;
 119    on by default.  Use -fno-bounds-check to disable.  */
 120
 121 extern int flag_bounds_check;
 122
 123 /* Nonzero if we should make is_compiled_class always return 1 for
 124    appropriate classes that we're referencing.  */
 125
 126 extern int flag_assume_compiled;
 127
 128 extern int flag_emit_class_files;
 129
 130 /* When non zero, we emit xref strings. Values of the flag for xref
 131    backends are defined in xref.h.  */
 132
 133 extern int flag_emit_xref;
 134
 135 /* When doing xrefs, tell when not to fold.   */
 136 extern int do_not_fold;
 137
 138 /* Turned to 1 if -Wall was encountered. See lang.c for their meanings.  */
 139 extern int flag_wall;
 140 extern int flag_redundant;
 141 extern int flag_not_overriding;
 142 extern int flag_static_local_jdk1_1;
 143
 144 /* When non zero, call a library routine to do integer divisions. */
 145 extern int flag_use_divide_subroutine;
 146
 147 /* The Java .class file that provides main_class;  the main input file. */
 148 extern struct JCF *current_jcf;
 149
 150 typedef struct CPool constant_pool;
 151
 152 #define CONSTANT_ResolvedFlag 16
 153
 154 /* The cpool->data[i] for a ResolvedString points to a STRING_CST. */
 155 #define CONSTANT_ResolvedString    (CONSTANT_String+CONSTANT_ResolvedFlag)
 156
 157 /* The cpool->data[i] for a ResolvedClass points to a RECORD_TYPE. */
 158 #define CONSTANT_ResolvedClass     (CONSTANT_Class+CONSTANT_ResolvedFlag)
 159
 160 #define CPOOL_UTF(CPOOL, INDEX) ((tree) (CPOOL)->data[INDEX])
 161
 162 /* A NameAndType constant is represented as a TREE_LIST.
 163    The type is the signature string (as an IDENTIFIER_NODE).  */
 164
 165 #define NAME_AND_TYPE_NAME(CPOOL, IDX) \
 166   CPOOL_UTF(CPOOL, CPOOL_USHORT1(CPOOL, IDX))
 167 #define NAME_AND_TYPE_SIGNATURE(CPOOL, IDX) \
 168   CPOOL_UTF(CPOOL, CPOOL_USHORT2(CPOOL, IDX))
 169
 170 /* A FieldRef, MethodRef or InterfaceMethodRef constant
 171    is represented as a TREE_LIST. */
 172
 173 #define COMPONENT_REF_CLASS_INDEX(CPOOL, IDX) CPOOL_USHORT1(CPOOL, IDX)
 174 #define COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX) CPOOL_USHORT2(CPOOL, IDX)
 175 #define COMPONENT_REF_NAME(CPOOL, IDX) \
 176   NAME_AND_TYPE_NAME (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX))
 177 #define COMPONENT_REF_SIGNATURE(CPOOL, IDX) \
 178   NAME_AND_TYPE_SIGNATURE (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX))
 179
 180 /* "Promoted types" that are used for primitive types smaller
 181    than int.  We could use int_type_node, but then we would lose
 182    type information (such as needed for debugging). */
 183 extern tree promoted_byte_type_node;
 184 extern tree promoted_short_type_node;
 185 extern tree promoted_char_type_node;
 186 extern tree promoted_boolean_type_node;
 187
 188 extern tree byte_type_node;
 189 extern tree short_type_node;
 190 extern tree int_type_node;
 191 extern tree long_type_node;
 192
 193 extern tree unsigned_byte_type_node;
 194 extern tree unsigned_short_type_node;
 195 extern tree unsigned_int_type_node;
 196 extern tree unsigned_long_type_node;
 197
 198 extern tree boolean_type_node;
 199 extern tree char_type_node;
 200 extern tree float_type_node;
 201 extern tree double_type_node;
 202
 203 extern tree object_type_node;
 204 extern tree unqualified_object_id_node;
 205 extern tree object_ptr_type_node;
 206 extern tree string_type_node;
 207 extern tree string_ptr_type_node;
 208 extern tree throwable_type_node;
 209 extern tree runtime_exception_type_node;
 210 extern tree error_exception_type_node;
 211
 212 extern tree *predef_filenames;
 213 extern int predef_filenames_size;
 214
 215 extern tree byte_array_type_node;
 216 extern tree short_array_type_node;
 217 extern tree int_array_type_node;
 218 extern tree long_array_type_node;
 219 extern tree boolean_array_type_node;
 220 extern tree char_array_type_node;
 221 extern tree double_array_type_node;
 222 extern tree float_array_type_node;
 223 extern tree array_array_type_node;
 224 extern tree object_array_type_node;
 225 extern tree string_array_type_node;
 226 extern tree TYPE_identifier_node;      /* "TYPE" */
 227 extern tree init_identifier_node;      /* "<init>" */
 228 extern tree clinit_identifier_node;      /* "<clinit>" */
 229 extern tree finit_identifier_node;      /* "$finit$" */
 230 extern tree void_signature_node;       /* "()V" */
 231 extern tree length_identifier_node;  /* "length" */
 232 extern tree this_identifier_node;  /* "this" */
 233 extern tree super_identifier_node;  /* "super" */
 234 extern tree continue_identifier_node;  /* "continue" */
 235 extern tree one_elt_array_domain_type;
 236 extern tree void_type_node;
 237 extern tree ptr_type_node;
 238 /* The type of the return address of a subroutine. */
 239 extern tree return_address_type_node;
 240
 241 /* Nodes for boolean constants TRUE and FALSE. */
 242 extern tree boolean_true_node, boolean_false_node;
 243
 244 /* Integer constants not declared in tree.h. */
 245 extern tree long_zero_node;
 246 extern tree float_zero_node;
 247 extern tree double_zero_node;
 248 extern tree integer_negative_one_node;
 249 extern tree integer_two_node;
 250 extern tree integer_four_node;
 251 extern tree empty_stmt_node;
 252
 253 /* The type for struct methodtable. */
 254 extern tree methodtable_type;
 255 extern tree methodtable_ptr_type;
 256
 257 extern tree utf8const_type;
 258 extern tree utf8const_ptr_type;
 259
 260 extern tree class_type_node;
 261 extern tree class_ptr_type;
 262 extern tree field_type_node;
 263 extern tree constants_type_node;
 264 extern tree dtable_type, dtable_ptr_type;
 265 extern tree field_ptr_type_node;
 266 extern tree field_info_union_node;
 267 extern tree method_type_node;
 268 extern tree method_ptr_type_node;
 269 #define nativecode_ptr_type_node ptr_type_node
 270
 271 extern tree end_params_node;
 272
 273 /* References to internal libjava functions we use. */
 274 extern tree alloc_object_node;
 275 extern tree soft_instanceof_node;
 276 extern tree soft_checkcast_node;
 277 extern tree soft_initclass_node;
 278 extern tree soft_newarray_node;
 279 extern tree soft_anewarray_node;
 280 extern tree soft_multianewarray_node;
 281 extern tree soft_badarrayindex_node;
 282 extern tree throw_node;
 283 extern tree soft_checkarraystore_node;
 284 extern tree soft_monitorenter_node;
 285 extern tree soft_monitorexit_node;
 286 extern tree soft_lookupinterfacemethod_node;
 287 extern tree soft_fmod_node;
 288 extern tree soft_exceptioninfo_call_node;
 289 extern tree soft_idiv_node;
 290 extern tree soft_irem_node;
 291 extern tree soft_ldiv_node;
 292 extern tree soft_lrem_node;
 293
 294 extern tree access_flags_type_node;
 295
 296 extern tree class_dtable_decl;
 297
 298 /* They need to be reset before processing each class */
 299 extern struct CPool *outgoing_cpool;
 300 extern tree current_constant_pool_data_ref;
 301
 302 extern tree wfl_operator;
 303
 304 struct lang_identifier
 305 {
 306   struct tree_identifier ignore;
 307   tree global_value, local_value;
 308
 309   /* If non-NULL:  An ADDR_REF to a VAR_DECL that contains
 310    * the Utf8Const representation of the identifier.  */
 311   tree utf8_ref;
 312 };
 313
 314 /* Macros for access to language-specific slots in an identifier.  */
 315 /* UNless specifide, each of these slots contains a DECL node or null.  */
 316
 317 /* This represents the value which the identifier has in the
 318    file-scope namespace.  */
 319 #define IDENTIFIER_GLOBAL_VALUE(NODE)   \
 320   (((struct lang_identifier *)(NODE))->global_value)
 321 /* This represents the value which the identifier has in the current
 322    scope.  */
 323 #define IDENTIFIER_LOCAL_VALUE(NODE)    \
 324   (((struct lang_identifier *)(NODE))->local_value)
 325
 326 /* Given an identifier NODE, get the corresponding (non-handle) class.
 327    For get_identifier ("java.lang.Number"), the result is
 328    the struct whose DECL_ASSEMBLER_NAME is "Classjava_lang_Number". */
 329 #define IDENTIFIER_CLASS_VALUE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE)
 330
 331 /* Given an identifier NODE, get the corresponding handle class.
 332    For get_identifier ("java.lang.Number"), the result is
 333    the struct whose DECL_ASSEMBLER_NAME is "Hjava_lang_Number". */
 334 #define IDENTIFIER_HANDLECLASS_VALUE(NODE) ???
 335
 336 /* Given a signature of a reference (or array) type, or a method, return the
 337    corresponding type (if one has been allocated).
 338    Do not use for primitive types, since they may be ambiguous.
 339    (E.g. is "I" a signature or a class name?) */
 340 #define IDENTIFIER_SIGNATURE_TYPE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE)
 341
 342 /* If non-NULL:  An ADDR_REF to a VAR_DECL that contains
 343    the Utf8Const representation of the identifier.  */
 344 #define IDENTIFIER_UTF8_REF(NODE) \
 345   (((struct lang_identifier *)(NODE))->utf8_ref)
 346
 347 #define IDENTIFIER_UTF8_DECL(NODE) \
 348   TREE_OPERAND((((struct lang_identifier *)(NODE))->utf8_ref), 0)
 349
 350 /* For a FUNCTION_DECL, if we are compiling a .class file, then this is
 351    the position in the .class file of the method code.
 352    Specifically, this is the code itself, not the code attribute. */
 353 #define DECL_CODE_OFFSET(DECL) (DECL_LANG_SPECIFIC(DECL)->code_offset)
 354 /* Similarly, the length of the bytecode. */
 355 #define DECL_CODE_LENGTH(DECL) (DECL_LANG_SPECIFIC(DECL)->code_length)
 356 /* Similarly, the position of the LineNumberTable attribute. */
 357 #define DECL_LINENUMBERS_OFFSET(DECL) \
 358   (DECL_LANG_SPECIFIC(DECL)->linenumbers_offset)
 359 /* Similarly, the position of the LocalVariableTable attribute
 360    (following the standard attribute header). */
 361 #define DECL_LOCALVARIABLES_OFFSET(DECL) \
 362   (DECL_LANG_SPECIFIC(DECL)->localvariables_offset)
 363
 364 #define DECL_MAX_LOCALS(DECL) (DECL_LANG_SPECIFIC(DECL)->max_locals)
 365 #define DECL_MAX_STACK(DECL) (DECL_LANG_SPECIFIC(DECL)->max_stack)
 366 /* Number of local variable slots needed for the arguments of this function. */
 367 #define DECL_ARG_SLOT_COUNT(DECL) (DECL_LANG_SPECIFIC(DECL)->arg_slot_count)
 368 /* List of checked thrown exceptions, as specified with the `throws'
 369    keyword */
 370 #define DECL_FUNCTION_THROWS(DECL) (DECL_LANG_SPECIFIC(DECL)->throws_list)
 371 /* List of other constructors of the same class that this constructor
 372    calls */
 373 #define DECL_CONSTRUCTOR_CALLS(DECL) \
 374   (DECL_LANG_SPECIFIC(DECL)->called_constructor)
 375 /* Pointer to the function's current's COMPOUND_EXPR tree (while
 376    completing its body) or the function's block */
 377 #define DECL_FUNCTION_BODY(DECL) (DECL_LANG_SPECIFIC(DECL)->function_decl_body)
 378 /* How specific the function is (for method selection - Java source
 379    code front-end */
 380 #define DECL_SPECIFIC_COUNT(DECL) DECL_ARG_SLOT_COUNT(DECL)
 381
 382 /* In a LABEL_DECL, a TREE_VEC that saves the type_map at that point. */
 383 #define LABEL_TYPE_STATE(NODE) (DECL_INITIAL (NODE))
 384
 385 /* In the label of a subroutine, a dummy label that records the
 386    state following a merge of all the ret instructions in this subroutine. */
 387 #define LABEL_RETURN_LABEL(DECL) DECL_ARGUMENTS(DECL)
 388
 389 /* In the label of a sub-routine, records the type state at return.
 390  * A local may be TYPE_UNUSED, which means that the local is not
 391  * used (stored to or loaded from) in this subroutine - at least for
 392  * code that we have verified so far. */
 393 #define LABEL_RETURN_TYPE_STATE(NODE) LABEL_TYPE_STATE (LABEL_RETURN_LABEL (NODE))
 394
 395 /* In a TREE_VEC for a LABEL_RETURN_TYPE_STATE, notes that
 396    TREE_VEC_LENGTH has been adjust to the correct stack size. */
 397 #define RETURN_MAP_ADJUSTED(NODE) TREE_LANG_FLAG_2(NODE)
 398
 399 /* In the label of a sub-routine, a chain of the return location labels. */
 400 #define LABEL_RETURN_LABELS(node) DECL_RESULT (LABEL_RETURN_LABEL(node))
 401
 402 /* In a LABEL_DECL, the next pending label.
 403    See pending_blocks in expr.c. */
 404 #define LABEL_PENDING_CHAIN(NODE) DECL_RESULT(NODE)
 405
 406 /* In a LABEL_DECL, the corresponding bytecode program counter. */
 407 #define LABEL_PC(NODE) ((NODE)->decl.saved_insns.i)
 408
 409 /* Used during verification to mark the label has "changed". (See JVM Spec). */
 410 #define LABEL_CHANGED(NODE) DECL_LANG_FLAG_6(NODE)
 411
 412 /* In a LABEL_DECL, true if we have verified instructions starting here. */
 413 #define LABEL_VERIFIED(NODE) (instruction_bits[LABEL_PC(NODE)]&BCODE_VERIFIED)
 414
 415 /* True if this code is within a subroutine (target of a jsr). */
 416 #define LABEL_IN_SUBR(NODE) DECL_LANG_FLAG_4(NODE)
 417 /* True if this code is the start of a subroutine (target of a jsr). */
 418 #define LABEL_IS_SUBR_START(NODE) DECL_LANG_FLAG_5(NODE)
 419
 420 /* In a LABEL_DECL, if LABEL_IN_SUBR(NODE), points to start of subroutine. */
 421 #define LABEL_SUBR_START(NODE) DECL_ABSTRACT_ORIGIN(NODE)
 422
 423 /* In a LABEL_DECL that has LABEL_IS_SUBR_START, this points to the start
 424    of surrounding subroutine in the case of a nested subroutine,
 425    and NULL_TREE otherwise. */
 426 #define LABEL_SUBR_CONTEXT(NODE) DECL_CONTEXT (LABEL_RETURN_LABEL (NODE))
 427
 428 /* The slot number for this local variable. */
 429 #define DECL_LOCAL_SLOT_NUMBER(NODE) \
 430   (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->slot_number)
 431 /* The start (bytecode) pc for the valid range of this local variable. */
 432 #define DECL_LOCAL_START_PC(NODE) \
 433   (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->start_pc)
 434 /* The end (bytecode) pc for the valid range of this local variable. */
 435 #define DECL_LOCAL_END_PC(NODE) \
 436   (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->end_pc)
 437 /* For a VAR_DECLor PARM_DECL, used to chain decls with the same
 438    slot_number in decl_map. */
 439 #define DECL_LOCAL_SLOT_CHAIN(NODE) \
 440   (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->slot_chain)
 441
 442 /* DECL_LANG_SPECIFIC for FUNCTION_DECLs. */
 443 struct lang_decl
 444 {
 445   /*  tree chain; not yet used. */
 446   long code_offset;
 447   int code_length;
 448   long linenumbers_offset;
 449   long localvariables_offset;
 450   int arg_slots;
 451   int max_locals, max_stack, arg_slot_count;
 452   tree throws_list;             /* Exception specified by `throws' */
 453   tree function_decl_body;      /* Hold all function's statements */
 454   tree called_constructor;      /* When decl is a constructor, the
 455                                    list of other constructor it calls. */
 456 };
 457
 458 /* DECL_LANG_SPECIFIC for VAR_DECL and PARM_DECL. */
 459 struct lang_decl_var
 460 {
 461   int slot_number;
 462   int start_pc;
 463   int end_pc;
 464   tree slot_chain;
 465 };
 466
 467 struct lang_type
 468 {
 469   tree signature;
 470   struct JCF *jcf;
 471 };
 472
 473 #ifdef JAVA_USE_HANDLES
 474 /* TYPE_BINFO_HANDLE points from a handle-class to its corresponding
 475    non-handle-class, and vice verse. */
 476
 477 #define BINFO_HANDLE(NODE) TREE_VEC_ELT ((NODE), 6)
 478
 479 /* Given a RECORD_TYPE for a handle type, return the corresponding class. */
 480 #define HANDLE_TO_CLASS_TYPE(HTYPE) BINFO_HANDLE (TYPE_BINFO (HTYPE))
 481
 482 /* Given a RECORD_TYPE for a class, return the corresponding handle type. */
 483 #define CLASS_TO_HANDLE_TYPE(TYPE) BINFO_HANDLE (TYPE_BINFO (TYPE))
 484 #else
 485 #define HANDLE_TO_CLASS_TYPE(HTYPE) (HTYPE)
 486 #define CLASS_TO_HANDLE_TYPE(TYPE) (TYPE)
 487 #endif
 488
 489 #define JCF_u4 unsigned long
 490 #define JCF_u2 unsigned short
 491
 492 extern tree lookup_class PROTO ((tree));
 493 extern tree lookup_java_constructor PROTO ((tree, tree));
 494 extern tree lookup_java_method PROTO ((tree, tree, tree));
 495 extern tree lookup_argument_method PROTO ((tree, tree, tree));
 496 extern tree promote_type PROTO ((tree));
 497 extern tree get_constant PROTO ((struct JCF*, int));
 498 extern tree get_name_constant PROTO ((struct JCF*, int));
 499 extern tree get_class_constant PROTO ((struct JCF*, int));
 500 extern tree parse_signature PROTO ((struct JCF *jcf, int sig_index));
 501 extern void jcf_parse PROTO ((struct JCF*));
 502 extern tree add_field PROTO ((tree, tree, tree, int));
 503 extern tree add_method PROTO ((tree, int, tree, tree));
 504 extern tree add_method_1 PROTO ((tree, int, tree, tree));
 505 extern tree make_class PROTO ((void));
 506 extern tree push_class PROTO ((tree, tree));
 507 extern tree unmangle_classname PROTO ((const char *name, int name_length));
 508 extern tree parse_signature_string PROTO ((const unsigned char *, int));
 509 extern tree get_type_from_signature PROTO ((tree));
 510 extern void layout_class PROTO ((tree));
 511 extern tree layout_class_method PROTO ((tree, tree, tree, tree));
 512 extern void layout_class_methods PROTO ((tree));
 513 extern tree build_class_ref PROTO ((tree));
 514 extern tree build_dtable_decl PROTO ((tree));
 515 extern tree build_internal_class_name PROTO ((tree));
 516 extern tree build_constants_constructor PROTO ((void));
 517 extern tree build_ref_from_constant_pool PROTO ((int));
 518 extern tree build_utf8_ref PROTO ((tree));
 519 extern tree ident_subst PROTO ((const char*, int,
 520                                 const char*, int, int, const char*));
 521 extern tree identifier_subst PROTO ((const tree,
 522                                      const char *, int, int, const char *));
 523 extern tree build_java_signature PROTO ((tree));
 524 extern tree build_java_argument_signature PROTO ((tree));
 525 extern void set_java_signature PROTO ((tree, tree));
 526 extern tree build_static_field_ref PROTO ((tree));
 527 extern tree build_address_of PROTO ((tree));
 528 extern tree find_local_variable PROTO ((int index, tree type, int pc));
 529 extern tree find_stack_slot PROTO ((int index, tree type));
 530 extern tree build_prim_array_type PROTO ((tree, HOST_WIDE_INT));
 531 extern tree build_java_array_type PROTO ((tree, HOST_WIDE_INT));
 532 extern int is_compiled_class PROTO ((tree));
 533 extern tree mangled_classname PROTO ((const char*, tree));
 534 extern tree lookup_label PROTO ((int));
 535 extern tree pop_type_0 PROTO ((tree));
 536 extern tree pop_type PROTO ((tree));
 537 extern void pop_argument_types PROTO ((tree));
 538 extern tree decode_newarray_type PROTO ((int));
 539 extern tree lookup_field PROTO ((tree*, tree));
 540 extern int is_array_type_p PROTO ((tree));
 541 extern HOST_WIDE_INT java_array_type_length PROTO ((tree));
 542 extern int read_class PROTO ((tree));
 543 extern void load_class PROTO ((tree, int));
 544
 545 extern tree lookup_name PROTO ((tree));
 546 extern tree build_known_method_ref PROTO ((tree, tree, tree, tree, tree));
 547 extern tree build_class_init PROTO ((tree, tree));
 548 extern tree build_invokevirtual PROTO ((tree, tree));
 549 extern tree build_invokeinterface PROTO ((tree, tree, tree));
 550 extern tree invoke_build_dtable PROTO ((int, tree));
 551 extern tree build_field_ref PROTO ((tree, tree, tree));
 552 extern void pushdecl_force_head PROTO ((tree));
 553 extern tree build_java_binop PROTO ((enum tree_code, tree, tree, tree));
 554 extern tree build_java_soft_divmod PROTO ((enum tree_code, tree, tree, tree));
 555 extern tree binary_numeric_promotion PROTO ((tree, tree, tree *, tree *));
 556 extern tree build_java_arrayaccess PROTO ((tree, tree, tree));
 557 extern tree build_newarray PROTO ((int, tree));
 558 extern tree build_anewarray PROTO ((tree, tree));
 559 extern tree build_new_array PROTO ((tree, tree));
 560 extern tree build_java_array_length_access PROTO ((tree));
 561 extern tree build_java_arraynull_check PROTO ((tree, tree, tree));
 562 extern tree create_label_decl PROTO ((tree));
 563 extern void push_labeled_block PROTO ((tree));
 564 extern tree prepare_eh_table_type PROTO ((tree));
 565 extern void java_set_exception_lang_code PROTO ((void));
 566 extern tree generate_name PROTO ((void));
 567 extern void pop_labeled_block PROTO ((void));
 568 extern char *lang_printable_name PROTO ((tree, int));
 569 extern tree maybe_add_interface PROTO ((tree, tree));
 570 extern void set_super_info PROTO ((int, tree, tree, int));
 571 extern int get_access_flags_from_decl PROTO ((tree));
 572 extern int interface_of_p PROTO ((tree, tree));
 573 extern int inherits_from_p PROTO ((tree, tree));
 574 extern void complete_start_java_method PROTO ((tree));
 575 extern tree build_result_decl PROTO ((tree));
 576 extern void emit_handlers PROTO ((void));
 577 extern void init_outgoing_cpool PROTO ((void));
 578 extern void make_class_data PROTO ((tree));
 579 extern void register_class PROTO ((void));
 580 extern int alloc_name_constant PROTO ((int, tree));
 581 extern void emit_register_classes PROTO ((void));
 582 extern void lang_init_source PROTO ((int));
 583 extern void write_classfile PROTO ((tree));
 584 extern char *print_int_node PROTO ((tree));
 585 extern void parse_error_context PVPROTO ((tree cl, const char *, ...))
 586   ATTRIBUTE_PRINTF_2;
 587 extern tree build_primtype_type_ref PROTO ((const char *));
 588 extern tree java_get_real_method_name PROTO ((tree));
 589 extern void finish_class PROTO ((tree));
 590 extern void java_layout_seen_class_methods PROTO ((void));
 591 extern void check_for_initialization PROTO ((tree));
 592
 593 extern tree pushdecl_top_level PROTO ((tree));
 594 extern int alloc_class_constant PROTO ((tree));
 595 extern int unicode_mangling_length PROTO ((const char *, int));
 596 extern void init_expr_processing PROTO ((void));
 597 extern void push_super_field PROTO ((tree, tree));
 598 extern void init_class_processing PROTO ((void));
 599 extern int can_widen_reference_to PROTO ((tree, tree));
 600 extern int class_depth PROTO ((tree));
 601 extern int verify_jvm_instructions PROTO ((struct JCF *, const unsigned char *, long));
 602 extern void maybe_pushlevels PROTO ((int));
 603 extern void maybe_poplevels PROTO ((int));
 604 extern int process_jvm_instruction PROTO ((int, const unsigned char *, long));
 605 extern void set_local_type PROTO ((int, tree));
 606 extern int merge_type_state PROTO ((tree));
 607 extern void push_type PROTO ((tree));
 608 extern void load_type_state PROTO ((tree));
 609 extern void add_interface PROTO ((tree, tree));
 610 extern void append_gpp_mangled_name PROTO ((struct obstack *, const char *, int));
 611 extern void append_gpp_mangled_classtype PROTO ((struct obstack *, const char *));
 612 extern void emit_unicode_mangled_name PROTO ((struct obstack *, const char *, int));
 613 extern tree force_evaluation_order PROTO ((tree));
 614 extern int verify_constant_pool PROTO ((struct JCF *));
 615 extern void start_java_method PROTO ((tree));
 616 extern void end_java_method PROTO ((void));
 617 extern void give_name_to_locals PROTO ((struct JCF *));
 618 extern void expand_byte_code PROTO ((struct JCF *, tree));
 619 extern int open_in_zip PROTO ((struct JCF *, const char *, const char *, int));
 620 extern void set_constant_value PROTO ((tree, tree));
 621 #ifdef jword
 622 extern int find_constant1 PROTO ((struct CPool *, int, jword));
 623 extern int find_constant2 PROTO ((struct CPool *, int, jword, jword));
 624 #endif
 625 extern int find_utf8_constant PROTO ((struct CPool *, tree));
 626 extern int find_string_constant PROTO ((struct CPool *, tree));
 627 extern int find_class_constant PROTO ((struct CPool *, tree));
 628 extern int find_fieldref_index PROTO ((struct CPool *, tree));
 629 extern int find_methodref_index PROTO ((struct CPool *, tree));
 630 extern void write_constant_pool PROTO ((struct CPool *, unsigned char *, int));
 631 extern int count_constant_pool_bytes PROTO ((struct CPool *));
 632 extern int encode_newarray_type PROTO ((tree));
 633 #ifdef uint64
 634 extern void format_int PROTO ((char *, jlong, int));
 635 extern void format_uint PROTO ((char *, uint64, int));
 636 #endif
 637 extern void jcf_trim_old_input PROTO ((struct JCF *));
 638 #ifdef BUFSIZ
 639 extern void jcf_print_utf8 PROTO ((FILE *, const unsigned char *, int));
 640 extern void jcf_print_char PROTO ((FILE *, int));
 641 extern void jcf_print_utf8_replace PROTO ((FILE *, const unsigned char *,
 642                                            int, int, int));
 643 # if JCF_USE_STDIO
 644 extern char* open_class PROTO ((char *, struct JCF *, FILE *, const char *));
 645 # else
 646 extern char* open_class PROTO ((char *, struct JCF *, int, const char *));
 647 # endif /* JCF_USE_STDIO */
 648 #endif
 649
 650 /* We use ARGS_SIZE_RTX to indicate that gcc/expr.h has been included
 651    to declare `enum expand_modifier'. */
 652 #if defined (TREE_CODE) && defined(RTX_CODE) && defined (HAVE_MACHINE_MODES) && defined (ARGS_SIZE_RTX)
 653 struct rtx_def * java_lang_expand_expr PROTO ((tree, rtx, enum machine_mode,
 654                                                enum expand_modifier));
 655 #endif /* TREE_CODE && RTX_CODE && HAVE_MACHINE_MODES && ARGS_SIZE_RTX */
 656
 657 /* Access flags etc for a method (a FUNCTION_DECL): */
 658
 659 #define METHOD_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL)
 660 #define METHOD_PRIVATE(DECL) TREE_PRIVATE (DECL)
 661 #define METHOD_PROTECTED(DECL) TREE_PROTECTED (DECL)
 662 #define METHOD_STATIC(DECL) DECL_LANG_FLAG_2 (DECL)
 663 #define METHOD_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)
 664 #define METHOD_SYNCHRONIZED(DECL) DECL_LANG_FLAG_4 (DECL)
 665 #define METHOD_NATIVE(DECL) DECL_EXTERNAL(DECL)
 666 #define METHOD_ABSTRACT(DECL) DECL_LANG_FLAG_5 (DECL)
 667 #define METHOD_TRANSIENT(DECL) DECL_LANG_FLAG_6 (DECL)
 668
 669 #define DECL_CONSTRUCTOR_P(DECL) DECL_LANG_FLAG_7(DECL)
 670
 671 /* Access flags etc for a variable/field (a FIELD_DECL): */
 672
 673 #define FIELD_PRIVATE(DECL) TREE_PRIVATE (DECL)
 674 #define FIELD_PROTECTED(DECL) TREE_PROTECTED (DECL)
 675 #define FIELD_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL)
 676 #define FIELD_STATIC(DECL) TREE_STATIC (DECL)
 677 #define FIELD_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)
 678 #define FIELD_VOLATILE(DECL) DECL_LANG_FLAG_4 (DECL)
 679 #define FIELD_TRANSIENT(DECL) DECL_LANG_FLAG_5 (DECL)
 680
 681 /* Access flags etc for a class (a TYPE_DECL): */
 682
 683 #define CLASS_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL)
 684 #define CLASS_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)
 685 #define CLASS_INTERFACE(DECL) DECL_LANG_FLAG_4 (DECL)
 686 #define CLASS_ABSTRACT(DECL) DECL_LANG_FLAG_5 (DECL)
 687 #define CLASS_SUPER(DECL) DECL_LANG_FLAG_6 (DECL)
 688
 689 /* @deprecated marker flag on methods, fields and classes */
 690
 691 #define METHOD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
 692 #define FIELD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
 693 #define CLASS_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
 694 #define DECL_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
 695
 696 /* The number of virtual methods in this class's dispatch table.
 697  Does not include initial two dummy entries (one points to the
 698  Class object, and the other is for G++ -fvtable-thunks compatibility). */
 699 #define TYPE_NVIRTUALS(TYPE) TYPE_BINFO_VIRTUALS (TYPE)
 700
 701 /* A TREE_VEC (indexed by DECL_VINDEX) containing this class's
 702    virtual methods. */
 703 #define TYPE_VTABLE(TYPE) TYPE_BINFO_VTABLE(TYPE)
 704
 705 /* Use CLASS_LOADED_P? FIXME */
 706 #define CLASS_COMPLETE_P(DECL) DECL_LANG_FLAG_2 (DECL)
 707
 708 /* This maps a bytecode offset (PC) to various flags,
 709    listed below (starting with BCODE_). */
 710 extern char *instruction_bits;
 711
 712 /* True iff the byte is the start of an instruction. */
 713 #define BCODE_INSTRUCTION_START 1
 714
 715 /* True iff there is a jump to this location. */
 716 #define BCODE_JUMP_TARGET 2
 717
 718 /* True iff there is a return to this location.
 719    (I.e. the preceedng instruction was a call.) */
 720 #define BCODE_RETURN_TARGET 4
 721
 722 /* True iff this is the start of an exception handler. */
 723 #define BCODE_EXCEPTION_TARGET 16
 724
 725 /* True iff there is a jump to this location (and it needs a label). */
 726 #define BCODE_TARGET \
 727   (BCODE_JUMP_TARGET|BCODE_RETURN_TARGET \
 728    | BCODE_EXCEPTION_TARGET)
 729
 730 /* True iff there is an entry in the linenumber table for this location. */
 731 #define BCODE_HAS_LINENUMBER 32
 732
 733 /* True iff there is more than one entry in the linenumber table for
 734    this location.  (This probably does not make much sense.)  */
 735 #define BCODE_HAS_MULTI_LINENUMBERS 64
 736
 737 /* True if this instruction has been verified. */
 738 #define BCODE_VERIFIED 8
 739
 740 /* A pointer to the line number table of the current method. */
 741 extern const unsigned char *linenumber_table;
 742 /* The length (in items) of the line number table. */
 743 extern int linenumber_count;
 744
 745 /* In type_map, means that slot is uninitialized or otherwise unusable. */
 746 #define TYPE_UNKNOWN NULL_TREE
 747
 748 /* In type_map, means the second half of a 64-bit double or long. */
 749 #define TYPE_SECOND void_type_node
 750
 751 /* In type_map, means the null type (i.e. type of a null reference). */
 752 #define TYPE_NULL ptr_type_node
 753
 754 /* In a type map means the type the address subroutine return address. */
 755 #define TYPE_RETURN_ADDR return_address_type_node
 756
 757 /* In a subroutine's return type map, indicates that the slot was neither
 758    used nor set in the subroutine. */
 759 #define TYPE_UNUSED error_mark_node
 760
 761 /* A array mapping variable/stack slot index to the type current
 762    in that variable/stack slot.
 763    TYPE_UNKNOWN, TYPE_SECOND, and TYPE_NULL are special cases. */
 764 extern tree *type_map;
 765
 766 /* Map a stack index to the type currently in that slot. */
 767 #define stack_type_map (type_map+DECL_MAX_LOCALS(current_function_decl))
 768
 769 /* True iff TYPE takes two variable/stack slots. */
 770 #define TYPE_IS_WIDE(TYPE) \
 771   ((TYPE) == double_type_node || (TYPE) == long_type_node)
 772
 773 /* True iff TYPE is a Java array type. */
 774 #define TYPE_ARRAY_P(TYPE) TYPE_LANG_FLAG_1 (TYPE)
 775
 776 /* If FUNCTION_TYPE or METHOD_TYPE: cache for build_java_argument_signature. */
 777 #define TYPE_ARGUMENT_SIGNATURE(TYPE) TYPE_VFIELD(TYPE)
 778
 779 /* Given an array type, give the type of the elements. */
 780 /* FIXME this use of TREE_TYPE conflicts with something or other. */
 781 #define TYPE_ARRAY_ELEMENT(ATYPE) TREE_TYPE(ATYPE)
 782
 783 /* True if class TYPE has been loaded. */
 784 #define CLASS_LOADED_P(TYPE) TYPE_LANG_FLAG_2 (TYPE)
 785
 786 /* True if class TYPE was defined in Java source code. */
 787 #define CLASS_FROM_SOURCE_P(TYPE) TYPE_LANG_FLAG_3 (TYPE)
 788
 789 /* True of a RECORD_TYPE of a class/interface type (not array type) */
 790 #define CLASS_P(TYPE) TYPE_LANG_FLAG_4 (TYPE)
 791
 792 /* True if class TYPE was defined in a Java source file compiled. */
 793 #define CLASS_FROM_CURRENTLY_COMPILED_SOURCE_P(TYPE) \
 794   TYPE_LANG_FLAG_5 (TYPE)
 795
 796 /* True if class TYPE has a field initializer $finit$ function */
 797 #define CLASS_HAS_FINIT_P(TYPE) TYPE_LANG_FLAG_6 (TYPE)
 798
 799 /* True if identifier ID was seen while processing a single type import stmt */
 800 #define IS_A_SINGLE_IMPORT_CLASSFILE_NAME_P(ID) TREE_LANG_FLAG_0 (ID)
 801
 802 /* True if identifier ID was seen while processing an import statement */
 803 #define IS_A_CLASSFILE_NAME(ID) TREE_LANG_FLAG_1 (ID)
 804
 805 /* True if ID is a qualified named (contains . or /) */
 806 #define QUALIFIED_P(ID) TREE_LANG_FLAG_2 (ID)
 807
 808 /* True if ID is an already processed import on demand */
 809 #define IS_AN_IMPORT_ON_DEMAND_P(ID) TREE_LANG_FLAG_3 (ID)
 810
 811 /* True if ID is a command-line specified filename */
 812 #define IS_A_COMMAND_LINE_FILENAME_P(ID) TREE_LANG_FLAG_4 (ID)
 813
 814 /* True if filename ID has already been parsed */
 815 #define HAS_BEEN_ALREADY_PARSED_P(ID) TREE_LANG_FLAG_5 (ID)
 816
 817 /* True if EXPR is RHS sub-tree of a compound assign expression */
 818 #define COMPOUND_ASSIGN_P(EXPR) TREE_LANG_FLAG_1 (EXPR)
 819
 820 /* True if a SWITCH_EXPR has a DEFAULT_EXPR. */
 821 #define SWITCH_HAS_DEFAULT(NODE) TREE_LANG_FLAG_3 (NODE)
 822
 823 /* True if EXPR (a WFL in that case) was created after the
 824    reduction of PRIMARY . XXX */
 825 #define PRIMARY_P(EXPR) TREE_LANG_FLAG_2 (EXPR)
 826
 827 /* True if EXPR (a MODIFY_EXPR in that case) is the result of variable
 828    initialization during its declaration */
 829 #define MODIFY_EXPR_FROM_INITIALIZATION_P(EXPR) TREE_LANG_FLAG_2 (EXPR)
 830
 831 /* True if EXPR (a WFL in that case) resolves into an expression name */
 832 #define RESOLVE_EXPRESSION_NAME_P(WFL) TREE_LANG_FLAG_0 (WFL)
 833
 834 /* True if EXPR (a LOOP_EXPR in that case) is part of a for statement */
 835 #define IS_FOR_LOOP_P(EXPR) TREE_LANG_FLAG_0 (EXPR)
 836
 837 /* True if EXPR (a WFL in that case) resolves into a package name */
 838 #define RESOLVE_PACKAGE_NAME_P(WFL) TREE_LANG_FLAG_3 (WFL)
 839
 840 /* True if EXPR (a WFL in that case) resolves into a type name */
 841 #define RESOLVE_TYPE_NAME_P(WFL) TREE_LANG_FLAG_4 (WFL)
 842
 843 /* True if STMT (a WFL in that case) holds a BREAK statement */
 844 #define IS_BREAK_STMT_P(WFL) TREE_LANG_FLAG_5 (WFL)
 845
 846 /* True if EXPR (a CALL_EXPR in that case) is a crafted StringBuffer */
 847 #define IS_CRAFTED_STRING_BUFFER_P(EXPR) TREE_LANG_FLAG_5 (EXPR)
 848
 849 /* If set in CALL_EXPR, the receiver is 'super'. */
 850 #define CALL_USING_SUPER(EXPR) TREE_LANG_FLAG_4 (EXPR)
 851
 852 /* True if NODE (a statement) can complete normally. */
 853 #define CAN_COMPLETE_NORMALLY(NODE) TREE_LANG_FLAG_6(NODE)
 854
 855 /* Add a FIELD_DECL to RECORD_TYPE RTYPE.
 856    The field has name NAME (a char*), and type FTYPE.
 857    Unless this is the first field, FIELD most hold the previous field.
 858    FIELD is set to the newly created FIELD_DECL.
 859
 860    We set DECL_ARTIFICIAL so these fields get skipped by make_class_data
 861    if compiling java.lang.Object or java.lang.Class. */
 862
 863 #define PUSH_FIELD(RTYPE, FIELD, NAME, FTYPE) \
 864 { tree tmp_field = build_decl (FIELD_DECL, get_identifier(NAME), FTYPE); \
 865   if (TYPE_FIELDS (RTYPE) == NULL_TREE) TYPE_FIELDS (RTYPE) = tmp_field; \
 866   else TREE_CHAIN(FIELD) = tmp_field; \
 867   DECL_CONTEXT (tmp_field) = RTYPE; \
 868   DECL_ARTIFICIAL (tmp_field) = 1; \
 869   FIELD = tmp_field; }
 870
 871 #define FINISH_RECORD(RTYPE) layout_type (RTYPE)
 872
 873 /* Start building a RECORD_TYPE constructor with a given TYPE in CONS. */
 874 #define START_RECORD_CONSTRUCTOR(CONS, CTYPE) { \
 875   CONS = build (CONSTRUCTOR, CTYPE, NULL_TREE, NULL_TREE);\
 876   TREE_CHAIN(CONS) = TYPE_FIELDS (CTYPE); }
 877
 878 /* Append a field initializer to CONS for the dummy field for the inherited
 879    fields.  The dummy field has the given VALUE, and the same type as the
 880    super-class.   Must be specified before calls to PUSH_FIELD_VALUE. */
 881
 882 #define PUSH_SUPER_VALUE(CONS, VALUE) {\
 883   tree field = TREE_CHAIN(CONS);\
 884   if (DECL_NAME (field) != NULL_TREE) abort();\
 885   CONSTRUCTOR_ELTS(CONS) = tree_cons (field, VALUE, CONSTRUCTOR_ELTS(CONS));\
 886   TREE_CHAIN(CONS) = TREE_CHAIN (field); }
 887
 888 /* Append a field initializer to CONS for a field with the given VALUE.
 889    NAME is a char* string used for error checking;
 890    the initializer must be specified in order. */
 891 #define PUSH_FIELD_VALUE(CONS, NAME, VALUE) {\
 892   tree field = TREE_CHAIN(CONS);\
 893   if (strcmp (IDENTIFIER_POINTER (DECL_NAME (field)), NAME) != 0) abort();\
 894   CONSTRUCTOR_ELTS(CONS) = tree_cons (field, VALUE, CONSTRUCTOR_ELTS(CONS));\
 895   TREE_CHAIN(CONS) = TREE_CHAIN (field); }
 896
 897 /* Finish creating a record CONSTRUCTOR CONS. */
 898 #define FINISH_RECORD_CONSTRUCTOR(CONS) \
 899   CONSTRUCTOR_ELTS(CONS) = nreverse (CONSTRUCTOR_ELTS(CONS))
 900
 901 /* Macros on constructors invocations.  */
 902 #define CALL_CONSTRUCTOR_P(NODE)                \
 903   (TREE_CODE (NODE) == NEW_CLASS_EXPR || CALL_EXPLICIT_CONSTRUCTOR_P (NODE))
 904
 905 #define CALL_EXPLICIT_CONSTRUCTOR_P(NODE)                               \
 906   (CALL_THIS_CONSTRUCTOR_P (NODE) || CALL_SUPER_CONSTRUCTOR_P (NODE))
 907
 908 #define CALL_THIS_CONSTRUCTOR_P(NODE)                                   \
 909   (TREE_CODE (NODE) == CALL_EXPR                                        \
 910    && EXPR_WFL_NODE (TREE_OPERAND (NODE, 0)) == this_identifier_node)
 911
 912 #define CALL_SUPER_CONSTRUCTOR_P(NODE)                                  \
 913   (TREE_CODE (NODE) == CALL_EXPR                                        \
 914    && EXPR_WFL_NODE (TREE_OPERAND (NODE, 0)) == super_identifier_node)
 915
 916 /* Using a FINALLY_EXPR node */
 917 #define FINALLY_EXPR_LABEL(NODE) TREE_OPERAND ((NODE), 0)
 918 #define FINALLY_EXPR_BLOCK(NODE) TREE_OPERAND ((NODE), 1)
 919
 920 #define BLOCK_EXPR_DECLS(NODE)  BLOCK_VARS(NODE)
 921 #define BLOCK_EXPR_BODY(NODE)   BLOCK_SUBBLOCKS(NODE)
 922
 923 #define BUILD_MONITOR_ENTER(WHERE, ARG)                         \
 924   {                                                             \
 925     (WHERE) = build (CALL_EXPR, int_type_node,                  \
 926                      build_address_of (soft_monitorenter_node), \
 927                      build_tree_list (NULL_TREE, (ARG)),        \
 928                      NULL_TREE);                                \
 929     TREE_SIDE_EFFECTS (WHERE) = 1;                              \
 930   }
 931
 932 #define BUILD_MONITOR_EXIT(WHERE, ARG)                          \
 933   {                                                             \
 934     (WHERE) = build (CALL_EXPR, int_type_node,                  \
 935                      build_address_of (soft_monitorexit_node),  \
 936                      build_tree_list (NULL_TREE, (ARG)),        \
 937                      NULL_TREE);                                \
 938     TREE_SIDE_EFFECTS (WHERE) = 1;                              \
 939   }
 940
 941 /* Non zero if TYPE is an unchecked exception */
 942 #define IS_UNCHECKED_EXCEPTION_P(TYPE)                          \
 943   (inherits_from_p ((TYPE), runtime_exception_type_node)        \
 944    || inherits_from_p ((TYPE), error_exception_type_node))
 945
 946 extern int java_error_count;                                    \
 947
 948 /* Make the current function where this macro is invoked report error
 949    messages and and return, if any */
 950 #define java_parse_abort_on_error()                                     \
 951   {                                                                     \
 952      if (java_error_count > save_error_count)                           \
 953        return;                                                          \
 954    }