1 /* Definitions for parsing and type checking for the GNU compiler for
3 Copyright (C) 1997, 1998 Free Software Foundation, Inc.
5 This file is part of GNU CC.
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)
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.
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.
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. */
26 /* Hacked by Per Bothner <bothner@cygnus.com> February 1996. */
28 /* Java language-specific tree codes. */
29 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM,
31 __DUMMY = LAST_AND_UNUSED_TREE_CODE,
32 #include "java-tree.def"
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).
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)
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 INITIALIZED_P (in FIELD_DECL, VAR_DECL, PARM_DECL)
94 7: DECL_CONSTRUCTOR_P (in FUNCTION_DECL).
97 /* True if the class whose TYPE_BINFO this is has a superclass.
98 (True of all classes except Object.) */
99 #define CLASS_HAS_SUPER_FLAG(BINFO) TREE_LANG_FLAG_1(BINFO)
100 #define CLASS_HAS_SUPER(TYPE) CLASS_HAS_SUPER_FLAG (TYPE_BINFO (TYPE))
102 /* Return the supertype of class TYPE, or NULL_TREE is it has none. */
103 #define CLASSTYPE_SUPER(TYPE) (CLASS_HAS_SUPER (TYPE) ? \
104 BINFO_TYPE (TREE_VEC_ELT (TYPE_BINFO_BASETYPES (TYPE), 0)) : NULL_TREE)
106 /* True if the class we are compiling is a .java source file;
107 false if it is a .class bytecode file. */
108 extern int compiling_from_source;
110 /* The class defined by the actual (main) file we are compiling. */
111 extern tree main_class;
113 /* The class we are currently processing. */
114 extern tree current_class;
116 /* List of all class DECLs seen so far. */
117 extern tree all_class_list;
119 /* Nonzero if we want to automatically do array bounds checking;
120 on by default. Use -fno-bounds-check to disable. */
122 extern int flag_bounds_check;
124 /* Nonzero if we should make is_compiled_class always return 1 for
125 appropriate classes that we're referencing. */
127 extern int flag_assume_compiled;
129 extern int flag_emit_class_files;
131 /* Turned to 1 if -Wall was encountered. See lang.c for their meanings. */
132 extern int flag_wall;
133 extern int flag_redundant;
134 extern int flag_not_overriding;
135 extern int flag_static_local_jdk1_1;
137 /* The Java .class file that provides main_class; the main input file. */
138 extern struct JCF main_jcf[1], *current_jcf;
140 typedef struct CPool constant_pool;
142 #define CONSTANT_ResolvedFlag 16
144 /* The cpool->data[i] for a ResolvedString points to a STRING_CST. */
145 #define CONSTANT_ResolvedString (CONSTANT_String+CONSTANT_ResolvedFlag)
147 /* The cpool->data[i] for a ResolvedClass points to a RECORD_TYPE. */
148 #define CONSTANT_ResolvedClass (CONSTANT_Class+CONSTANT_ResolvedFlag)
150 #define CPOOL_UTF(CPOOL, INDEX) ((tree) (CPOOL)->data[INDEX])
152 /* A NameAndType constant is represented as a TREE_LIST.
153 The type is the signature string (as an IDENTIFIER_NODE). */
155 #define NAME_AND_TYPE_NAME(CPOOL, IDX) \
156 CPOOL_UTF(CPOOL, CPOOL_USHORT1(CPOOL, IDX))
157 #define NAME_AND_TYPE_SIGNATURE(CPOOL, IDX) \
158 CPOOL_UTF(CPOOL, CPOOL_USHORT2(CPOOL, IDX))
160 /* A FieldRef, MethodRef or InterfaceMethodRef constant
161 is represented as a TREE_LIST. */
163 #define COMPONENT_REF_CLASS_INDEX(CPOOL, IDX) CPOOL_USHORT1(CPOOL, IDX)
164 #define COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX) CPOOL_USHORT2(CPOOL, IDX)
165 #define COMPONENT_REF_NAME(CPOOL, IDX) \
166 NAME_AND_TYPE_NAME (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX))
167 #define COMPONENT_REF_SIGNATURE(CPOOL, IDX) \
168 NAME_AND_TYPE_SIGNATURE (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX))
170 /* "Promoted types" that are used for primitive types smaller
171 than int. We could use int_type_node, but then we would lose
172 type information (such as needed for debugging). */
173 extern tree promoted_byte_type_node;
174 extern tree promoted_short_type_node;
175 extern tree promoted_char_type_node;
176 extern tree promoted_boolean_type_node;
178 extern tree byte_type_node;
179 extern tree short_type_node;
180 extern tree int_type_node;
181 extern tree long_type_node;
183 extern tree unsigned_byte_type_node;
184 extern tree unsigned_short_type_node;
185 extern tree unsigned_int_type_node;
186 extern tree unsigned_long_type_node;
188 extern tree boolean_type_node;
189 extern tree char_type_node;
190 extern tree float_type_node;
191 extern tree double_type_node;
193 extern tree object_type_node;
194 extern tree unqualified_object_id_node;
195 extern tree object_ptr_type_node;
196 extern tree string_type_node;
197 extern tree throwable_type_node;
198 extern tree runtime_exception_type_node;
199 extern tree error_exception_type_node;
201 extern tree byte_array_type_node;
202 extern tree short_array_type_node;
203 extern tree int_array_type_node;
204 extern tree long_array_type_node;
205 extern tree boolean_array_type_node;
206 extern tree char_array_type_node;
207 extern tree double_array_type_node;
208 extern tree float_array_type_node;
209 extern tree array_array_type_node;
210 extern tree object_array_type_node;
211 extern tree string_array_type_node;
212 extern tree TYPE_identifier_node; /* "TYPE" */
213 extern tree init_identifier_node; /* "<init>" */
214 extern tree clinit_identifier_node; /* "<clinit>" */
215 extern tree finit_identifier_node; /* "$finit$" */
216 extern tree void_signature_node; /* "()V" */
217 extern tree length_identifier_node; /* "length" */
218 extern tree this_identifier_node; /* "this" */
219 extern tree super_identifier_node; /* "super" */
220 extern tree one_elt_array_domain_type;
221 extern tree void_type_node;
222 extern tree ptr_type_node;
223 /* The type of the return address of a subroutine. */
224 extern tree return_address_type_node;
226 /* Nodes for boolean constants TRUE and FALSE. */
227 extern tree boolean_true_node, boolean_false_node;
229 /* Integer constants not declared in tree.h. */
230 extern tree integer_negative_one_node;
231 extern tree integer_two_node;
232 extern tree integer_four_node;
233 extern tree empty_stmt_node;
235 /* The type for struct methodtable. */
236 extern tree methodtable_type;
237 extern tree methodtable_ptr_type;
239 extern tree utf8const_type;
240 extern tree utf8const_ptr_type;
242 extern tree class_type_node;
243 extern tree class_ptr_type;
244 extern tree field_type_node;
245 extern tree constants_type_node;
246 extern tree dtable_type, dtable_ptr_type;
247 extern tree field_ptr_type_node;
248 extern tree field_info_union_node;
249 extern tree method_type_node;
250 extern tree method_ptr_type_node;
251 #define nativecode_ptr_type_node ptr_type_node
253 extern tree end_params_node;
255 /* References to internal libjava functions we use. */
256 extern tree alloc_object_node;
257 extern tree soft_instanceof_node;
258 extern tree soft_checkcast_node;
259 extern tree soft_initclass_node;
260 extern tree soft_newarray_node;
261 extern tree soft_anewarray_node;
262 extern tree soft_multianewarray_node;
263 extern tree soft_badarrayindex_node;
264 extern tree throw_node;
265 extern tree soft_checkarraystore_node;
266 extern tree soft_monitorenter_node;
267 extern tree soft_monitorexit_node;
268 extern tree soft_lookupinterfacemethod_node;
269 extern tree soft_fmod_node;
270 extern tree soft_exceptioninfo_call_node;
272 extern tree access_flags_type_node;
274 extern tree class_dtable_decl;
276 /* They need to be reset before processing each class */
277 extern struct CPool *outgoing_cpool;
278 extern tree current_constant_pool_data_ref;
280 extern tree wfl_operator;
282 struct lang_identifier
284 struct tree_identifier ignore;
285 tree global_value, local_value;
287 /* If non-NULL: An ADDR_REF to a VAR_DECL that contains
288 * the Utf8Const representation of the identifier. */
292 /* Macros for access to language-specific slots in an identifier. */
293 /* UNless specifide, each of these slots contains a DECL node or null. */
295 /* This represents the value which the identifier has in the
296 file-scope namespace. */
297 #define IDENTIFIER_GLOBAL_VALUE(NODE) \
298 (((struct lang_identifier *)(NODE))->global_value)
299 /* This represents the value which the identifier has in the current
301 #define IDENTIFIER_LOCAL_VALUE(NODE) \
302 (((struct lang_identifier *)(NODE))->local_value)
304 /* Given an identifier NODE, get the corresponding (non-handle) class.
305 For get_identifier ("java.lang.Number"), the result is
306 the struct whose DECL_ASSEMBLER_NAME is "Classjava_lang_Number". */
307 #define IDENTIFIER_CLASS_VALUE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE)
309 /* Given an identifier NODE, get the corresponding handle class.
310 For get_identifier ("java.lang.Number"), the result is
311 the struct whose DECL_ASSEMBLER_NAME is "Hjava_lang_Number". */
312 #define IDENTIFIER_HANDLECLASS_VALUE(NODE) ???
314 /* Given a signature of a reference (or array) type, or a method, return the
315 corresponding type (if one has been allocated).
316 Do not use for primitive types, since they may be ambiguous.
317 (E.g. is "I" a signature or a class name?) */
318 #define IDENTIFIER_SIGNATURE_TYPE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE)
320 /* If non-NULL: An ADDR_REF to a VAR_DECL that contains
321 the Utf8Const representation of the identifier. */
322 #define IDENTIFIER_UTF8_REF(NODE) \
323 (((struct lang_identifier *)(NODE))->utf8_ref)
325 #define IDENTIFIER_UTF8_DECL(NODE) \
326 TREE_OPERAND((((struct lang_identifier *)(NODE))->utf8_ref), 0)
328 /* For a FUNCTION_DECL, if we are compiling a .class file, then this is
329 the position in the .class file of the method code.
330 Specifically, this is the code itself, not the code attribute. */
331 #define DECL_CODE_OFFSET(DECL) (DECL_LANG_SPECIFIC(DECL)->code_offset)
332 /* Similarly, the length of the bytecode. */
333 #define DECL_CODE_LENGTH(DECL) (DECL_LANG_SPECIFIC(DECL)->code_length)
334 /* Similarly, the position of the LineNumberTable attribute. */
335 #define DECL_LINENUMBERS_OFFSET(DECL) \
336 (DECL_LANG_SPECIFIC(DECL)->linenumbers_offset)
337 /* Similarly, the position of the LocalVariableTable attribute
338 (following the standard attribute header). */
339 #define DECL_LOCALVARIABLES_OFFSET(DECL) \
340 (DECL_LANG_SPECIFIC(DECL)->localvariables_offset)
342 #define DECL_MAX_LOCALS(DECL) (DECL_LANG_SPECIFIC(DECL)->max_locals)
343 #define DECL_MAX_STACK(DECL) (DECL_LANG_SPECIFIC(DECL)->max_stack)
344 /* Number of local variable slots needed for the arguments of this function. */
345 #define DECL_ARG_SLOT_COUNT(DECL) (DECL_LANG_SPECIFIC(DECL)->arg_slot_count)
346 /* List of checked thrown exceptions, as specified with the `throws'
348 #define DECL_FUNCTION_THROWS(DECL) (DECL_LANG_SPECIFIC(DECL)->throws_list)
349 /* List of other constructors of the same class that this constructor
351 #define DECL_CONSTRUCTOR_CALLS(DECL) \
352 (DECL_LANG_SPECIFIC(DECL)->called_constructor)
353 /* Pointer to the function's current's COMPOUND_EXPR tree (while
354 completing its body) or the function's block */
355 #define DECL_FUNCTION_BODY(DECL) (DECL_LANG_SPECIFIC(DECL)->function_decl_body)
356 /* How specific the function is (for method selection - Java source
358 #define DECL_SPECIFIC_COUNT(DECL) DECL_ARG_SLOT_COUNT(DECL)
360 /* In a LABEL_DECL, a TREE_VEC that saves the type_map at that point. */
361 #define LABEL_TYPE_STATE(NODE) (DECL_INITIAL (NODE))
363 /* In the label of a subroutine, a dummy label that records the
364 state following a merge of all the ret instructions in this subroutine. */
365 #define LABEL_RETURN_LABEL(DECL) DECL_ARGUMENTS(DECL)
367 /* In the label of a sub-routine, records the type state at return.
368 * A local may be TYPE_UNUSED, which means that the local is not
369 * used (stored to or loaded from) in this subroutine - at least for
370 * code that we have verified so far. */
371 #define LABEL_RETURN_TYPE_STATE(NODE) LABEL_TYPE_STATE (LABEL_RETURN_LABEL (NODE))
373 /* In a TREE_VEC for a LABEL_RETURN_TYPE_STATE, notes that
374 TREE_VEC_LENGTH has been adjust to the correct stack size. */
375 #define RETURN_MAP_ADJUSTED(NODE) TREE_LANG_FLAG_2(NODE)
377 /* In the label of a sub-routine, a chain of the return location labels. */
378 #define LABEL_RETURN_LABELS(node) DECL_RESULT (LABEL_RETURN_LABEL(node))
380 /* In a LABEL_DECL, the next pending label.
381 See pending_blocks in expr.c. */
382 #define LABEL_PENDING_CHAIN(NODE) DECL_RESULT(NODE)
384 /* In a LABEL_DECL, the corresponding bytecode program counter. */
385 #define LABEL_PC(NODE) ((NODE)->decl.saved_insns.i)
387 /* Used during verification to mark the label has "changed". (See JVM Spec). */
388 #define LABEL_CHANGED(NODE) DECL_LANG_FLAG_6(NODE)
390 /* In a LABEL_DECL, true if we have verified instructions starting here. */
391 #define LABEL_VERIFIED(NODE) (instruction_bits[LABEL_PC(NODE)]&BCODE_VERIFIED)
393 /* True if this code is within a subroutine (target of a jsr). */
394 #define LABEL_IN_SUBR(NODE) DECL_LANG_FLAG_4(NODE)
395 /* True if this code is the start of a subroutine (target of a jsr). */
396 #define LABEL_IS_SUBR_START(NODE) DECL_LANG_FLAG_5(NODE)
398 /* In a LABEL_DECL, if LABEL_IN_SUBR(NODE), points to start of subroutine. */
399 #define LABEL_SUBR_START(NODE) DECL_ABSTRACT_ORIGIN(NODE)
401 /* In a LABEL_DECL that has LABEL_IS_SUBR_START, this points to the start
402 of surrounding subroutine in the case of a nested subroutine,
403 and NULL_TREE otherwise. */
404 #define LABEL_SUBR_CONTEXT(NODE) DECL_CONTEXT (LABEL_RETURN_LABEL (NODE))
406 /* The slot number for this local variable. */
407 #define DECL_LOCAL_SLOT_NUMBER(NODE) \
408 (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->slot_number)
409 /* The start (bytecode) pc for the valid range of this local variable. */
410 #define DECL_LOCAL_START_PC(NODE) \
411 (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->start_pc)
412 /* The end (bytecode) pc for the valid range of this local variable. */
413 #define DECL_LOCAL_END_PC(NODE) \
414 (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->end_pc)
415 /* For a VAR_DECLor PARM_DECL, used to chain decls with the same
416 slot_number in decl_map. */
417 #define DECL_LOCAL_SLOT_CHAIN(NODE) \
418 (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->slot_chain)
419 /* For a static field seen from the parser, it holds its associated
420 value, the one returned when the field is looked up. */
421 #define DECL_LOCAL_STATIC_VALUE(NODE) DECL_LOCAL_SLOT_CHAIN (NODE)
423 /* DECL_LANG_SPECIFIC for FUNCTION_DECLs. */
426 /* tree chain; not yet used. */
429 long linenumbers_offset;
430 long localvariables_offset;
432 int max_locals, max_stack, arg_slot_count;
433 tree throws_list; /* Exception specified by `throws' */
434 tree function_decl_body; /* Hold all function's statements */
435 tree called_constructor; /* When decl is a constructor, the
436 list of other constructor it calls. */
439 /* DECL_LANG_SPECIFIC for VAR_DECL and PARM_DECL. */
454 #ifdef JAVA_USE_HANDLES
455 /* TYPE_BINFO_HANDLE points from a handle-class to its corresponding
456 non-handle-class, and vice verse. */
458 #define BINFO_HANDLE(NODE) TREE_VEC_ELT ((NODE), 6)
460 /* Given a RECORD_TYPE for a handle type, return the corresponding class. */
461 #define HANDLE_TO_CLASS_TYPE(HTYPE) BINFO_HANDLE (TYPE_BINFO (HTYPE))
463 /* Given a RECORD_TYPE for a class, return the corresponding handle type. */
464 #define CLASS_TO_HANDLE_TYPE(TYPE) BINFO_HANDLE (TYPE_BINFO (TYPE))
466 #define HANDLE_TO_CLASS_TYPE(HTYPE) (HTYPE)
467 #define CLASS_TO_HANDLE_TYPE(TYPE) (TYPE)
470 #define JCF_u4 unsigned long
471 #define JCF_u2 unsigned short
473 extern tree lookup_class PROTO ((tree));
474 extern tree lookup_java_constructor PROTO ((tree, tree));
475 extern tree lookup_java_method PROTO ((tree, tree, tree));
476 extern tree lookup_argument_method PROTO ((tree, tree, tree));
477 extern tree promote_type PROTO ((tree));
478 extern tree get_constant PROTO ((struct JCF*, int));
479 extern tree get_name_constant PROTO ((struct JCF*, int));
480 extern tree get_class_constant PROTO ((struct JCF*, int));
481 extern tree parse_signature PROTO ((struct JCF *jcf, int sig_index));
482 extern void jcf_parse PROTO ((struct JCF*));
483 extern tree add_field PROTO ((tree, tree, tree, int));
484 extern tree add_method PROTO ((tree, int, tree, tree));
485 extern tree add_method_1 PROTO ((tree, int, tree, tree));
486 extern tree make_class ();
487 extern tree push_class PROTO ((tree, tree));
488 extern tree unmangle_classname PROTO ((const char *name, int name_length));
489 extern tree parse_signature_string PROTO ((const unsigned char *, int));
490 extern tree get_type_from_signature PROTO ((tree));
491 extern void layout_class PROTO ((tree));
492 extern tree layout_class_method PROTO ((tree, tree, tree, tree));
493 extern void layout_class_methods PROTO ((tree));
494 extern tree make_class ();
495 extern tree build_class_ref PROTO ((tree));
496 extern tree build_dtable_decl PROTO ((tree));
497 extern tree build_internal_class_name PROTO ((tree));
498 extern tree build_constants_constructor ();
499 extern tree build_ref_from_constant_pool PROTO ((int));
500 extern tree build_utf8_ref PROTO ((tree));
501 extern tree ident_subst PROTO ((const char*, int,
502 const char*, int, int, const char*));
503 extern tree identifier_subst PROTO ((const tree,
504 const char *, int, int, const char *));
505 extern tree build_java_signature PROTO ((tree));
506 extern tree build_java_argument_signature PROTO ((tree));
507 extern void set_java_signature PROTO ((tree, tree));
508 extern tree build_static_field_ref PROTO ((tree));
509 extern tree build_address_of PROTO ((tree));
510 extern tree find_local_variable PROTO ((int index, tree type, int pc));
511 extern tree find_stack_slot PROTO ((int index, tree type));
512 extern tree build_prim_array_type PROTO ((tree, HOST_WIDE_INT));
513 extern tree build_java_array_type PROTO ((tree, HOST_WIDE_INT));
514 extern int is_compiled_class PROTO ((tree));
515 extern tree mangled_classname PROTO ((char*, tree));
516 extern tree lookup_label PROTO ((int));
517 extern tree pop_type PROTO ((tree));
518 extern void pop_argument_types PROTO ((tree));
519 extern tree decode_newarray_type PROTO ((int));
520 extern tree lookup_field PROTO ((tree*, tree));
521 extern int is_array_type_p PROTO ((tree));
522 extern HOST_WIDE_INT java_array_type_length PROTO ((tree));
523 extern void load_class PROTO ((tree, int));
525 extern tree lookup_name PROTO ((tree));
526 extern tree build_known_method_ref PROTO ((tree, tree, tree, tree, tree));
527 extern tree build_class_init PROTO ((tree, tree));
528 extern tree build_invokevirtual PROTO ((tree, tree));
529 extern tree build_invokeinterface PROTO ((tree, tree, tree));
530 extern tree invoke_build_dtable PROTO ((int, tree));
531 extern tree build_field_ref PROTO ((tree, tree, tree));
532 extern void pushdecl_force_head PROTO ((tree));
533 extern tree build_java_binop PROTO ((enum tree_code, tree, tree, tree));
534 extern tree binary_numeric_promotion PROTO ((tree, tree, tree *, tree *));
535 extern tree build_java_arrayaccess PROTO ((tree, tree, tree));
536 extern tree build_newarray PROTO ((int, tree));
537 extern tree build_anewarray PROTO ((tree, tree));
538 extern tree build_java_array_length_access PROTO ((tree));
539 extern tree build_java_arraynull_check PROTO ((tree, tree, tree));
540 extern tree create_label_decl PROTO ((tree));
541 extern void push_labeled_block PROTO ((tree));
542 extern tree prepare_eh_table_type PROTO ((tree));
543 extern void java_set_exception_lang_code PROTO (());
544 extern tree generate_name PROTO ((void));
545 extern void pop_labeled_block PROTO (());
546 extern char *lang_printable_name PROTO ((tree, int));
547 extern tree maybe_add_interface PROTO ((tree, tree));
548 extern void set_super_info PROTO ((int, tree, tree, int));
549 extern int get_access_flags_from_decl PROTO ((tree));
550 extern int interface_of_p PROTO ((tree, tree));
551 extern int inherits_from_p PROTO ((tree, tree));
552 extern void complete_start_java_method PROTO ((tree));
553 extern void emit_handlers PROTO (());
554 extern void init_outgoing_cpool PROTO (());
555 extern void make_class_data PROTO ((tree));
556 extern void register_class PROTO (());
557 extern int alloc_name_constant PROTO ((int, tree));
558 extern void emit_register_classes PROTO (());
559 extern void lang_init_source PROTO ((int));
560 extern void write_classfile PROTO ((tree));
561 extern char *print_int_node PROTO ((tree));
562 extern void parse_error_context VPROTO ((tree cl, char *msg, ...));
563 extern tree build_primtype_type_ref PROTO ((char *));
564 extern tree java_get_real_method_name PROTO ((tree));
565 extern void finish_class PROTO ((tree));
566 extern void java_layout_seen_class_methods PROTO (());
568 /* Access flags etc for a method (a FUNCTION_DECL): */
570 #define METHOD_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL)
571 #define METHOD_PRIVATE(DECL) TREE_PRIVATE (DECL)
572 #define METHOD_PROTECTED(DECL) TREE_PROTECTED (DECL)
573 #define METHOD_STATIC(DECL) DECL_LANG_FLAG_2 (DECL)
574 #define METHOD_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)
575 #define METHOD_SYNCHRONIZED(DECL) DECL_LANG_FLAG_4 (DECL)
576 #define METHOD_NATIVE(DECL) DECL_EXTERNAL(DECL)
577 #define METHOD_ABSTRACT(DECL) DECL_LANG_FLAG_5 (DECL)
578 #define METHOD_TRANSIENT(DECL) DECL_LANG_FLAG_6 (DECL)
580 #define DECL_CONSTRUCTOR_P(DECL) DECL_LANG_FLAG_7(DECL)
582 /* Access flags etc for a variable/field (a FIELD_DECL): */
584 #define FIELD_PRIVATE(DECL) TREE_PRIVATE (DECL)
585 #define FIELD_PROTECTED(DECL) TREE_PROTECTED (DECL)
586 #define FIELD_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL)
587 #define FIELD_STATIC(DECL) TREE_STATIC (DECL)
588 #define FIELD_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)
589 #define FIELD_VOLATILE(DECL) DECL_LANG_FLAG_4 (DECL)
590 #define FIELD_TRANSIENT(DECL) DECL_LANG_FLAG_5 (DECL)
592 /* Initialized flag on variable/field/parm decl */
594 #define INITIALIZED_P(DECL) DECL_LANG_FLAG_6 (DECL)
596 /* Access flags etc for a class (a TYPE_DECL): */
598 #define CLASS_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL)
599 #define CLASS_FINAL(DECL) DECL_LANG_FLAG_3 (DECL)
600 #define CLASS_INTERFACE(DECL) DECL_LANG_FLAG_4 (DECL)
601 #define CLASS_ABSTRACT(DECL) DECL_LANG_FLAG_5 (DECL)
602 #define CLASS_SUPER(DECL) DECL_LANG_FLAG_6 (DECL)
604 /* @deprecated marker flag on methods, fields and classes */
606 #define METHOD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
607 #define FIELD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
608 #define CLASS_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
609 #define DECL_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL)
611 /* The number of virtual methods in this class's dispatch table.
612 Does not include initial two dummy entries (one points to the
613 Class object, and the other is for G++ -fvtable-thunks compatibility). */
614 #define TYPE_NVIRTUALS(TYPE) TYPE_BINFO_VIRTUALS (TYPE)
616 /* A TREE_VEC (indexed by DECL_VINDEX) containing this class's
618 #define TYPE_VTABLE(TYPE) TYPE_BINFO_VTABLE(TYPE)
620 /* Use CLASS_LOADED_P? FIXME */
621 #define CLASS_COMPLETE_P(DECL) DECL_LANG_FLAG_2 (DECL)
623 /* This maps a bytecode offset (PC) to various flags,
624 listed below (starting with BCODE_). */
625 extern char *instruction_bits;
627 /* True iff the byte is the start of an instruction. */
628 #define BCODE_INSTRUCTION_START 1
630 /* True iff there is a jump to this location. */
631 #define BCODE_JUMP_TARGET 2
633 /* True iff there is a return to this location.
634 (I.e. the preceedng instruction was a call.) */
635 #define BCODE_RETURN_TARGET 4
637 /* True iff this is the start of an exception handler. */
638 #define BCODE_EXCEPTION_TARGET 16
640 /* True iff there is a jump to this location (and it needs a label). */
641 #define BCODE_TARGET \
642 (BCODE_JUMP_TARGET|BCODE_RETURN_TARGET \
643 | BCODE_EXCEPTION_TARGET)
645 /* True iff there is an entry in the linenumber table for this location. */
646 #define BCODE_HAS_LINENUMBER 32
648 /* True iff there is more than one entry in the linenumber table for
649 this location. (This probably does not make much sense.) */
650 #define BCODE_HAS_MULTI_LINENUMBERS 64
652 /* True if this instruction has been verified. */
653 #define BCODE_VERIFIED 8
655 /* A pointer to the line number table of the current method. */
656 extern unsigned char *linenumber_table;
657 /* The length (in items) of the line number table. */
658 extern int linenumber_count;
660 /* In type_map, means that slot is uninitialized or otherwise unusable. */
661 #define TYPE_UNKNOWN NULL_TREE
663 /* In type_map, means the second half of a 64-bit double or long. */
664 #define TYPE_SECOND void_type_node
666 /* In type_map, means the null type (i.e. type of a null reference). */
667 #define TYPE_NULL ptr_type_node
669 /* In a type map means the type the address subroutine return address. */
670 #define TYPE_RETURN_ADDR return_address_type_node
672 /* In a subroutine's return type map, indicates that the slot was neither
673 used nor set in the subroutine. */
674 #define TYPE_UNUSED error_mark_node
676 /* A array mapping variable/stack slot index to the type current
677 in that variable/stack slot.
678 TYPE_UNKNOWN, TYPE_SECOND, and TYPE_NULL are special cases. */
679 extern tree *type_map;
681 /* Map a stack index to the type currently in that slot. */
682 #define stack_type_map (type_map+DECL_MAX_LOCALS(current_function_decl))
684 /* True iff TYPE takes two variable/stack slots. */
685 #define TYPE_IS_WIDE(TYPE) \
686 ((TYPE) == double_type_node || (TYPE) == long_type_node)
688 /* True iff TYPE is a Java array type. */
689 #define TYPE_ARRAY_P(TYPE) TYPE_LANG_FLAG_1 (TYPE)
691 /* If FUNCTION_TYPE or METHOD_TYPE: cache for build_java_argument_signature. */
692 #define TYPE_ARGUMENT_SIGNATURE(TYPE) TYPE_VFIELD(TYPE)
694 /* Given an array type, give the type of the elements. */
695 /* FIXME this use of TREE_TYPE conflicts with something or other. */
696 #define TYPE_ARRAY_ELEMENT(ATYPE) TREE_TYPE(ATYPE)
698 /* True if class TYPE has been loaded. */
699 #define CLASS_LOADED_P(TYPE) TYPE_LANG_FLAG_2 (TYPE)
701 /* True if class TYPE was defined in Java source code. */
702 #define CLASS_FROM_SOURCE_P(TYPE) TYPE_LANG_FLAG_3 (TYPE)
704 /* True of a RECORD_TYPE of a class/interface type (not array type) */
705 #define CLASS_P(TYPE) TYPE_LANG_FLAG_4 (TYPE)
707 /* True if class TYPE was defined in a Java source file compiled. */
708 #define CLASS_FROM_CURRENTLY_COMPILED_SOURCE_P(TYPE) \
709 TYPE_LANG_FLAG_5 (TYPE)
711 /* True if class TYPE has a field initializer $finit$ function */
712 #define CLASS_HAS_FINIT_P(TYPE) TYPE_LANG_FLAG_6 (TYPE)
714 /* True if identifier ID was seen while processing a single type import stmt */
715 #define IS_A_SINGLE_IMPORT_CLASSFILE_NAME_P(ID) TREE_LANG_FLAG_0 (ID)
717 /* True if identifier ID was seen while processing an import statement */
718 #define IS_A_CLASSFILE_NAME(ID) TREE_LANG_FLAG_1 (ID)
720 /* True if ID is a qualified named (contains . or /) */
721 #define QUALIFIED_P(ID) TREE_LANG_FLAG_2 (ID)
723 /* True if ID is an already processed import on demand */
724 #define IS_AN_IMPORT_ON_DEMAND_P(ID) TREE_LANG_FLAG_3 (ID)
726 /* True if ID is a command-line specified filename */
727 #define IS_A_COMMAND_LINE_FILENAME_P(ID) TREE_LANG_FLAG_4 (ID)
729 /* True if filename ID has already been parsed */
730 #define HAS_BEEN_ALREADY_PARSED_P(ID) TREE_LANG_FLAG_5 (ID)
732 /* True if EXPR is RHS sub-tree of a compound assign expression */
733 #define COMPOUND_ASSIGN_P(EXPR) TREE_LANG_FLAG_1 (EXPR)
735 /* True if a SWITCH_EXPR has a DEFAULT_EXPR. */
736 #define SWITCH_HAS_DEFAULT(NODE) TREE_LANG_FLAG_3 (NODE)
738 /* True if EXPR (a WFL in that case) was created after the
739 reduction of PRIMARY . XXX */
740 #define PRIMARY_P(EXPR) TREE_LANG_FLAG_2 (EXPR)
742 /* True if EXPR (a MODIFY_EXPR in that case) is the result of variable
743 initialization during its declaration */
744 #define MODIFY_EXPR_FROM_INITIALIZATION_P(EXPR) TREE_LANG_FLAG_2 (EXPR)
746 /* True if EXPR (a WFL in that case) resolves into an expression name */
747 #define RESOLVE_EXPRESSION_NAME_P(WFL) TREE_LANG_FLAG_0 (WFL)
749 /* True if EXPR (a LOOP_EXPR in that case) is part of a for statement */
750 #define IS_FOR_LOOP_P(EXPR) TREE_LANG_FLAG_0 (EXPR)
752 /* True if EXPR (a WFL in that case) resolves into a package name */
753 #define RESOLVE_PACKAGE_NAME_P(WFL) TREE_LANG_FLAG_3 (WFL)
755 /* True if EXPR (a WFL in that case) resolves into a type name */
756 #define RESOLVE_TYPE_NAME_P(WFL) TREE_LANG_FLAG_4 (WFL)
758 /* True if STMT (a WFL in that case) holds a BREAK statement */
759 #define IS_BREAK_STMT_P(WFL) TREE_LANG_FLAG_5 (WFL)
761 /* True if EXPR (a CALL_EXPR in that case) is a crafted StringBuffer */
762 #define IS_CRAFTED_STRING_BUFFER_P(EXPR) TREE_LANG_FLAG_5 (EXPR)
764 /* If set in CALL_EXPR, the receiver is 'super'. */
765 #define CALL_USING_SUPER(EXPR) TREE_LANG_FLAG_4 (EXPR)
767 /* True if NODE (a statement) can complete normally. */
768 #define CAN_COMPLETE_NORMALLY(NODE) TREE_LANG_FLAG_6(NODE)
770 /* Add a FIELD_DECL to RECORD_TYPE RTYPE.
771 The field has name NAME (a char*), and type FTYPE.
772 Unless this is the first field, FIELD most hold the previous field.
773 FIELD is set to the newly created FIELD_DECL.
775 We set DECL_ARTIFICIAL so these fields get skipped by make_class_data
776 if compiling java.lang.Object or java.lang.Class. */
778 #define PUSH_FIELD(RTYPE, FIELD, NAME, FTYPE) \
779 { tree tmp_field = build_decl (FIELD_DECL, get_identifier(NAME), FTYPE); \
780 if (TYPE_FIELDS (RTYPE) == NULL_TREE) TYPE_FIELDS (RTYPE) = tmp_field; \
781 else TREE_CHAIN(FIELD) = tmp_field; \
782 DECL_CONTEXT (tmp_field) = RTYPE; \
783 DECL_ARTIFICIAL (tmp_field) = 1; \
786 #define FINISH_RECORD(RTYPE) layout_type (RTYPE)
788 /* Start building a RECORD_TYPE constructor with a given TYPE in CONS. */
789 #define START_RECORD_CONSTRUCTOR(CONS, CTYPE) { \
790 CONS = build (CONSTRUCTOR, CTYPE, NULL_TREE, NULL_TREE);\
791 TREE_CHAIN(CONS) = TYPE_FIELDS (CTYPE); }
793 /* Append a field initializer to CONS for the dummy field for the inherited
794 fields. The dummy field has the given VALUE, and the same type as the
795 super-class. Must be specified before calls to PUSH_FIELD_VALUE. */
797 #define PUSH_SUPER_VALUE(CONS, VALUE) {\
798 tree field = TREE_CHAIN(CONS);\
799 if (DECL_NAME (field) != NULL_TREE) abort();\
800 CONSTRUCTOR_ELTS(CONS) = tree_cons (field, VALUE, CONSTRUCTOR_ELTS(CONS));\
801 TREE_CHAIN(CONS) = TREE_CHAIN (field); }
803 /* Append a field initializer to CONS for a field with the given VALUE.
804 NAME is a char* string used for error checking;
805 the initializer must be specified in order. */
806 #define PUSH_FIELD_VALUE(CONS, NAME, VALUE) {\
807 tree field = TREE_CHAIN(CONS);\
808 if (strcmp (IDENTIFIER_POINTER (DECL_NAME (field)), NAME) != 0) abort();\
809 CONSTRUCTOR_ELTS(CONS) = tree_cons (field, VALUE, CONSTRUCTOR_ELTS(CONS));\
810 TREE_CHAIN(CONS) = TREE_CHAIN (field); }
812 /* Finish creating a record CONSTRUCTOR CONS. */
813 #define FINISH_RECORD_CONSTRUCTOR(CONS) \
814 CONSTRUCTOR_ELTS(CONS) = nreverse (CONSTRUCTOR_ELTS(CONS))
816 /* Macros on constructors invocations. */
817 #define CALL_CONSTRUCTOR_P(NODE) \
818 (TREE_CODE (NODE) == NEW_CLASS_EXPR || CALL_EXPLICIT_CONSTRUCTOR_P (NODE))
820 #define CALL_EXPLICIT_CONSTRUCTOR_P(NODE) \
821 (CALL_THIS_CONSTRUCTOR_P (NODE) || CALL_SUPER_CONSTRUCTOR_P (NODE))
823 #define CALL_THIS_CONSTRUCTOR_P(NODE) \
824 (TREE_CODE (NODE) == CALL_EXPR \
825 && EXPR_WFL_NODE (TREE_OPERAND (NODE, 0)) == this_identifier_node)
827 #define CALL_SUPER_CONSTRUCTOR_P(NODE) \
828 (TREE_CODE (NODE) == CALL_EXPR \
829 && EXPR_WFL_NODE (TREE_OPERAND (NODE, 0)) == super_identifier_node)
831 /* Using a FINALLY_EXPR node */
832 #define FINALLY_EXPR_LABEL(NODE) TREE_OPERAND ((NODE), 0)
833 #define FINALLY_EXPR_BLOCK(NODE) TREE_OPERAND ((NODE), 1)
835 /* Using a CATCH_EXPR node */
836 #define CATCH_EXPR_GET_EXPR(NODE, V) (V ? LABELED_BLOCK_BODY (NODE) : (NODE))
838 /* Non zero if TYPE is an unchecked exception */
839 #define IS_UNCHECKED_EXCEPTION_P(TYPE) \
840 (inherits_from_p ((TYPE), runtime_exception_type_node) \
841 || inherits_from_p ((TYPE), error_exception_type_node))
843 /* Make the current function where this macro is invoked report error
844 messages and and return, if any */
845 #define java_parse_abort_on_error() \
847 extern int java_error_count; \
848 if (java_error_count) \