]>
Commit | Line | Data |
---|---|---|
e04a16fb AG |
1 | /* Definitions for parsing and type checking for the GNU compiler for |
2 | the Java(TM) language. | |
3852e8af | 3 | Copyright (C) 1997, 1998, 1999, 2000 Free Software Foundation, Inc. |
e04a16fb AG |
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 | ||
3ff9925c AG |
28 | #include "hash.h" |
29 | ||
e04a16fb AG |
30 | /* Java language-specific tree codes. */ |
31 | #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) SYM, | |
32 | enum java_tree_code { | |
33 | __DUMMY = LAST_AND_UNUSED_TREE_CODE, | |
34 | #include "java-tree.def" | |
35 | LAST_JAVA_TREE_CODE | |
36 | }; | |
37 | #undef DEFTREECODE | |
38 | ||
39 | struct JCF; | |
40 | ||
41 | /* Usage of TREE_LANG_FLAG_?: | |
42 | 0: IS_A_SINGLE_IMPORT_CLASSFILE_NAME_P (in IDENTIFIER_NODE) | |
43 | RESOLVE_EXPRESSION_NAME_P (in EXPR_WITH_FILE_LOCATION) | |
c2952b01 APB |
44 | FOR_LOOP_P (in LOOP_EXPR) |
45 | ANONYMOUS_CLASS_P (in RECORD_TYPE) | |
46 | ARG_FINAL_P (in TREE_LIST) | |
e04a16fb AG |
47 | 1: CLASS_HAS_SUPER_FLAG (in TREE_VEC). |
48 | IS_A_CLASSFILE_NAME (in IDENTIFIER_NODE) | |
49 | COMPOUND_ASSIGN_P (in EXPR (binop_*)) | |
c2952b01 | 50 | LOCAL_CLASS_P (in RECORD_TYPE) |
e04a16fb AG |
51 | 2: RETURN_MAP_ADJUSTED (in TREE_VEC). |
52 | QUALIFIED_P (in IDENTIFIER_NODE) | |
53 | PRIMARY_P (in EXPR_WITH_FILE_LOCATION) | |
54 | MODIFY_EXPR_FROM_INITIALIZATION_P (in MODIFY_EXPR) | |
55 | 3: IS_AN_IMPORT_ON_DEMAND_P (in IDENTIFIER_NODE) | |
56 | RESOLVE_PACKAGE_NAME_P (in EXPR_WITH_FILE_LOCATION) | |
12472854 | 57 | SWITCH_HAS_DEFAULT (in SWITCH_EXPR) |
b351b287 APB |
58 | 4: IS_A_COMMAND_LINE_FILENAME_P (in IDENTIFIER_NODE) |
59 | RESOLVE_TYPE_NAME_P (in EXPR_WITH_FILE_LOCATION) | |
157412f5 | 60 | CALL_USING_SUPER (in CALL_EXPR) |
b351b287 APB |
61 | 5: HAS_BEEN_ALREADY_PARSED_P (in IDENTIFIER_NODE) |
62 | IS_BREAK_STMT_P (in EXPR_WITH_FILE_LOCATION) | |
1595a329 | 63 | IS_CRAFTED_STRING_BUFFER_P (in CALL_EXPR) |
1729c265 | 64 | IS_INIT_CHECKED (in SAVE_EXPR) |
c2952b01 APB |
65 | 6: CAN_COMPLETE_NORMALLY (in statement nodes) |
66 | OUTER_FIELD_ACCESS_IDENTIFIER_P (in IDENTIFIER_NODE) | |
e04a16fb AG |
67 | |
68 | Usage of TYPE_LANG_FLAG_?: | |
c2952b01 | 69 | 0: CLASS_ACCESS0_GENERATED_P (in RECORD_TYPE) |
e04a16fb AG |
70 | 1: TYPE_ARRAY_P (in RECORD_TYPE). |
71 | 2: CLASS_LOADED_P (in RECORD_TYPE). | |
72 | 3: CLASS_FROM_SOURCE_P (in RECORD_TYPE). | |
73 | 4: CLASS_P (in RECORD_TYPE). | |
b351b287 | 74 | 5: CLASS_FROM_CURRENTLY_COMPILED_SOURCE_P (in RECORD_TYPE) |
c2952b01 | 75 | 6: CLASS_BEING_LAIDOUT (in RECORD_TYPE) |
e04a16fb AG |
76 | |
77 | Usage of DECL_LANG_FLAG_?: | |
5e942c50 APB |
78 | 0: METHOD_DEPRECATED (in FUNCTION_DECL). |
79 | FIELD_DEPRECATED (in FIELD_DECL). | |
80 | CLASS_DEPRECATED (in TYPE_DECL). | |
e04a16fb AG |
81 | 1: METHOD_PUBLIC (in FUNCTION_DECL). |
82 | FIELD_PUBLIC (in FIELD_DECL). | |
83 | CLASS_PUBLIC (in TYPE_DECL). | |
84 | 2: METHOD_STATIC (in FUNCTION_DECL). | |
85 | (But note that FIELD_STATIC uses TREE_STATIC!) | |
86 | CLASS_COMPLETE_P (in TYPE_DECL) | |
87 | 3: METHOD_FINAL (in FUNCTION_DECL) | |
88 | FIELD_FINAL (in FIELD_DECL) | |
89 | CLASS_FINAL (in TYPE_DECL) | |
c2952b01 | 90 | LOCAL_FINAL (in VAR_DECL) |
e04a16fb AG |
91 | 4: METHOD_SYNCHRONIZED (in FUNCTION_DECL). |
92 | LABEL_IN_SUBR (in LABEL_DECL) | |
93 | CLASS_INTERFACE (in TYPE_DECL) | |
94 | FIELD_VOLATILE (int FIELD_DECL) | |
95 | 5: METHOD_ABSTRACT (in FUNCTION_DECL). | |
96 | LABEL_IS_SUBR_START (in LABEL_DECL) | |
97 | CLASS_ABSTRACT (in TYPE_DECL) | |
98 | FIELD_TRANSIENT (in FIELD_DECL) | |
99 | 6: METHOD_TRANSIENT (in FUNCTION_DECL) | |
100 | LABEL_CHANGED (in LABEL_DECL) | |
101 | CLASS_SUPER (in TYPE_DECL, ACC_SUPER flag) | |
c2952b01 | 102 | FIELD_LOCAL_ALIAS (in FIELD_DECL) |
5e942c50 | 103 | 7: DECL_CONSTRUCTOR_P (in FUNCTION_DECL). |
c2952b01 APB |
104 | CLASS_STATIC (in TYPE_DECL) |
105 | FIELD_LOCAL_ALIAS_USED (in FIELD_DECL) | |
106 | FIELD_THISN (in FIELD_DECL) | |
e04a16fb AG |
107 | */ |
108 | ||
109 | /* True if the class whose TYPE_BINFO this is has a superclass. | |
110 | (True of all classes except Object.) */ | |
111 | #define CLASS_HAS_SUPER_FLAG(BINFO) TREE_LANG_FLAG_1(BINFO) | |
112 | #define CLASS_HAS_SUPER(TYPE) CLASS_HAS_SUPER_FLAG (TYPE_BINFO (TYPE)) | |
113 | ||
114 | /* Return the supertype of class TYPE, or NULL_TREE is it has none. */ | |
115 | #define CLASSTYPE_SUPER(TYPE) (CLASS_HAS_SUPER (TYPE) ? \ | |
116 | BINFO_TYPE (TREE_VEC_ELT (TYPE_BINFO_BASETYPES (TYPE), 0)) : NULL_TREE) | |
117 | ||
118 | /* True if the class we are compiling is a .java source file; | |
119 | false if it is a .class bytecode file. */ | |
120 | extern int compiling_from_source; | |
121 | ||
122 | /* The class defined by the actual (main) file we are compiling. */ | |
123 | extern tree main_class; | |
124 | ||
125 | /* The class we are currently processing. */ | |
126 | extern tree current_class; | |
127 | ||
23a79c61 APB |
128 | /* List of all class DECLs seen so far. */ |
129 | extern tree all_class_list; | |
130 | ||
e04a16fb AG |
131 | /* Nonzero if we should make is_compiled_class always return 1 for |
132 | appropriate classes that we're referencing. */ | |
133 | ||
134 | extern int flag_assume_compiled; | |
135 | ||
136 | extern int flag_emit_class_files; | |
137 | ||
7145d9fe TT |
138 | /* When non zero, assume all native functions are implemented with |
139 | JNI, not CNI. */ | |
140 | ||
141 | extern int flag_jni; | |
142 | ||
235acd35 APB |
143 | /* When non zero, we emit xref strings. Values of the flag for xref |
144 | backends are defined in xref.h. */ | |
145 | ||
146 | extern int flag_emit_xref; | |
147 | ||
ce6e9147 APB |
148 | /* When doing xrefs, tell when not to fold. */ |
149 | extern int do_not_fold; | |
150 | ||
c877974e APB |
151 | /* Turned to 1 if -Wall was encountered. See lang.c for their meanings. */ |
152 | extern int flag_wall; | |
153 | extern int flag_redundant; | |
154 | extern int flag_not_overriding; | |
155 | extern int flag_static_local_jdk1_1; | |
156 | ||
aa4759c1 AH |
157 | /* When non zero, call a library routine to do integer divisions. */ |
158 | extern int flag_use_divide_subroutine; | |
159 | ||
5830574a TT |
160 | /* When non zero, generate code for the Boehm GC. */ |
161 | extern int flag_use_boehm_gc; | |
162 | ||
64aa33dd TT |
163 | /* When non zero, assume the runtime uses a hash table to map an |
164 | object to its synchronization structure. */ | |
165 | extern int flag_hash_synchronization; | |
166 | ||
e04a16fb | 167 | /* The Java .class file that provides main_class; the main input file. */ |
4f65832d | 168 | extern struct JCF *current_jcf; |
e04a16fb AG |
169 | |
170 | typedef struct CPool constant_pool; | |
171 | ||
172 | #define CONSTANT_ResolvedFlag 16 | |
173 | ||
174 | /* The cpool->data[i] for a ResolvedString points to a STRING_CST. */ | |
175 | #define CONSTANT_ResolvedString (CONSTANT_String+CONSTANT_ResolvedFlag) | |
176 | ||
177 | /* The cpool->data[i] for a ResolvedClass points to a RECORD_TYPE. */ | |
178 | #define CONSTANT_ResolvedClass (CONSTANT_Class+CONSTANT_ResolvedFlag) | |
179 | ||
180 | #define CPOOL_UTF(CPOOL, INDEX) ((tree) (CPOOL)->data[INDEX]) | |
181 | ||
182 | /* A NameAndType constant is represented as a TREE_LIST. | |
183 | The type is the signature string (as an IDENTIFIER_NODE). */ | |
184 | ||
185 | #define NAME_AND_TYPE_NAME(CPOOL, IDX) \ | |
186 | CPOOL_UTF(CPOOL, CPOOL_USHORT1(CPOOL, IDX)) | |
187 | #define NAME_AND_TYPE_SIGNATURE(CPOOL, IDX) \ | |
188 | CPOOL_UTF(CPOOL, CPOOL_USHORT2(CPOOL, IDX)) | |
189 | ||
190 | /* A FieldRef, MethodRef or InterfaceMethodRef constant | |
191 | is represented as a TREE_LIST. */ | |
192 | ||
193 | #define COMPONENT_REF_CLASS_INDEX(CPOOL, IDX) CPOOL_USHORT1(CPOOL, IDX) | |
194 | #define COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX) CPOOL_USHORT2(CPOOL, IDX) | |
195 | #define COMPONENT_REF_NAME(CPOOL, IDX) \ | |
196 | NAME_AND_TYPE_NAME (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX)) | |
197 | #define COMPONENT_REF_SIGNATURE(CPOOL, IDX) \ | |
198 | NAME_AND_TYPE_SIGNATURE (CPOOL, COMPONENT_REF_NAME_AND_TYPE(CPOOL, IDX)) | |
199 | ||
200 | /* "Promoted types" that are used for primitive types smaller | |
201 | than int. We could use int_type_node, but then we would lose | |
202 | type information (such as needed for debugging). */ | |
203 | extern tree promoted_byte_type_node; | |
204 | extern tree promoted_short_type_node; | |
205 | extern tree promoted_char_type_node; | |
206 | extern tree promoted_boolean_type_node; | |
207 | ||
208 | extern tree byte_type_node; | |
209 | extern tree short_type_node; | |
210 | extern tree int_type_node; | |
211 | extern tree long_type_node; | |
212 | ||
213 | extern tree unsigned_byte_type_node; | |
214 | extern tree unsigned_short_type_node; | |
215 | extern tree unsigned_int_type_node; | |
216 | extern tree unsigned_long_type_node; | |
217 | ||
218 | extern tree boolean_type_node; | |
e04a16fb AG |
219 | |
220 | extern tree object_type_node; | |
c877974e | 221 | extern tree unqualified_object_id_node; |
e04a16fb AG |
222 | extern tree object_ptr_type_node; |
223 | extern tree string_type_node; | |
cd9643f7 | 224 | extern tree string_ptr_type_node; |
e04a16fb | 225 | extern tree throwable_type_node; |
b9f7e36c APB |
226 | extern tree runtime_exception_type_node; |
227 | extern tree error_exception_type_node; | |
652f2504 | 228 | extern tree rawdata_ptr_type_node; |
e04a16fb | 229 | |
5423609c APB |
230 | extern tree *predef_filenames; |
231 | extern int predef_filenames_size; | |
232 | ||
e04a16fb AG |
233 | extern tree byte_array_type_node; |
234 | extern tree short_array_type_node; | |
235 | extern tree int_array_type_node; | |
236 | extern tree long_array_type_node; | |
237 | extern tree boolean_array_type_node; | |
238 | extern tree char_array_type_node; | |
239 | extern tree double_array_type_node; | |
240 | extern tree float_array_type_node; | |
241 | extern tree array_array_type_node; | |
242 | extern tree object_array_type_node; | |
243 | extern tree string_array_type_node; | |
244 | extern tree TYPE_identifier_node; /* "TYPE" */ | |
245 | extern tree init_identifier_node; /* "<init>" */ | |
246 | extern tree clinit_identifier_node; /* "<clinit>" */ | |
157412f5 | 247 | extern tree finit_identifier_node; /* "$finit$" */ |
e04a16fb | 248 | extern tree void_signature_node; /* "()V" */ |
e04a16fb AG |
249 | extern tree length_identifier_node; /* "length" */ |
250 | extern tree this_identifier_node; /* "this" */ | |
251 | extern tree super_identifier_node; /* "super" */ | |
b635eb2f | 252 | extern tree continue_identifier_node; /* "continue" */ |
c2952b01 | 253 | extern tree access0_identifier_node; /* "access$0" */ |
e04a16fb | 254 | extern tree one_elt_array_domain_type; |
e04a16fb AG |
255 | /* The type of the return address of a subroutine. */ |
256 | extern tree return_address_type_node; | |
257 | ||
258 | /* Nodes for boolean constants TRUE and FALSE. */ | |
259 | extern tree boolean_true_node, boolean_false_node; | |
260 | ||
261 | /* Integer constants not declared in tree.h. */ | |
4a5f66c3 APB |
262 | extern tree long_zero_node; |
263 | extern tree float_zero_node; | |
264 | extern tree double_zero_node; | |
e04a16fb AG |
265 | extern tree integer_negative_one_node; |
266 | extern tree integer_two_node; | |
267 | extern tree integer_four_node; | |
9bbc7d9f | 268 | extern tree empty_stmt_node; |
e04a16fb AG |
269 | |
270 | /* The type for struct methodtable. */ | |
271 | extern tree methodtable_type; | |
272 | extern tree methodtable_ptr_type; | |
273 | ||
274 | extern tree utf8const_type; | |
275 | extern tree utf8const_ptr_type; | |
276 | ||
277 | extern tree class_type_node; | |
278 | extern tree class_ptr_type; | |
279 | extern tree field_type_node; | |
280 | extern tree constants_type_node; | |
281 | extern tree dtable_type, dtable_ptr_type; | |
282 | extern tree field_ptr_type_node; | |
283 | extern tree field_info_union_node; | |
284 | extern tree method_type_node; | |
285 | extern tree method_ptr_type_node; | |
286 | #define nativecode_ptr_type_node ptr_type_node | |
287 | ||
de4c7b02 PB |
288 | extern tree end_params_node; |
289 | ||
e04a16fb AG |
290 | /* References to internal libjava functions we use. */ |
291 | extern tree alloc_object_node; | |
292 | extern tree soft_instanceof_node; | |
293 | extern tree soft_checkcast_node; | |
294 | extern tree soft_initclass_node; | |
295 | extern tree soft_newarray_node; | |
296 | extern tree soft_anewarray_node; | |
297 | extern tree soft_multianewarray_node; | |
298 | extern tree soft_badarrayindex_node; | |
e815887f | 299 | extern tree soft_nullpointer_node; |
8bbb23b7 | 300 | extern tree throw_node[]; |
e04a16fb AG |
301 | extern tree soft_checkarraystore_node; |
302 | extern tree soft_monitorenter_node; | |
303 | extern tree soft_monitorexit_node; | |
304 | extern tree soft_lookupinterfacemethod_node; | |
7145d9fe TT |
305 | extern tree soft_lookupjnimethod_node; |
306 | extern tree soft_getjnienvnewframe_node; | |
307 | extern tree soft_jnipopsystemframe_node; | |
e04a16fb | 308 | extern tree soft_fmod_node; |
1595a329 | 309 | extern tree soft_exceptioninfo_call_node; |
aa4759c1 AH |
310 | extern tree soft_idiv_node; |
311 | extern tree soft_irem_node; | |
312 | extern tree soft_ldiv_node; | |
313 | extern tree soft_lrem_node; | |
e04a16fb AG |
314 | |
315 | extern tree access_flags_type_node; | |
316 | ||
317 | extern tree class_dtable_decl; | |
318 | ||
319 | /* They need to be reset before processing each class */ | |
320 | extern struct CPool *outgoing_cpool; | |
321 | extern tree current_constant_pool_data_ref; | |
322 | ||
12472854 | 323 | extern tree wfl_operator; |
e04a16fb | 324 | |
c2952b01 APB |
325 | extern char *cyclic_inheritance_report; |
326 | ||
327 | extern char *cyclic_inheritance_report; | |
328 | ||
e04a16fb AG |
329 | struct lang_identifier |
330 | { | |
331 | struct tree_identifier ignore; | |
332 | tree global_value, local_value; | |
333 | ||
334 | /* If non-NULL: An ADDR_REF to a VAR_DECL that contains | |
335 | * the Utf8Const representation of the identifier. */ | |
336 | tree utf8_ref; | |
337 | }; | |
338 | ||
339 | /* Macros for access to language-specific slots in an identifier. */ | |
340 | /* UNless specifide, each of these slots contains a DECL node or null. */ | |
341 | ||
342 | /* This represents the value which the identifier has in the | |
343 | file-scope namespace. */ | |
344 | #define IDENTIFIER_GLOBAL_VALUE(NODE) \ | |
345 | (((struct lang_identifier *)(NODE))->global_value) | |
346 | /* This represents the value which the identifier has in the current | |
347 | scope. */ | |
348 | #define IDENTIFIER_LOCAL_VALUE(NODE) \ | |
349 | (((struct lang_identifier *)(NODE))->local_value) | |
350 | ||
351 | /* Given an identifier NODE, get the corresponding (non-handle) class. | |
352 | For get_identifier ("java.lang.Number"), the result is | |
353 | the struct whose DECL_ASSEMBLER_NAME is "Classjava_lang_Number". */ | |
354 | #define IDENTIFIER_CLASS_VALUE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE) | |
355 | ||
356 | /* Given an identifier NODE, get the corresponding handle class. | |
357 | For get_identifier ("java.lang.Number"), the result is | |
358 | the struct whose DECL_ASSEMBLER_NAME is "Hjava_lang_Number". */ | |
359 | #define IDENTIFIER_HANDLECLASS_VALUE(NODE) ??? | |
360 | ||
361 | /* Given a signature of a reference (or array) type, or a method, return the | |
362 | corresponding type (if one has been allocated). | |
363 | Do not use for primitive types, since they may be ambiguous. | |
364 | (E.g. is "I" a signature or a class name?) */ | |
365 | #define IDENTIFIER_SIGNATURE_TYPE(NODE) IDENTIFIER_GLOBAL_VALUE(NODE) | |
366 | ||
367 | /* If non-NULL: An ADDR_REF to a VAR_DECL that contains | |
368 | the Utf8Const representation of the identifier. */ | |
369 | #define IDENTIFIER_UTF8_REF(NODE) \ | |
370 | (((struct lang_identifier *)(NODE))->utf8_ref) | |
371 | ||
372 | #define IDENTIFIER_UTF8_DECL(NODE) \ | |
373 | TREE_OPERAND((((struct lang_identifier *)(NODE))->utf8_ref), 0) | |
374 | ||
375 | /* For a FUNCTION_DECL, if we are compiling a .class file, then this is | |
376 | the position in the .class file of the method code. | |
377 | Specifically, this is the code itself, not the code attribute. */ | |
378 | #define DECL_CODE_OFFSET(DECL) (DECL_LANG_SPECIFIC(DECL)->code_offset) | |
379 | /* Similarly, the length of the bytecode. */ | |
380 | #define DECL_CODE_LENGTH(DECL) (DECL_LANG_SPECIFIC(DECL)->code_length) | |
381 | /* Similarly, the position of the LineNumberTable attribute. */ | |
382 | #define DECL_LINENUMBERS_OFFSET(DECL) \ | |
383 | (DECL_LANG_SPECIFIC(DECL)->linenumbers_offset) | |
384 | /* Similarly, the position of the LocalVariableTable attribute | |
385 | (following the standard attribute header). */ | |
386 | #define DECL_LOCALVARIABLES_OFFSET(DECL) \ | |
387 | (DECL_LANG_SPECIFIC(DECL)->localvariables_offset) | |
388 | ||
389 | #define DECL_MAX_LOCALS(DECL) (DECL_LANG_SPECIFIC(DECL)->max_locals) | |
390 | #define DECL_MAX_STACK(DECL) (DECL_LANG_SPECIFIC(DECL)->max_stack) | |
391 | /* Number of local variable slots needed for the arguments of this function. */ | |
392 | #define DECL_ARG_SLOT_COUNT(DECL) (DECL_LANG_SPECIFIC(DECL)->arg_slot_count) | |
b9f7e36c APB |
393 | /* List of checked thrown exceptions, as specified with the `throws' |
394 | keyword */ | |
395 | #define DECL_FUNCTION_THROWS(DECL) (DECL_LANG_SPECIFIC(DECL)->throws_list) | |
22eed1e6 APB |
396 | /* List of other constructors of the same class that this constructor |
397 | calls */ | |
398 | #define DECL_CONSTRUCTOR_CALLS(DECL) \ | |
399 | (DECL_LANG_SPECIFIC(DECL)->called_constructor) | |
c2952b01 APB |
400 | /* When the function is an access function, the DECL it was trying to |
401 | access */ | |
402 | #define DECL_FUNCTION_ACCESS_DECL(DECL) \ | |
403 | (DECL_LANG_SPECIFIC(DECL)->called_constructor) | |
404 | /* The identifier of the access method used to invoke this method from | |
405 | an inner class. */ | |
406 | #define DECL_FUNCTION_INNER_ACCESS(DECL) \ | |
407 | (DECL_LANG_SPECIFIC(DECL)->inner_access) | |
b9f7e36c APB |
408 | /* Pointer to the function's current's COMPOUND_EXPR tree (while |
409 | completing its body) or the function's block */ | |
e04a16fb | 410 | #define DECL_FUNCTION_BODY(DECL) (DECL_LANG_SPECIFIC(DECL)->function_decl_body) |
b9f7e36c APB |
411 | /* How specific the function is (for method selection - Java source |
412 | code front-end */ | |
1595a329 | 413 | #define DECL_SPECIFIC_COUNT(DECL) DECL_ARG_SLOT_COUNT(DECL) |
3ff9925c AG |
414 | /* For each function decl, init_test_table contains a hash table whose |
415 | entries are keyed on class names, and whose values are local | |
416 | boolean decls. The variables are intended to be TRUE when the | |
417 | class has been initialized in this function, and FALSE otherwise. */ | |
418 | #define DECL_FUNCTION_INIT_TEST_TABLE(DECL) \ | |
419 | (DECL_LANG_SPECIFIC(DECL)->init_test_table) | |
c2952b01 APB |
420 | /* The Number of Artificial Parameters (NAP) DECL contains. this$<n> |
421 | is excluded, because sometimes created as a parameter before the | |
422 | function decl exists. */ | |
423 | #define DECL_FUNCTION_NAP(DECL) (DECL_LANG_SPECIFIC(DECL)->nap) | |
424 | ||
425 | /* For a FIELD_DECL, holds the name of the access method used to | |
426 | read/write the content of the field from an inner class. | |
427 | The cast is ugly. FIXME */ | |
428 | #define FIELD_INNER_ACCESS(DECL) ((tree)DECL_LANG_SPECIFIC (DECL)) | |
429 | ||
430 | /* True when DECL aliases an outer context local variable. */ | |
431 | #define FIELD_LOCAL_ALIAS(DECL) DECL_LANG_FLAG_6 (DECL) | |
432 | ||
433 | /* True when DECL, which aliases an outer context local variable is | |
434 | used by the inner classe */ | |
435 | #define FIELD_LOCAL_ALIAS_USED(DECL) DECL_LANG_FLAG_7 (DECL) | |
436 | ||
437 | /* True when DECL is a this$<n> field. Note that | |
438 | FIELD_LOCAL_ALIAS_USED can be differenciated when tested against | |
439 | FIELD_LOCAL_ALIAS. */ | |
440 | #define FIELD_THISN(DECL) DECL_LANG_FLAG_7 (DECL) | |
e04a16fb AG |
441 | |
442 | /* In a LABEL_DECL, a TREE_VEC that saves the type_map at that point. */ | |
443 | #define LABEL_TYPE_STATE(NODE) (DECL_INITIAL (NODE)) | |
444 | ||
445 | /* In the label of a subroutine, a dummy label that records the | |
446 | state following a merge of all the ret instructions in this subroutine. */ | |
447 | #define LABEL_RETURN_LABEL(DECL) DECL_ARGUMENTS(DECL) | |
448 | ||
449 | /* In the label of a sub-routine, records the type state at return. | |
450 | * A local may be TYPE_UNUSED, which means that the local is not | |
451 | * used (stored to or loaded from) in this subroutine - at least for | |
452 | * code that we have verified so far. */ | |
453 | #define LABEL_RETURN_TYPE_STATE(NODE) LABEL_TYPE_STATE (LABEL_RETURN_LABEL (NODE)) | |
454 | ||
455 | /* In a TREE_VEC for a LABEL_RETURN_TYPE_STATE, notes that | |
456 | TREE_VEC_LENGTH has been adjust to the correct stack size. */ | |
457 | #define RETURN_MAP_ADJUSTED(NODE) TREE_LANG_FLAG_2(NODE) | |
458 | ||
459 | /* In the label of a sub-routine, a chain of the return location labels. */ | |
460 | #define LABEL_RETURN_LABELS(node) DECL_RESULT (LABEL_RETURN_LABEL(node)) | |
461 | ||
462 | /* In a LABEL_DECL, the next pending label. | |
463 | See pending_blocks in expr.c. */ | |
464 | #define LABEL_PENDING_CHAIN(NODE) DECL_RESULT(NODE) | |
465 | ||
466 | /* In a LABEL_DECL, the corresponding bytecode program counter. */ | |
9df2c88c | 467 | #define LABEL_PC(NODE) ((NODE)->decl.u2.i) |
e04a16fb AG |
468 | |
469 | /* Used during verification to mark the label has "changed". (See JVM Spec). */ | |
470 | #define LABEL_CHANGED(NODE) DECL_LANG_FLAG_6(NODE) | |
471 | ||
472 | /* In a LABEL_DECL, true if we have verified instructions starting here. */ | |
473 | #define LABEL_VERIFIED(NODE) (instruction_bits[LABEL_PC(NODE)]&BCODE_VERIFIED) | |
474 | ||
475 | /* True if this code is within a subroutine (target of a jsr). */ | |
476 | #define LABEL_IN_SUBR(NODE) DECL_LANG_FLAG_4(NODE) | |
477 | /* True if this code is the start of a subroutine (target of a jsr). */ | |
478 | #define LABEL_IS_SUBR_START(NODE) DECL_LANG_FLAG_5(NODE) | |
479 | ||
480 | /* In a LABEL_DECL, if LABEL_IN_SUBR(NODE), points to start of subroutine. */ | |
481 | #define LABEL_SUBR_START(NODE) DECL_ABSTRACT_ORIGIN(NODE) | |
482 | ||
483 | /* In a LABEL_DECL that has LABEL_IS_SUBR_START, this points to the start | |
484 | of surrounding subroutine in the case of a nested subroutine, | |
485 | and NULL_TREE otherwise. */ | |
486 | #define LABEL_SUBR_CONTEXT(NODE) DECL_CONTEXT (LABEL_RETURN_LABEL (NODE)) | |
487 | ||
488 | /* The slot number for this local variable. */ | |
489 | #define DECL_LOCAL_SLOT_NUMBER(NODE) \ | |
490 | (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->slot_number) | |
491 | /* The start (bytecode) pc for the valid range of this local variable. */ | |
492 | #define DECL_LOCAL_START_PC(NODE) \ | |
493 | (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->start_pc) | |
494 | /* The end (bytecode) pc for the valid range of this local variable. */ | |
495 | #define DECL_LOCAL_END_PC(NODE) \ | |
496 | (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->end_pc) | |
497 | /* For a VAR_DECLor PARM_DECL, used to chain decls with the same | |
498 | slot_number in decl_map. */ | |
499 | #define DECL_LOCAL_SLOT_CHAIN(NODE) \ | |
500 | (((struct lang_decl_var*)DECL_LANG_SPECIFIC(NODE))->slot_chain) | |
501 | ||
3ff9925c AG |
502 | /* For a local VAR_DECL, holds the index into a words bitstring that |
503 | specifies if this decl is definitively assigned. | |
504 | A DECL_BIT_INDEX of -1 means we no longer care. */ | |
9df2c88c | 505 | #define DECL_BIT_INDEX(DECL) (DECL_CHECK (DECL)->decl.u2.i) |
3ff9925c | 506 | |
e04a16fb AG |
507 | /* DECL_LANG_SPECIFIC for FUNCTION_DECLs. */ |
508 | struct lang_decl | |
509 | { | |
510 | /* tree chain; not yet used. */ | |
511 | long code_offset; | |
512 | int code_length; | |
513 | long linenumbers_offset; | |
514 | long localvariables_offset; | |
515 | int arg_slots; | |
516 | int max_locals, max_stack, arg_slot_count; | |
b9f7e36c | 517 | tree throws_list; /* Exception specified by `throws' */ |
e04a16fb | 518 | tree function_decl_body; /* Hold all function's statements */ |
22eed1e6 APB |
519 | tree called_constructor; /* When decl is a constructor, the |
520 | list of other constructor it calls. */ | |
3ff9925c | 521 | struct hash_table init_test_table; |
c2952b01 APB |
522 | /* Class initialization test variables. */ |
523 | tree inner_access; /* The identifier of the access method | |
524 | used for invocation from inner classes */ | |
525 | int nap; /* Number of artificial parameters */ | |
7145d9fe TT |
526 | |
527 | int native : 1; /* Nonzero if this is a native | |
528 | method. */ | |
3ff9925c AG |
529 | }; |
530 | ||
531 | /* init_test_table hash table entry structure. */ | |
532 | struct init_test_hash_entry | |
533 | { | |
534 | struct hash_entry root; | |
535 | tree init_test_decl; | |
e04a16fb AG |
536 | }; |
537 | ||
538 | /* DECL_LANG_SPECIFIC for VAR_DECL and PARM_DECL. */ | |
539 | struct lang_decl_var | |
540 | { | |
541 | int slot_number; | |
542 | int start_pc; | |
543 | int end_pc; | |
544 | tree slot_chain; | |
545 | }; | |
546 | ||
c2952b01 APB |
547 | /* Macro to access fields in `struct lang_type'. */ |
548 | ||
549 | #define TYPE_SIGNATURE(T) (TYPE_LANG_SPECIFIC(T)->signature) | |
550 | #define TYPE_JCF(T) (TYPE_LANG_SPECIFIC(T)->jcf) | |
551 | #define TYPE_CPOOL(T) (TYPE_LANG_SPECIFIC(T)->cpool) | |
552 | #define TYPE_CPOOL_DATA_REF(T) (TYPE_LANG_SPECIFIC(T)->cpool_data_ref) | |
553 | #define MAYBE_CREATE_TYPE_TYPE_LANG_SPECIFIC(T) \ | |
554 | if (TYPE_LANG_SPECIFIC ((T)) == NULL) \ | |
555 | { \ | |
556 | TYPE_LANG_SPECIFIC ((T)) = \ | |
770ae6cc RK |
557 | (struct lang_type *) xmalloc (sizeof (struct lang_type)); \ |
558 | \ | |
559 | bzero ((char *) TYPE_LANG_SPECIFIC ((T)), \ | |
560 | sizeof (struct lang_type)); \ | |
c2952b01 | 561 | } |
770ae6cc | 562 | |
c2952b01 APB |
563 | #define TYPE_FINIT_STMT_LIST(T) (TYPE_LANG_SPECIFIC(T)->finit_stmt_list) |
564 | #define TYPE_CLINIT_STMT_LIST(T) (TYPE_LANG_SPECIFIC(T)->clinit_stmt_list) | |
565 | #define TYPE_II_STMT_LIST(T) (TYPE_LANG_SPECIFIC(T)->ii_block) | |
165f37bc APB |
566 | /* The decl of the synthetic method `class$' used to handle `.class' |
567 | for non primitive types when compiling to bytecode. */ | |
568 | #define TYPE_DOT_CLASS(T) (TYPE_LANG_SPECIFIC(T)->dot_class) | |
c2952b01 | 569 | |
e04a16fb AG |
570 | struct lang_type |
571 | { | |
572 | tree signature; | |
573 | struct JCF *jcf; | |
c2952b01 APB |
574 | struct CPool *cpool; |
575 | tree cpool_data_ref; /* Cached */ | |
576 | tree finit_stmt_list; /* List of statements $finit$ will use */ | |
577 | tree clinit_stmt_list; /* List of statements <clinit> will use */ | |
578 | tree ii_block; /* Instance initializer block */ | |
165f37bc APB |
579 | tree dot_class; /* The decl of the `class$' function that |
580 | needs to be invoked and generated when | |
581 | compiling to bytecode to implement | |
582 | <non_primitive_type>.class */ | |
e04a16fb AG |
583 | }; |
584 | ||
585 | #ifdef JAVA_USE_HANDLES | |
586 | /* TYPE_BINFO_HANDLE points from a handle-class to its corresponding | |
587 | non-handle-class, and vice verse. */ | |
588 | ||
589 | #define BINFO_HANDLE(NODE) TREE_VEC_ELT ((NODE), 6) | |
590 | ||
591 | /* Given a RECORD_TYPE for a handle type, return the corresponding class. */ | |
592 | #define HANDLE_TO_CLASS_TYPE(HTYPE) BINFO_HANDLE (TYPE_BINFO (HTYPE)) | |
593 | ||
594 | /* Given a RECORD_TYPE for a class, return the corresponding handle type. */ | |
595 | #define CLASS_TO_HANDLE_TYPE(TYPE) BINFO_HANDLE (TYPE_BINFO (TYPE)) | |
596 | #else | |
597 | #define HANDLE_TO_CLASS_TYPE(HTYPE) (HTYPE) | |
598 | #define CLASS_TO_HANDLE_TYPE(TYPE) (TYPE) | |
599 | #endif | |
600 | ||
601 | #define JCF_u4 unsigned long | |
602 | #define JCF_u2 unsigned short | |
603 | ||
df32d2ce KG |
604 | extern void add_assume_compiled PARAMS ((const char *, int)); |
605 | extern tree lookup_class PARAMS ((tree)); | |
606 | extern tree lookup_java_constructor PARAMS ((tree, tree)); | |
607 | extern tree lookup_java_method PARAMS ((tree, tree, tree)); | |
608 | extern tree lookup_argument_method PARAMS ((tree, tree, tree)); | |
614eaae0 | 609 | extern tree lookup_argument_method2 PARAMS ((tree, tree, tree)); |
df32d2ce KG |
610 | extern tree promote_type PARAMS ((tree)); |
611 | extern tree get_constant PARAMS ((struct JCF*, int)); | |
612 | extern tree get_name_constant PARAMS ((struct JCF*, int)); | |
613 | extern tree get_class_constant PARAMS ((struct JCF*, int)); | |
614 | extern tree parse_signature PARAMS ((struct JCF *jcf, int sig_index)); | |
615 | extern void jcf_parse PARAMS ((struct JCF*)); | |
616 | extern tree add_field PARAMS ((tree, tree, tree, int)); | |
617 | extern tree add_method PARAMS ((tree, int, tree, tree)); | |
618 | extern tree add_method_1 PARAMS ((tree, int, tree, tree)); | |
619 | extern tree make_class PARAMS ((void)); | |
620 | extern tree push_class PARAMS ((tree, tree)); | |
621 | extern tree unmangle_classname PARAMS ((const char *name, int name_length)); | |
622 | extern tree parse_signature_string PARAMS ((const unsigned char *, int)); | |
623 | extern tree get_type_from_signature PARAMS ((tree)); | |
624 | extern void layout_class PARAMS ((tree)); | |
625 | extern tree layout_class_method PARAMS ((tree, tree, tree, tree)); | |
626 | extern void layout_class_methods PARAMS ((tree)); | |
627 | extern tree build_class_ref PARAMS ((tree)); | |
628 | extern tree build_dtable_decl PARAMS ((tree)); | |
629 | extern tree build_internal_class_name PARAMS ((tree)); | |
630 | extern tree build_constants_constructor PARAMS ((void)); | |
631 | extern tree build_ref_from_constant_pool PARAMS ((int)); | |
632 | extern tree build_utf8_ref PARAMS ((tree)); | |
633 | extern tree ident_subst PARAMS ((const char*, int, | |
e04a16fb | 634 | const char*, int, int, const char*)); |
df32d2ce | 635 | extern tree identifier_subst PARAMS ((const tree, |
e04a16fb | 636 | const char *, int, int, const char *)); |
df32d2ce KG |
637 | extern tree build_java_signature PARAMS ((tree)); |
638 | extern tree build_java_argument_signature PARAMS ((tree)); | |
639 | extern void set_java_signature PARAMS ((tree, tree)); | |
640 | extern tree build_static_field_ref PARAMS ((tree)); | |
641 | extern tree build_address_of PARAMS ((tree)); | |
642 | extern tree find_local_variable PARAMS ((int index, tree type, int pc)); | |
643 | extern tree find_stack_slot PARAMS ((int index, tree type)); | |
644 | extern tree build_prim_array_type PARAMS ((tree, HOST_WIDE_INT)); | |
645 | extern tree build_java_array_type PARAMS ((tree, HOST_WIDE_INT)); | |
646 | extern int is_compiled_class PARAMS ((tree)); | |
647 | extern tree mangled_classname PARAMS ((const char*, tree)); | |
648 | extern tree lookup_label PARAMS ((int)); | |
649 | extern tree pop_type_0 PARAMS ((tree)); | |
650 | extern tree pop_type PARAMS ((tree)); | |
651 | extern void pop_argument_types PARAMS ((tree)); | |
652 | extern tree decode_newarray_type PARAMS ((int)); | |
653 | extern tree lookup_field PARAMS ((tree*, tree)); | |
654 | extern int is_array_type_p PARAMS ((tree)); | |
655 | extern HOST_WIDE_INT java_array_type_length PARAMS ((tree)); | |
656 | extern int read_class PARAMS ((tree)); | |
657 | extern void load_class PARAMS ((tree, int)); | |
658 | ||
659 | extern tree lookup_name PARAMS ((tree)); | |
660 | extern tree build_known_method_ref PARAMS ((tree, tree, tree, tree, tree)); | |
661 | extern tree build_class_init PARAMS ((tree, tree)); | |
662 | extern tree build_invokevirtual PARAMS ((tree, tree)); | |
173f556c | 663 | extern tree build_invokeinterface PARAMS ((tree, tree)); |
7145d9fe | 664 | extern tree build_jni_stub PARAMS ((tree)); |
df32d2ce KG |
665 | extern tree invoke_build_dtable PARAMS ((int, tree)); |
666 | extern tree build_field_ref PARAMS ((tree, tree, tree)); | |
667 | extern void pushdecl_force_head PARAMS ((tree)); | |
668 | extern tree build_java_binop PARAMS ((enum tree_code, tree, tree, tree)); | |
669 | extern tree build_java_soft_divmod PARAMS ((enum tree_code, tree, tree, tree)); | |
670 | extern tree binary_numeric_promotion PARAMS ((tree, tree, tree *, tree *)); | |
671 | extern tree build_java_arrayaccess PARAMS ((tree, tree, tree)); | |
672 | extern tree build_newarray PARAMS ((int, tree)); | |
673 | extern tree build_anewarray PARAMS ((tree, tree)); | |
674 | extern tree build_new_array PARAMS ((tree, tree)); | |
675 | extern tree build_java_array_length_access PARAMS ((tree)); | |
676 | extern tree build_java_arraynull_check PARAMS ((tree, tree, tree)); | |
43490bec TT |
677 | extern tree build_get_class PARAMS ((tree)); |
678 | extern tree build_instanceof PARAMS ((tree, tree)); | |
df32d2ce KG |
679 | extern tree create_label_decl PARAMS ((tree)); |
680 | extern void push_labeled_block PARAMS ((tree)); | |
681 | extern tree prepare_eh_table_type PARAMS ((tree)); | |
682 | extern void java_set_exception_lang_code PARAMS ((void)); | |
683 | extern tree generate_name PARAMS ((void)); | |
684 | extern void pop_labeled_block PARAMS ((void)); | |
685 | extern const char *lang_printable_name PARAMS ((tree, int)); | |
686 | extern tree maybe_add_interface PARAMS ((tree, tree)); | |
687 | extern void set_super_info PARAMS ((int, tree, tree, int)); | |
688 | extern int get_access_flags_from_decl PARAMS ((tree)); | |
689 | extern int interface_of_p PARAMS ((tree, tree)); | |
690 | extern int inherits_from_p PARAMS ((tree, tree)); | |
c2952b01 | 691 | extern int enclosing_context_p PARAMS ((tree, tree)); |
df32d2ce KG |
692 | extern void complete_start_java_method PARAMS ((tree)); |
693 | extern tree build_result_decl PARAMS ((tree)); | |
694 | extern void emit_handlers PARAMS ((void)); | |
695 | extern void init_outgoing_cpool PARAMS ((void)); | |
696 | extern void make_class_data PARAMS ((tree)); | |
697 | extern void register_class PARAMS ((void)); | |
698 | extern int alloc_name_constant PARAMS ((int, tree)); | |
699 | extern void emit_register_classes PARAMS ((void)); | |
700 | extern void lang_init_source PARAMS ((int)); | |
701 | extern void write_classfile PARAMS ((tree)); | |
702 | extern char *print_int_node PARAMS ((tree)); | |
703 | extern void parse_error_context PARAMS ((tree cl, const char *, ...)) | |
d4476be2 | 704 | ATTRIBUTE_PRINTF_2; |
df32d2ce KG |
705 | extern tree build_primtype_type_ref PARAMS ((const char *)); |
706 | extern tree java_get_real_method_name PARAMS ((tree)); | |
707 | extern void finish_class PARAMS ((void)); | |
708 | extern void java_layout_seen_class_methods PARAMS ((void)); | |
709 | extern void check_for_initialization PARAMS ((tree)); | |
710 | ||
711 | extern tree pushdecl_top_level PARAMS ((tree)); | |
712 | extern int alloc_class_constant PARAMS ((tree)); | |
713 | extern int unicode_mangling_length PARAMS ((const char *, int)); | |
714 | extern void init_expr_processing PARAMS ((void)); | |
715 | extern void push_super_field PARAMS ((tree, tree)); | |
716 | extern void init_class_processing PARAMS ((void)); | |
717 | extern int can_widen_reference_to PARAMS ((tree, tree)); | |
718 | extern int class_depth PARAMS ((tree)); | |
719 | extern int verify_jvm_instructions PARAMS ((struct JCF *, const unsigned char *, long)); | |
720 | extern void maybe_pushlevels PARAMS ((int)); | |
721 | extern void maybe_poplevels PARAMS ((int)); | |
e8b22dd1 | 722 | extern void force_poplevels PARAMS ((int)); |
df32d2ce KG |
723 | extern int process_jvm_instruction PARAMS ((int, const unsigned char *, long)); |
724 | extern void set_local_type PARAMS ((int, tree)); | |
725 | extern int merge_type_state PARAMS ((tree)); | |
726 | extern void push_type PARAMS ((tree)); | |
727 | extern void load_type_state PARAMS ((tree)); | |
728 | extern void add_interface PARAMS ((tree, tree)); | |
729 | extern void append_gpp_mangled_name PARAMS ((struct obstack *, const char *, int)); | |
730 | extern void append_gpp_mangled_classtype PARAMS ((struct obstack *, const char *)); | |
731 | extern void emit_unicode_mangled_name PARAMS ((struct obstack *, const char *, int)); | |
732 | extern tree force_evaluation_order PARAMS ((tree)); | |
733 | extern int verify_constant_pool PARAMS ((struct JCF *)); | |
734 | extern void start_java_method PARAMS ((tree)); | |
735 | extern void end_java_method PARAMS ((void)); | |
736 | extern void give_name_to_locals PARAMS ((struct JCF *)); | |
737 | extern void expand_byte_code PARAMS ((struct JCF *, tree)); | |
738 | extern int open_in_zip PARAMS ((struct JCF *, const char *, const char *, int)); | |
739 | extern void set_constant_value PARAMS ((tree, tree)); | |
8e1f2d4c | 740 | #ifdef jword |
df32d2ce KG |
741 | extern int find_constant1 PARAMS ((struct CPool *, int, jword)); |
742 | extern int find_constant2 PARAMS ((struct CPool *, int, jword, jword)); | |
8e1f2d4c | 743 | #endif |
df32d2ce KG |
744 | extern int find_utf8_constant PARAMS ((struct CPool *, tree)); |
745 | extern int find_string_constant PARAMS ((struct CPool *, tree)); | |
746 | extern int find_class_constant PARAMS ((struct CPool *, tree)); | |
747 | extern int find_fieldref_index PARAMS ((struct CPool *, tree)); | |
748 | extern int find_methodref_index PARAMS ((struct CPool *, tree)); | |
749 | extern void write_constant_pool PARAMS ((struct CPool *, unsigned char *, int)); | |
750 | extern int count_constant_pool_bytes PARAMS ((struct CPool *)); | |
751 | extern int encode_newarray_type PARAMS ((tree)); | |
4bcde32e | 752 | #ifdef uint64 |
df32d2ce KG |
753 | extern void format_int PARAMS ((char *, jlong, int)); |
754 | extern void format_uint PARAMS ((char *, uint64, int)); | |
4bcde32e | 755 | #endif |
df32d2ce | 756 | extern void jcf_trim_old_input PARAMS ((struct JCF *)); |
4bcde32e | 757 | #ifdef BUFSIZ |
df32d2ce KG |
758 | extern void jcf_print_utf8 PARAMS ((FILE *, const unsigned char *, int)); |
759 | extern void jcf_print_char PARAMS ((FILE *, int)); | |
760 | extern void jcf_print_utf8_replace PARAMS ((FILE *, const unsigned char *, | |
4bcde32e KG |
761 | int, int, int)); |
762 | # if JCF_USE_STDIO | |
3b304f5b ZW |
763 | extern const char* open_class PARAMS ((const char *, struct JCF *, |
764 | FILE *, const char *)); | |
4bcde32e | 765 | # else |
3b304f5b ZW |
766 | extern const char* open_class PARAMS ((const char *, struct JCF *, |
767 | int, const char *)); | |
4bcde32e KG |
768 | # endif /* JCF_USE_STDIO */ |
769 | #endif | |
df32d2ce | 770 | void java_debug_context PARAMS ((void)); |
614eaae0 | 771 | void safe_layout_class PARAMS ((tree)); |
d4476be2 | 772 | |
5830574a | 773 | extern tree get_boehm_type_descriptor PARAMS ((tree)); |
e0422ed0 APB |
774 | extern unsigned long java_hash_hash_tree_node PARAMS ((hash_table_key)); |
775 | extern boolean java_hash_compare_tree_node PARAMS ((hash_table_key, | |
776 | hash_table_key)); | |
5830574a | 777 | |
49f48c71 KG |
778 | /* We use ARGS_SIZE_RTX to indicate that gcc/expr.h has been included |
779 | to declare `enum expand_modifier'. */ | |
780 | #if defined (TREE_CODE) && defined(RTX_CODE) && defined (HAVE_MACHINE_MODES) && defined (ARGS_SIZE_RTX) | |
df32d2ce | 781 | struct rtx_def * java_lang_expand_expr PARAMS ((tree, rtx, enum machine_mode, |
49f48c71 KG |
782 | enum expand_modifier)); |
783 | #endif /* TREE_CODE && RTX_CODE && HAVE_MACHINE_MODES && ARGS_SIZE_RTX */ | |
784 | ||
e04a16fb AG |
785 | /* Access flags etc for a method (a FUNCTION_DECL): */ |
786 | ||
787 | #define METHOD_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL) | |
788 | #define METHOD_PRIVATE(DECL) TREE_PRIVATE (DECL) | |
789 | #define METHOD_PROTECTED(DECL) TREE_PROTECTED (DECL) | |
790 | #define METHOD_STATIC(DECL) DECL_LANG_FLAG_2 (DECL) | |
791 | #define METHOD_FINAL(DECL) DECL_LANG_FLAG_3 (DECL) | |
792 | #define METHOD_SYNCHRONIZED(DECL) DECL_LANG_FLAG_4 (DECL) | |
7145d9fe | 793 | #define METHOD_NATIVE(DECL) (DECL_LANG_SPECIFIC(DECL)->native) |
e04a16fb AG |
794 | #define METHOD_ABSTRACT(DECL) DECL_LANG_FLAG_5 (DECL) |
795 | #define METHOD_TRANSIENT(DECL) DECL_LANG_FLAG_6 (DECL) | |
796 | ||
c2952b01 APB |
797 | /* Other predicates on method decls */ |
798 | ||
e04a16fb AG |
799 | #define DECL_CONSTRUCTOR_P(DECL) DECL_LANG_FLAG_7(DECL) |
800 | ||
c2952b01 APB |
801 | #define DECL_INIT_P(DECL) (ID_INIT_P (DECL_NAME (DECL))) |
802 | #define DECL_FINIT_P(DECL) (ID_FINIT_P (DECL_NAME (DECL))) | |
803 | #define DECL_CLINIT_P(DECL) (ID_CLINIT_P (DECL_NAME (DECL))) | |
804 | ||
805 | /* Predicates on method identifiers. Kept close to other macros using | |
806 | them */ | |
807 | #define ID_INIT_P(ID) ((ID) == init_identifier_node) | |
808 | #define ID_FINIT_P(ID) ((ID) == finit_identifier_node) | |
809 | #define ID_CLINIT_P(ID) ((ID) == clinit_identifier_node) | |
810 | ||
e04a16fb AG |
811 | /* Access flags etc for a variable/field (a FIELD_DECL): */ |
812 | ||
813 | #define FIELD_PRIVATE(DECL) TREE_PRIVATE (DECL) | |
814 | #define FIELD_PROTECTED(DECL) TREE_PROTECTED (DECL) | |
815 | #define FIELD_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL) | |
816 | #define FIELD_STATIC(DECL) TREE_STATIC (DECL) | |
817 | #define FIELD_FINAL(DECL) DECL_LANG_FLAG_3 (DECL) | |
818 | #define FIELD_VOLATILE(DECL) DECL_LANG_FLAG_4 (DECL) | |
819 | #define FIELD_TRANSIENT(DECL) DECL_LANG_FLAG_5 (DECL) | |
c2952b01 | 820 | #define LOCAL_FINAL(DECL) FIELD_FINAL(DECL) |
e04a16fb | 821 | |
e04a16fb AG |
822 | /* Access flags etc for a class (a TYPE_DECL): */ |
823 | ||
824 | #define CLASS_PUBLIC(DECL) DECL_LANG_FLAG_1 (DECL) | |
825 | #define CLASS_FINAL(DECL) DECL_LANG_FLAG_3 (DECL) | |
826 | #define CLASS_INTERFACE(DECL) DECL_LANG_FLAG_4 (DECL) | |
827 | #define CLASS_ABSTRACT(DECL) DECL_LANG_FLAG_5 (DECL) | |
828 | #define CLASS_SUPER(DECL) DECL_LANG_FLAG_6 (DECL) | |
c2952b01 | 829 | #define CLASS_STATIC(DECL) DECL_LANG_FLAG_7 (DECL) |
e04a16fb | 830 | |
5e942c50 APB |
831 | /* @deprecated marker flag on methods, fields and classes */ |
832 | ||
833 | #define METHOD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL) | |
834 | #define FIELD_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL) | |
835 | #define CLASS_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL) | |
836 | #define DECL_DEPRECATED(DECL) DECL_LANG_FLAG_0 (DECL) | |
837 | ||
e04a16fb AG |
838 | /* The number of virtual methods in this class's dispatch table. |
839 | Does not include initial two dummy entries (one points to the | |
840 | Class object, and the other is for G++ -fvtable-thunks compatibility). */ | |
841 | #define TYPE_NVIRTUALS(TYPE) TYPE_BINFO_VIRTUALS (TYPE) | |
842 | ||
843 | /* A TREE_VEC (indexed by DECL_VINDEX) containing this class's | |
844 | virtual methods. */ | |
845 | #define TYPE_VTABLE(TYPE) TYPE_BINFO_VTABLE(TYPE) | |
846 | ||
e04a16fb AG |
847 | /* Use CLASS_LOADED_P? FIXME */ |
848 | #define CLASS_COMPLETE_P(DECL) DECL_LANG_FLAG_2 (DECL) | |
849 | ||
850 | /* This maps a bytecode offset (PC) to various flags, | |
851 | listed below (starting with BCODE_). */ | |
852 | extern char *instruction_bits; | |
853 | ||
854 | /* True iff the byte is the start of an instruction. */ | |
855 | #define BCODE_INSTRUCTION_START 1 | |
856 | ||
857 | /* True iff there is a jump to this location. */ | |
858 | #define BCODE_JUMP_TARGET 2 | |
859 | ||
860 | /* True iff there is a return to this location. | |
861 | (I.e. the preceedng instruction was a call.) */ | |
862 | #define BCODE_RETURN_TARGET 4 | |
863 | ||
864 | /* True iff this is the start of an exception handler. */ | |
865 | #define BCODE_EXCEPTION_TARGET 16 | |
866 | ||
867 | /* True iff there is a jump to this location (and it needs a label). */ | |
868 | #define BCODE_TARGET \ | |
869 | (BCODE_JUMP_TARGET|BCODE_RETURN_TARGET \ | |
870 | | BCODE_EXCEPTION_TARGET) | |
871 | ||
872 | /* True iff there is an entry in the linenumber table for this location. */ | |
873 | #define BCODE_HAS_LINENUMBER 32 | |
874 | ||
875 | /* True iff there is more than one entry in the linenumber table for | |
876 | this location. (This probably does not make much sense.) */ | |
877 | #define BCODE_HAS_MULTI_LINENUMBERS 64 | |
878 | ||
879 | /* True if this instruction has been verified. */ | |
880 | #define BCODE_VERIFIED 8 | |
881 | ||
882 | /* A pointer to the line number table of the current method. */ | |
49f48c71 | 883 | extern const unsigned char *linenumber_table; |
e04a16fb AG |
884 | /* The length (in items) of the line number table. */ |
885 | extern int linenumber_count; | |
886 | ||
887 | /* In type_map, means that slot is uninitialized or otherwise unusable. */ | |
888 | #define TYPE_UNKNOWN NULL_TREE | |
889 | ||
890 | /* In type_map, means the second half of a 64-bit double or long. */ | |
891 | #define TYPE_SECOND void_type_node | |
892 | ||
893 | /* In type_map, means the null type (i.e. type of a null reference). */ | |
894 | #define TYPE_NULL ptr_type_node | |
895 | ||
896 | /* In a type map means the type the address subroutine return address. */ | |
897 | #define TYPE_RETURN_ADDR return_address_type_node | |
898 | ||
899 | /* In a subroutine's return type map, indicates that the slot was neither | |
900 | used nor set in the subroutine. */ | |
901 | #define TYPE_UNUSED error_mark_node | |
902 | ||
903 | /* A array mapping variable/stack slot index to the type current | |
904 | in that variable/stack slot. | |
905 | TYPE_UNKNOWN, TYPE_SECOND, and TYPE_NULL are special cases. */ | |
906 | extern tree *type_map; | |
907 | ||
908 | /* Map a stack index to the type currently in that slot. */ | |
909 | #define stack_type_map (type_map+DECL_MAX_LOCALS(current_function_decl)) | |
910 | ||
911 | /* True iff TYPE takes two variable/stack slots. */ | |
912 | #define TYPE_IS_WIDE(TYPE) \ | |
913 | ((TYPE) == double_type_node || (TYPE) == long_type_node) | |
914 | ||
c2952b01 APB |
915 | /* True iif CLASS has it's access$0 method generated. */ |
916 | #define CLASS_ACCESS0_GENERATED_P(CLASS) TYPE_LANG_FLAG_0 (CLASS) | |
917 | ||
e04a16fb AG |
918 | /* True iff TYPE is a Java array type. */ |
919 | #define TYPE_ARRAY_P(TYPE) TYPE_LANG_FLAG_1 (TYPE) | |
920 | ||
921 | /* If FUNCTION_TYPE or METHOD_TYPE: cache for build_java_argument_signature. */ | |
922 | #define TYPE_ARGUMENT_SIGNATURE(TYPE) TYPE_VFIELD(TYPE) | |
923 | ||
924 | /* Given an array type, give the type of the elements. */ | |
925 | /* FIXME this use of TREE_TYPE conflicts with something or other. */ | |
926 | #define TYPE_ARRAY_ELEMENT(ATYPE) TREE_TYPE(ATYPE) | |
927 | ||
928 | /* True if class TYPE has been loaded. */ | |
929 | #define CLASS_LOADED_P(TYPE) TYPE_LANG_FLAG_2 (TYPE) | |
930 | ||
931 | /* True if class TYPE was defined in Java source code. */ | |
932 | #define CLASS_FROM_SOURCE_P(TYPE) TYPE_LANG_FLAG_3 (TYPE) | |
933 | ||
b351b287 APB |
934 | /* True of a RECORD_TYPE of a class/interface type (not array type) */ |
935 | #define CLASS_P(TYPE) TYPE_LANG_FLAG_4 (TYPE) | |
936 | ||
937 | /* True if class TYPE was defined in a Java source file compiled. */ | |
938 | #define CLASS_FROM_CURRENTLY_COMPILED_SOURCE_P(TYPE) \ | |
939 | TYPE_LANG_FLAG_5 (TYPE) | |
940 | ||
c2952b01 APB |
941 | /* True if class TYPE is currently being laid out. Helps in detection |
942 | of inheritance cycle occuring as a side effect of performing the | |
943 | layout of a class. */ | |
944 | #define CLASS_BEING_LAIDOUT(TYPE) TYPE_LANG_FLAG_6 (TYPE) | |
945 | ||
946 | /* True if class TYPE is currently being laid out. Helps in detection | |
947 | of inheritance cycle occuring as a side effect of performing the | |
948 | layout of a class. */ | |
949 | #define CLASS_BEING_LAIDOUT(TYPE) TYPE_LANG_FLAG_6 (TYPE) | |
950 | ||
157412f5 | 951 | /* True if class TYPE has a field initializer $finit$ function */ |
c2952b01 | 952 | #define CLASS_HAS_FINIT_P(TYPE) TYPE_FINIT_STMT_LIST (TYPE) |
22eed1e6 | 953 | |
e04a16fb AG |
954 | /* True if identifier ID was seen while processing a single type import stmt */ |
955 | #define IS_A_SINGLE_IMPORT_CLASSFILE_NAME_P(ID) TREE_LANG_FLAG_0 (ID) | |
956 | ||
957 | /* True if identifier ID was seen while processing an import statement */ | |
958 | #define IS_A_CLASSFILE_NAME(ID) TREE_LANG_FLAG_1 (ID) | |
959 | ||
960 | /* True if ID is a qualified named (contains . or /) */ | |
961 | #define QUALIFIED_P(ID) TREE_LANG_FLAG_2 (ID) | |
962 | ||
963 | /* True if ID is an already processed import on demand */ | |
964 | #define IS_AN_IMPORT_ON_DEMAND_P(ID) TREE_LANG_FLAG_3 (ID) | |
965 | ||
b351b287 APB |
966 | /* True if ID is a command-line specified filename */ |
967 | #define IS_A_COMMAND_LINE_FILENAME_P(ID) TREE_LANG_FLAG_4 (ID) | |
968 | ||
969 | /* True if filename ID has already been parsed */ | |
970 | #define HAS_BEEN_ALREADY_PARSED_P(ID) TREE_LANG_FLAG_5 (ID) | |
971 | ||
e04a16fb AG |
972 | /* True if EXPR is RHS sub-tree of a compound assign expression */ |
973 | #define COMPOUND_ASSIGN_P(EXPR) TREE_LANG_FLAG_1 (EXPR) | |
974 | ||
12472854 PB |
975 | /* True if a SWITCH_EXPR has a DEFAULT_EXPR. */ |
976 | #define SWITCH_HAS_DEFAULT(NODE) TREE_LANG_FLAG_3 (NODE) | |
977 | ||
e04a16fb AG |
978 | /* True if EXPR (a WFL in that case) was created after the |
979 | reduction of PRIMARY . XXX */ | |
980 | #define PRIMARY_P(EXPR) TREE_LANG_FLAG_2 (EXPR) | |
981 | ||
982 | /* True if EXPR (a MODIFY_EXPR in that case) is the result of variable | |
983 | initialization during its declaration */ | |
984 | #define MODIFY_EXPR_FROM_INITIALIZATION_P(EXPR) TREE_LANG_FLAG_2 (EXPR) | |
985 | ||
986 | /* True if EXPR (a WFL in that case) resolves into an expression name */ | |
987 | #define RESOLVE_EXPRESSION_NAME_P(WFL) TREE_LANG_FLAG_0 (WFL) | |
988 | ||
989 | /* True if EXPR (a LOOP_EXPR in that case) is part of a for statement */ | |
c2952b01 APB |
990 | #define FOR_LOOP_P(EXPR) TREE_LANG_FLAG_0 (EXPR) |
991 | ||
992 | /* True if NODE (a RECORD_TYPE in that case) is an anonymous class. */ | |
993 | #define ANONYMOUS_CLASS_P(NODE) TREE_LANG_FLAG_0 (NODE) | |
994 | ||
995 | /* True if NODE (a RECORD_TYPE in that case) is a block local class. */ | |
996 | #define LOCAL_CLASS_P(NODE) TREE_LANG_FLAG_1 (NODE) | |
997 | ||
998 | /* True if NODE (a TREE_LIST) hold a pair of argument name/type | |
999 | declared with the final modifier */ | |
1000 | #define ARG_FINAL_P(NODE) TREE_LANG_FLAG_0 (NODE) | |
e04a16fb AG |
1001 | |
1002 | /* True if EXPR (a WFL in that case) resolves into a package name */ | |
1003 | #define RESOLVE_PACKAGE_NAME_P(WFL) TREE_LANG_FLAG_3 (WFL) | |
1004 | ||
1005 | /* True if EXPR (a WFL in that case) resolves into a type name */ | |
1006 | #define RESOLVE_TYPE_NAME_P(WFL) TREE_LANG_FLAG_4 (WFL) | |
1007 | ||
1008 | /* True if STMT (a WFL in that case) holds a BREAK statement */ | |
1009 | #define IS_BREAK_STMT_P(WFL) TREE_LANG_FLAG_5 (WFL) | |
1010 | ||
1595a329 PB |
1011 | /* True if EXPR (a CALL_EXPR in that case) is a crafted StringBuffer */ |
1012 | #define IS_CRAFTED_STRING_BUFFER_P(EXPR) TREE_LANG_FLAG_5 (EXPR) | |
1013 | ||
1729c265 APB |
1014 | /* True if EXPR (a SAVE_EXPR in that case) had its content already |
1015 | checked for (un)initialized local variables. */ | |
1016 | #define IS_INIT_CHECKED(EXPR) TREE_LANG_FLAG_5 (EXPR) | |
1017 | ||
157412f5 PB |
1018 | /* If set in CALL_EXPR, the receiver is 'super'. */ |
1019 | #define CALL_USING_SUPER(EXPR) TREE_LANG_FLAG_4 (EXPR) | |
1020 | ||
12472854 PB |
1021 | /* True if NODE (a statement) can complete normally. */ |
1022 | #define CAN_COMPLETE_NORMALLY(NODE) TREE_LANG_FLAG_6(NODE) | |
1023 | ||
c2952b01 APB |
1024 | /* True if NODE (an IDENTIFIER) bears the name of a outer field from |
1025 | inner class access function. */ | |
1026 | #define OUTER_FIELD_ACCESS_IDENTIFIER_P(NODE) TREE_LANG_FLAG_6(NODE) | |
1027 | ||
1028 | /* Non null if NODE belongs to an inner class TYPE_DECL node. | |
1029 | Verifies that NODE as the attributes of a decl. */ | |
1030 | #define INNER_CLASS_DECL_P(NODE) (TYPE_NAME (TREE_TYPE (NODE)) == NODE \ | |
1031 | && DECL_CONTEXT (NODE)) | |
1032 | ||
1033 | /* Non null if NODE is an top level class TYPE_DECL node: NODE isn't | |
1034 | an inner class or NODE is a static class. */ | |
1035 | #define TOPLEVEL_CLASS_DECL_P(NODE) (!INNER_CLASS_DECL_P (NODE) \ | |
1036 | || CLASS_STATIC (NODE)) | |
1037 | ||
1038 | /* True if the class decl NODE was declared in a inner scope and is | |
1039 | not a toplevel class */ | |
1040 | #define PURE_INNER_CLASS_DECL_P(NODE) \ | |
1041 | (INNER_CLASS_DECL_P (NODE) && !CLASS_STATIC (NODE)) | |
1042 | ||
1043 | /* Non null if NODE belongs to an inner class RECORD_TYPE node. Checks | |
1044 | that TYPE_NAME bears a decl. An array type wouldn't. */ | |
1045 | #define INNER_CLASS_TYPE_P(NODE) (TREE_CODE (TYPE_NAME (NODE)) == TYPE_DECL \ | |
1046 | && DECL_CONTEXT (TYPE_NAME (NODE))) | |
1047 | ||
1048 | #define TOPLEVEL_CLASS_TYPE_P(NODE) (!INNER_CLASS_TYPE_P (NODE) \ | |
1049 | || CLASS_STATIC (TYPE_NAME (NODE))) | |
1050 | ||
1051 | /* True if the class type NODE was declared in a inner scope and is | |
1052 | not a toplevel class */ | |
1053 | #define PURE_INNER_CLASS_TYPE_P(NODE) \ | |
1054 | (INNER_CLASS_TYPE_P (NODE) && !CLASS_STATIC (TYPE_NAME (NODE))) | |
1055 | ||
1056 | /* Non null if NODE (a TYPE_DECL or a RECORD_TYPE) is an inner class. */ | |
1057 | #define INNER_CLASS_P(NODE) (TREE_CODE (NODE) == TYPE_DECL ? \ | |
1058 | INNER_CLASS_DECL_P (NODE) : \ | |
1059 | (TREE_CODE (NODE) == RECORD_TYPE ? \ | |
1060 | INNER_CLASS_TYPE_P (NODE) : \ | |
1061 | (fatal ("INNER_CLASS_P: Wrong node type"), 0))) | |
1062 | ||
1063 | /* On a TYPE_DECL, hold the list of inner classes defined within the | |
1064 | scope of TYPE_DECL. */ | |
1065 | #define DECL_INNER_CLASS_LIST(NODE) DECL_INITIAL (NODE) | |
1066 | ||
e04a16fb AG |
1067 | /* Add a FIELD_DECL to RECORD_TYPE RTYPE. |
1068 | The field has name NAME (a char*), and type FTYPE. | |
1069 | Unless this is the first field, FIELD most hold the previous field. | |
1070 | FIELD is set to the newly created FIELD_DECL. | |
1071 | ||
1072 | We set DECL_ARTIFICIAL so these fields get skipped by make_class_data | |
1073 | if compiling java.lang.Object or java.lang.Class. */ | |
1074 | ||
1075 | #define PUSH_FIELD(RTYPE, FIELD, NAME, FTYPE) \ | |
1076 | { tree tmp_field = build_decl (FIELD_DECL, get_identifier(NAME), FTYPE); \ | |
1077 | if (TYPE_FIELDS (RTYPE) == NULL_TREE) TYPE_FIELDS (RTYPE) = tmp_field; \ | |
1078 | else TREE_CHAIN(FIELD) = tmp_field; \ | |
1079 | DECL_CONTEXT (tmp_field) = RTYPE; \ | |
1080 | DECL_ARTIFICIAL (tmp_field) = 1; \ | |
1081 | FIELD = tmp_field; } | |
1082 | ||
1083 | #define FINISH_RECORD(RTYPE) layout_type (RTYPE) | |
1084 | ||
1085 | /* Start building a RECORD_TYPE constructor with a given TYPE in CONS. */ | |
1086 | #define START_RECORD_CONSTRUCTOR(CONS, CTYPE) { \ | |
1087 | CONS = build (CONSTRUCTOR, CTYPE, NULL_TREE, NULL_TREE);\ | |
1088 | TREE_CHAIN(CONS) = TYPE_FIELDS (CTYPE); } | |
1089 | ||
1090 | /* Append a field initializer to CONS for the dummy field for the inherited | |
1091 | fields. The dummy field has the given VALUE, and the same type as the | |
1092 | super-class. Must be specified before calls to PUSH_FIELD_VALUE. */ | |
1093 | ||
1094 | #define PUSH_SUPER_VALUE(CONS, VALUE) {\ | |
1095 | tree field = TREE_CHAIN(CONS);\ | |
1096 | if (DECL_NAME (field) != NULL_TREE) abort();\ | |
1097 | CONSTRUCTOR_ELTS(CONS) = tree_cons (field, VALUE, CONSTRUCTOR_ELTS(CONS));\ | |
1098 | TREE_CHAIN(CONS) = TREE_CHAIN (field); } | |
1099 | ||
1100 | /* Append a field initializer to CONS for a field with the given VALUE. | |
1101 | NAME is a char* string used for error checking; | |
1102 | the initializer must be specified in order. */ | |
1103 | #define PUSH_FIELD_VALUE(CONS, NAME, VALUE) {\ | |
1104 | tree field = TREE_CHAIN(CONS);\ | |
1105 | if (strcmp (IDENTIFIER_POINTER (DECL_NAME (field)), NAME) != 0) abort();\ | |
1106 | CONSTRUCTOR_ELTS(CONS) = tree_cons (field, VALUE, CONSTRUCTOR_ELTS(CONS));\ | |
1107 | TREE_CHAIN(CONS) = TREE_CHAIN (field); } | |
1108 | ||
1109 | /* Finish creating a record CONSTRUCTOR CONS. */ | |
1110 | #define FINISH_RECORD_CONSTRUCTOR(CONS) \ | |
1111 | CONSTRUCTOR_ELTS(CONS) = nreverse (CONSTRUCTOR_ELTS(CONS)) | |
1112 | ||
22eed1e6 APB |
1113 | /* Macros on constructors invocations. */ |
1114 | #define CALL_CONSTRUCTOR_P(NODE) \ | |
1115 | (TREE_CODE (NODE) == NEW_CLASS_EXPR || CALL_EXPLICIT_CONSTRUCTOR_P (NODE)) | |
1116 | ||
1117 | #define CALL_EXPLICIT_CONSTRUCTOR_P(NODE) \ | |
1118 | (CALL_THIS_CONSTRUCTOR_P (NODE) || CALL_SUPER_CONSTRUCTOR_P (NODE)) | |
1119 | ||
1120 | #define CALL_THIS_CONSTRUCTOR_P(NODE) \ | |
1121 | (TREE_CODE (NODE) == CALL_EXPR \ | |
1122 | && EXPR_WFL_NODE (TREE_OPERAND (NODE, 0)) == this_identifier_node) | |
1123 | ||
1124 | #define CALL_SUPER_CONSTRUCTOR_P(NODE) \ | |
1125 | (TREE_CODE (NODE) == CALL_EXPR \ | |
1126 | && EXPR_WFL_NODE (TREE_OPERAND (NODE, 0)) == super_identifier_node) | |
1595a329 PB |
1127 | |
1128 | /* Using a FINALLY_EXPR node */ | |
1129 | #define FINALLY_EXPR_LABEL(NODE) TREE_OPERAND ((NODE), 0) | |
1130 | #define FINALLY_EXPR_BLOCK(NODE) TREE_OPERAND ((NODE), 1) | |
e04a16fb | 1131 | |
bc3ca41b PB |
1132 | #define BLOCK_EXPR_DECLS(NODE) BLOCK_VARS(NODE) |
1133 | #define BLOCK_EXPR_BODY(NODE) BLOCK_SUBBLOCKS(NODE) | |
1134 | ||
939d7216 PB |
1135 | #define BUILD_MONITOR_ENTER(WHERE, ARG) \ |
1136 | { \ | |
1137 | (WHERE) = build (CALL_EXPR, int_type_node, \ | |
1138 | build_address_of (soft_monitorenter_node), \ | |
1139 | build_tree_list (NULL_TREE, (ARG)), \ | |
1140 | NULL_TREE); \ | |
1141 | TREE_SIDE_EFFECTS (WHERE) = 1; \ | |
1142 | } | |
1143 | ||
1144 | #define BUILD_MONITOR_EXIT(WHERE, ARG) \ | |
1145 | { \ | |
1146 | (WHERE) = build (CALL_EXPR, int_type_node, \ | |
1147 | build_address_of (soft_monitorexit_node), \ | |
1148 | build_tree_list (NULL_TREE, (ARG)), \ | |
1149 | NULL_TREE); \ | |
1150 | TREE_SIDE_EFFECTS (WHERE) = 1; \ | |
1151 | } | |
1152 | ||
c877974e APB |
1153 | /* Non zero if TYPE is an unchecked exception */ |
1154 | #define IS_UNCHECKED_EXCEPTION_P(TYPE) \ | |
b9f7e36c APB |
1155 | (inherits_from_p ((TYPE), runtime_exception_type_node) \ |
1156 | || inherits_from_p ((TYPE), error_exception_type_node)) | |
b351b287 | 1157 | |
bc3ca41b PB |
1158 | extern int java_error_count; \ |
1159 | ||
b351b287 APB |
1160 | /* Make the current function where this macro is invoked report error |
1161 | messages and and return, if any */ | |
5e942c50 APB |
1162 | #define java_parse_abort_on_error() \ |
1163 | { \ | |
bc3ca41b | 1164 | if (java_error_count > save_error_count) \ |
c877974e | 1165 | return; \ |
b351b287 | 1166 | } |
e8b22dd1 AH |
1167 | |
1168 | #undef DEBUG_JAVA_BINDING_LEVELS |