Introduce gimple_omp_task
[official-gcc.git] / gcc / java / lang.c
blob7f0b09de3922289236da2615517d099f3b2a23c8
1 /* Java(TM) language-specific utility routines.
2 Copyright (C) 1996-2014 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
9 any later version.
11 GCC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>.
20 Java and all Java-based marks are trademarks or registered trademarks
21 of Sun Microsystems, Inc. in the United States and other countries.
22 The Free Software Foundation is independent of Sun Microsystems, Inc. */
24 /* Hacked by Per Bothner <bothner@cygnus.com> February 1996. */
26 #include "config.h"
27 #include "system.h"
28 #include "coretypes.h"
29 #include "tm.h"
30 #include "tree.h"
31 #include "input.h"
32 #include "java-tree.h"
33 #include "jcf.h"
34 #include "langhooks.h"
35 #include "langhooks-def.h"
36 #include "flags.h"
37 #include "ggc.h"
38 #include "diagnostic.h"
39 #include "tree-inline.h"
40 #include "splay-tree.h"
41 #include "tree-dump.h"
42 #include "opts.h"
43 #include "options.h"
44 #include "target.h"
45 #include "context.h"
47 static bool java_init (void);
48 static void java_finish (void);
49 static unsigned int java_option_lang_mask (void);
50 static void java_init_options_struct (struct gcc_options *);
51 static void java_init_options (unsigned int, struct cl_decoded_option *);
52 static bool java_post_options (const char **);
54 static bool java_handle_option (size_t, const char *, int, int, location_t,
55 const struct cl_option_handlers *);
56 static void put_decl_string (const char *, int);
57 static void put_decl_node (tree, int);
58 static void java_print_error_function (diagnostic_context *, const char *,
59 diagnostic_info *);
60 static bool java_dump_tree (void *, tree);
61 static void dump_compound_expr (dump_info_p, tree);
62 static bool java_decl_ok_for_sibcall (const_tree);
64 static enum classify_record java_classify_record (tree type);
66 static tree java_eh_personality (void);
68 #ifndef TARGET_OBJECT_SUFFIX
69 # define TARGET_OBJECT_SUFFIX ".o"
70 #endif
72 /* Table of machine-independent attributes. */
73 const struct attribute_spec java_attribute_table[] =
75 { "nonnull", 0, -1, false, true, true,
76 NULL, false },
77 { NULL, 0, 0, false, false, false, NULL, false }
80 /* Used to avoid printing error messages with bogus function
81 prototypes. Starts out false. */
82 static bool inhibit_error_function_printing;
84 const char *resource_name;
86 /* When nonzero, -Wall was turned on. */
87 int flag_wall = 0;
89 /* When nonzero, report use of deprecated classes, methods, or fields. */
90 int flag_deprecated = 1;
92 /* When zero, don't optimize static class initialization. This flag shouldn't
93 be tested alone, use STATIC_CLASS_INITIALIZATION_OPTIMIZATION_P instead. */
94 /* FIXME: Make this work with gimplify. */
95 /* int flag_optimize_sci = 0; */
97 /* Don't attempt to verify invocations. */
98 int flag_verify_invocations = 0;
100 /* When nonzero, print extra version information. */
101 static int v_flag = 0;
103 JCF *current_jcf;
105 /* Variable controlling how dependency tracking is enabled in
106 java_init. */
107 static int dependency_tracking = 0;
109 /* Flag values for DEPENDENCY_TRACKING. */
110 #define DEPEND_SET_FILE 1
111 #define DEPEND_ENABLE 2
112 #define DEPEND_TARGET_SET 4
113 #define DEPEND_FILE_ALREADY_SET 8
115 struct GTY(()) language_function {
116 int unused;
119 #undef LANG_HOOKS_NAME
120 #define LANG_HOOKS_NAME "GNU Java"
121 #undef LANG_HOOKS_INIT
122 #define LANG_HOOKS_INIT java_init
123 #undef LANG_HOOKS_FINISH
124 #define LANG_HOOKS_FINISH java_finish
125 #undef LANG_HOOKS_OPTION_LANG_MASK
126 #define LANG_HOOKS_OPTION_LANG_MASK java_option_lang_mask
127 #undef LANG_HOOKS_INIT_OPTIONS_STRUCT
128 #define LANG_HOOKS_INIT_OPTIONS_STRUCT java_init_options_struct
129 #undef LANG_HOOKS_INIT_OPTIONS
130 #define LANG_HOOKS_INIT_OPTIONS java_init_options
131 #undef LANG_HOOKS_HANDLE_OPTION
132 #define LANG_HOOKS_HANDLE_OPTION java_handle_option
133 #undef LANG_HOOKS_POST_OPTIONS
134 #define LANG_HOOKS_POST_OPTIONS java_post_options
135 #undef LANG_HOOKS_PARSE_FILE
136 #define LANG_HOOKS_PARSE_FILE java_parse_file
137 #undef LANG_HOOKS_DUP_LANG_SPECIFIC_DECL
138 #define LANG_HOOKS_DUP_LANG_SPECIFIC_DECL java_dup_lang_specific_decl
139 #undef LANG_HOOKS_DECL_PRINTABLE_NAME
140 #define LANG_HOOKS_DECL_PRINTABLE_NAME lang_printable_name
141 #undef LANG_HOOKS_PRINT_ERROR_FUNCTION
142 #define LANG_HOOKS_PRINT_ERROR_FUNCTION java_print_error_function
143 #undef LANG_HOOKS_WRITE_GLOBALS
144 #define LANG_HOOKS_WRITE_GLOBALS java_write_globals
146 #undef LANG_HOOKS_TYPE_FOR_MODE
147 #define LANG_HOOKS_TYPE_FOR_MODE java_type_for_mode
148 #undef LANG_HOOKS_TYPE_FOR_SIZE
149 #define LANG_HOOKS_TYPE_FOR_SIZE java_type_for_size
150 #undef LANG_HOOKS_CLASSIFY_RECORD
151 #define LANG_HOOKS_CLASSIFY_RECORD java_classify_record
153 #undef LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN
154 #define LANG_HOOKS_TREE_DUMP_DUMP_TREE_FN java_dump_tree
156 #undef LANG_HOOKS_GIMPLIFY_EXPR
157 #define LANG_HOOKS_GIMPLIFY_EXPR java_gimplify_expr
159 #undef LANG_HOOKS_DECL_OK_FOR_SIBCALL
160 #define LANG_HOOKS_DECL_OK_FOR_SIBCALL java_decl_ok_for_sibcall
162 #undef LANG_HOOKS_SET_DECL_ASSEMBLER_NAME
163 #define LANG_HOOKS_SET_DECL_ASSEMBLER_NAME java_mangle_decl
165 #undef LANG_HOOKS_ATTRIBUTE_TABLE
166 #define LANG_HOOKS_ATTRIBUTE_TABLE java_attribute_table
168 #undef LANG_HOOKS_EH_PERSONALITY
169 #define LANG_HOOKS_EH_PERSONALITY java_eh_personality
171 #undef LANG_HOOKS_EH_USE_CXA_END_CLEANUP
172 #define LANG_HOOKS_EH_USE_CXA_END_CLEANUP true
174 /* Each front end provides its own. */
175 struct lang_hooks lang_hooks = LANG_HOOKS_INITIALIZER;
178 * process java-specific compiler command-line options
179 * return false, but do not complain if the option is not recognized.
181 static bool
182 java_handle_option (size_t scode, const char *arg, int value,
183 int kind ATTRIBUTE_UNUSED, location_t loc ATTRIBUTE_UNUSED,
184 const struct cl_option_handlers *handlers ATTRIBUTE_UNUSED)
186 enum opt_code code = (enum opt_code) scode;
188 switch (code)
190 case OPT_I:
191 jcf_path_include_arg (arg);
192 break;
194 case OPT_M:
195 jcf_dependency_init (1);
196 dependency_tracking |= DEPEND_ENABLE;
197 break;
199 case OPT_MD_:
200 jcf_dependency_init (1);
201 dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
202 break;
204 case OPT_MF:
205 jcf_dependency_set_dep_file (arg);
206 dependency_tracking |= DEPEND_FILE_ALREADY_SET;
207 break;
209 case OPT_MM:
210 jcf_dependency_init (0);
211 dependency_tracking |= DEPEND_ENABLE;
212 break;
214 case OPT_MMD_:
215 jcf_dependency_init (0);
216 dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
217 break;
219 case OPT_MP:
220 jcf_dependency_print_dummies ();
221 break;
223 case OPT_MT:
224 jcf_dependency_set_target (arg);
225 dependency_tracking |= DEPEND_TARGET_SET;
226 break;
228 case OPT_Wall:
229 flag_wall = value;
230 /* When -Wall given, enable -Wunused. We do this because the C
231 compiler does it, and people expect it. */
232 warn_unused = value;
233 break;
235 case OPT_fenable_assertions_:
236 add_enable_assert (arg, value);
237 break;
239 case OPT_fenable_assertions:
240 add_enable_assert ("", value);
241 break;
243 case OPT_fdisable_assertions_:
244 add_enable_assert (arg, !value);
245 break;
247 case OPT_fdisable_assertions:
248 add_enable_assert ("", !value);
249 break;
251 case OPT_fassume_compiled_:
252 add_assume_compiled (arg, !value);
253 break;
255 case OPT_fassume_compiled:
256 add_assume_compiled ("", !value);
257 break;
259 case OPT_fbootclasspath_:
260 jcf_path_bootclasspath_arg (arg);
261 break;
263 case OPT_faux_classpath:
264 case OPT_fclasspath_:
265 jcf_path_classpath_arg (arg);
266 break;
268 case OPT_fcompile_resource_:
269 resource_name = arg;
270 break;
272 case OPT_fdump_:
273 if (!g->get_dumps ()->dump_switch_p (arg))
274 return false;
275 break;
277 case OPT_fencoding_:
278 /* Nothing. */
279 break;
281 case OPT_fextdirs_:
282 jcf_path_extdirs_arg (arg);
283 break;
285 case OPT_foutput_class_dir_:
286 /* FIXME: remove; this is handled by ecj1 now. */
287 break;
289 case OPT_version:
290 v_flag = 1;
291 break;
293 case OPT_fsource_filename_:
294 java_read_sourcefilenames (arg);
295 break;
297 default:
298 if (cl_options[code].flags & CL_Java)
299 break;
300 gcc_unreachable ();
303 return true;
306 /* Global open file. */
307 FILE *finput;
309 static bool
310 java_init (void)
312 /* FIXME: Indirect dispatch isn't yet compatible with static class
313 init optimization. */
314 if (flag_indirect_dispatch)
315 always_initialize_class_p = true;
317 if (!flag_indirect_dispatch)
318 flag_indirect_classes = false;
320 jcf_path_seal (v_flag);
322 java_init_decl_processing ();
324 using_eh_for_cleanups ();
326 return true;
329 static void
330 java_finish (void)
332 jcf_dependency_write ();
335 /* Buffer used by lang_printable_name. */
336 static char *decl_buf = NULL;
338 /* Allocated size of decl_buf. */
339 static int decl_buflen = 0;
341 /* Length of used part of decl_buf; position for next character. */
342 static int decl_bufpos = 0;
344 /* Append the string STR to decl_buf.
345 It length is given by LEN; -1 means the string is nul-terminated. */
347 static void
348 put_decl_string (const char *str, int len)
350 if (len < 0)
351 len = strlen (str);
352 if (decl_bufpos + len >= decl_buflen)
354 if (decl_buf == NULL)
356 decl_buflen = len + 100;
357 decl_buf = XNEWVEC (char, decl_buflen);
359 else
361 decl_buflen *= 2;
362 decl_buf = XRESIZEVAR (char, decl_buf, decl_buflen);
365 strcpy (decl_buf + decl_bufpos, str);
366 decl_bufpos += len;
369 /* Append to decl_buf a printable name for NODE.
370 Depending on VERBOSITY, more information about NODE
371 is printed. Read the comments of decl_printable_name in
372 langhooks.h for more. */
374 static void
375 put_decl_node (tree node, int verbosity)
377 int was_pointer = 0;
378 if (TREE_CODE (node) == POINTER_TYPE)
380 node = TREE_TYPE (node);
381 was_pointer = 1;
383 if (DECL_P (node) && DECL_NAME (node) != NULL_TREE)
385 if (TREE_CODE (node) == FUNCTION_DECL)
387 if (verbosity == 0 && DECL_NAME (node))
388 /* We have been instructed to just print the bare name
389 of the function. */
391 put_decl_node (DECL_NAME (node), 0);
392 return;
395 /* We want to print the type the DECL belongs to. We don't do
396 that when we handle constructors. */
397 if (! DECL_CONSTRUCTOR_P (node)
398 && ! DECL_ARTIFICIAL (node) && DECL_CONTEXT (node)
399 /* We want to print qualified DECL names only
400 if verbosity is higher than 1. */
401 && verbosity >= 1)
403 put_decl_node (TREE_CODE (DECL_CONTEXT (node)) == FUNCTION_DECL
404 ? DECL_CONTEXT (node)
405 : TYPE_NAME (DECL_CONTEXT (node)),
406 verbosity);
407 put_decl_string (".", 1);
409 if (! DECL_CONSTRUCTOR_P (node))
410 put_decl_node (DECL_NAME (node), verbosity);
411 if (TREE_TYPE (node) != NULL_TREE
412 /* We want to print function parameters only if verbosity
413 is higher than 2. */
414 && verbosity >= 2)
416 int i = 0;
417 tree args = TYPE_ARG_TYPES (TREE_TYPE (node));
418 if (TREE_CODE (TREE_TYPE (node)) == METHOD_TYPE)
419 args = TREE_CHAIN (args);
420 put_decl_string ("(", 1);
421 for ( ; args != NULL_TREE && args != end_params_node;
422 args = TREE_CHAIN (args), i++)
424 if (i > 0)
425 put_decl_string (",", 1);
426 put_decl_node (TREE_VALUE (args), verbosity);
428 put_decl_string (")", 1);
431 else
432 put_decl_node (DECL_NAME (node), verbosity);
434 else if (TYPE_P (node) && TYPE_NAME (node) != NULL_TREE)
436 if (TREE_CODE (node) == RECORD_TYPE && TYPE_ARRAY_P (node)
437 /* Print detailed array information only if verbosity is higher
438 than 2. */
439 && verbosity >= 2)
441 put_decl_node (TYPE_ARRAY_ELEMENT (node), verbosity);
442 put_decl_string("[]", 2);
444 else if (node == promoted_byte_type_node)
445 put_decl_string ("byte", 4);
446 else if (node == promoted_short_type_node)
447 put_decl_string ("short", 5);
448 else if (node == promoted_char_type_node)
449 put_decl_string ("char", 4);
450 else if (node == promoted_boolean_type_node)
451 put_decl_string ("boolean", 7);
452 else if (node == void_type_node && was_pointer)
453 put_decl_string ("null", 4);
454 else
455 put_decl_node (TYPE_NAME (node), verbosity);
457 else if (TREE_CODE (node) == IDENTIFIER_NODE)
458 put_decl_string (IDENTIFIER_POINTER (node), IDENTIFIER_LENGTH (node));
459 else
460 put_decl_string ("<unknown>", -1);
463 /* Return a user-friendly name for DECL.
464 The resulting string is only valid until the next call.
465 The value of the hook decl_printable_name is this function,
466 which is also called directly by java_print_error_function. */
468 const char *
469 lang_printable_name (tree decl, int v)
471 decl_bufpos = 0;
472 put_decl_node (decl, v);
473 put_decl_string ("", 1);
474 return decl_buf;
477 /* Print on stderr the current class and method context. This function
478 is the value of the hook print_error_function. */
480 static GTY(()) tree last_error_function_context;
481 static GTY(()) tree last_error_function;
482 static void
483 java_print_error_function (diagnostic_context *context ATTRIBUTE_UNUSED,
484 const char *file,
485 diagnostic_info *diagnostic ATTRIBUTE_UNUSED)
487 /* Don't print error messages with bogus function prototypes. */
488 if (inhibit_error_function_printing)
489 return;
491 if (current_function_decl != NULL
492 && DECL_CONTEXT (current_function_decl) != last_error_function_context)
494 if (file)
495 fprintf (stderr, "%s: ", file);
497 last_error_function_context = DECL_CONTEXT (current_function_decl);
498 fprintf (stderr, "In class '%s':\n",
499 lang_printable_name (last_error_function_context, 0));
501 if (last_error_function != current_function_decl)
503 if (file)
504 fprintf (stderr, "%s: ", file);
506 if (current_function_decl == NULL)
507 fprintf (stderr, "At top level:\n");
508 else
510 const char *name = lang_printable_name (current_function_decl, 2);
511 fprintf (stderr, "In %s '%s':\n",
512 (DECL_CONSTRUCTOR_P (current_function_decl) ? "constructor"
513 : "method"),
514 name);
517 last_error_function = current_function_decl;
522 /* Called to install the PRINT_ERROR_FUNCTION hook differently
523 according to LEVEL. LEVEL is 1 during early parsing, when function
524 prototypes aren't fully resolved. java_print_error_function is set
525 so it doesn't print incomplete function prototypes. When LEVEL is
526 2, function prototypes are fully resolved and can be printed when
527 reporting errors. */
529 void
530 lang_init_source (int level)
532 inhibit_error_function_printing = (level == 1);
535 static unsigned int
536 java_option_lang_mask (void)
538 return CL_Java;
541 /* Initialize options structure OPTS. */
543 static void
544 java_init_options_struct (struct gcc_options *opts)
546 opts->x_flag_bounds_check = 1;
547 opts->x_flag_exceptions = 1;
548 opts->x_flag_non_call_exceptions = 1;
550 /* In Java floating point operations never trap. */
551 opts->x_flag_trapping_math = 0;
552 opts->frontend_set_flag_trapping_math = true;
554 /* In Java arithmetic overflow always wraps around. */
555 opts->x_flag_wrapv = 1;
557 /* Java requires left-to-right evaluation of subexpressions. */
558 opts->x_flag_evaluation_order = 1;
560 /* Java catches NULL pointer exceptions, thus we can not necessarily
561 rely on a pointer having a non-NULL value after a dereference. */
562 opts->x_flag_delete_null_pointer_checks = 0;
565 static void
566 java_init_options (unsigned int decoded_options_count ATTRIBUTE_UNUSED,
567 struct cl_decoded_option *decoded_options ATTRIBUTE_UNUSED)
569 jcf_path_init ();
572 /* Post-switch processing. */
573 static bool
574 java_post_options (const char **pfilename)
576 const char *filename = *pfilename;
578 /* Excess precision other than "fast" requires front-end
579 support. */
580 if (flag_excess_precision_cmdline == EXCESS_PRECISION_STANDARD
581 && TARGET_FLT_EVAL_METHOD_NON_DEFAULT)
582 sorry ("-fexcess-precision=standard for Java");
583 flag_excess_precision_cmdline = EXCESS_PRECISION_FAST;
585 /* An absolute requirement: if we're not using indirect dispatch, we
586 must always verify everything. */
587 if (! flag_indirect_dispatch)
588 flag_verify_invocations = true;
590 if (flag_reduced_reflection)
592 if (flag_indirect_dispatch)
593 error ("-findirect-dispatch is incompatible "
594 "with -freduced-reflection");
595 if (flag_jni)
596 error ("-fjni is incompatible with -freduced-reflection");
599 /* Open input file. */
601 if (filename == 0 || !strcmp (filename, "-"))
603 finput = stdin;
604 filename = "stdin";
606 if (dependency_tracking)
607 error ("can%'t do dependency tracking with input from stdin");
609 else
611 if (dependency_tracking)
613 const char *dot;
615 /* If the target is set and the output filename is set, then
616 there's no processing to do here. Otherwise we must
617 compute one or the other. */
618 if (! ((dependency_tracking & DEPEND_TARGET_SET)
619 && (dependency_tracking & DEPEND_FILE_ALREADY_SET)))
621 dot = strrchr (filename, '.');
622 if (dot == NULL)
623 error ("couldn%'t determine target name for dependency tracking");
624 else
626 char *buf = XNEWVEC (char, dot - filename +
627 3 + sizeof (TARGET_OBJECT_SUFFIX));
628 strncpy (buf, filename, dot - filename);
630 /* If emitting class files, we might have multiple
631 targets. The class generation code takes care of
632 registering them. Otherwise we compute the
633 target name here. */
634 if ((dependency_tracking & DEPEND_TARGET_SET))
635 ; /* Nothing. */
636 else
638 strcpy (buf + (dot - filename), TARGET_OBJECT_SUFFIX);
639 jcf_dependency_set_target (buf);
642 if ((dependency_tracking & DEPEND_FILE_ALREADY_SET))
643 ; /* Nothing. */
644 else if ((dependency_tracking & DEPEND_SET_FILE))
646 strcpy (buf + (dot - filename), ".d");
647 jcf_dependency_set_dep_file (buf);
649 else
650 jcf_dependency_set_dep_file ("-");
652 free (buf);
657 linemap_add (line_table, LC_ENTER, false, filename, 0);
658 linemap_add (line_table, LC_RENAME, false, "<built-in>", 0);
660 /* Initialize the compiler back end. */
661 return false;
664 /* Return either DECL or its known constant value (if it has one). */
666 tree
667 decl_constant_value (tree decl)
669 if (/* Don't change a variable array bound or initial value to a constant
670 in a place where a variable is invalid. */
671 current_function_decl != 0
672 && ! TREE_THIS_VOLATILE (decl)
673 && TREE_READONLY (decl)
674 && DECL_INITIAL (decl) != 0
675 && TREE_CODE (DECL_INITIAL (decl)) != ERROR_MARK
676 /* This is invalid if initial value is not constant.
677 If it has either a function call, a memory reference,
678 or a variable, then re-evaluating it could give different results. */
679 && TREE_CONSTANT (DECL_INITIAL (decl))
680 /* Check for cases where this is sub-optimal, even though valid. */
681 && TREE_CODE (DECL_INITIAL (decl)) != CONSTRUCTOR)
682 return DECL_INITIAL (decl);
683 return decl;
686 /* Every call to a static constructor has an associated boolean
687 variable which is in the outermost scope of the calling method.
688 This variable is used to avoid multiple calls to the static
689 constructor for each class.
691 It looks something like this:
693 foo ()
695 boolean dummy = OtherClass.is_initialized;
699 if (! dummy)
700 OtherClass.initialize();
702 ... use OtherClass.data ...
705 Each of these boolean variables has an entry in the
706 DECL_FUNCTION_INIT_TEST_TABLE of a method. When inlining a method
707 we must merge the DECL_FUNCTION_INIT_TEST_TABLE from the function
708 being inlined and create the boolean variables in the outermost
709 scope of the method being inlined into. */
711 /* Create a mapping from a boolean variable in a method being inlined
712 to one in the scope of the method being inlined into. */
715 merge_init_test_initialization (treetreehash_entry **entry, void *x)
717 struct treetreehash_entry *ite = *entry;
718 splay_tree decl_map = (splay_tree)x;
719 splay_tree_node n;
720 tree *init_test_decl;
722 /* See if we have remapped this declaration. If we haven't there's
723 a bug in the inliner. */
724 n = splay_tree_lookup (decl_map, (splay_tree_key) ite->value);
725 gcc_assert (n);
727 /* Create a new entry for the class and its remapped boolean
728 variable. If we already have a mapping for this class we've
729 already initialized it, so don't overwrite the value. */
730 init_test_decl = java_treetreehash_new
731 (DECL_FUNCTION_INIT_TEST_TABLE (current_function_decl), ite->key);
732 if (!*init_test_decl)
733 *init_test_decl = (tree)n->value;
735 /* This fixes a weird case.
737 The front end assumes that once we have called a method that
738 initializes some class, we can assume the class is initialized. It
739 does this by setting the DECL_INITIAL of the init_test_decl for that
740 class, and no initializations are emitted for that class.
742 However, what if the method that is supposed to do the initialization
743 is itself inlined in the caller? When expanding the called method
744 we'll assume that the class initialization has already been done,
745 because the DECL_INITIAL of the init_test_decl is set.
747 To fix this we remove the DECL_INITIAL (in the caller scope) of all
748 the init_test_decls corresponding to classes initialized by the
749 inlined method. This makes the caller no longer assume that the
750 method being inlined does any class initializations. */
751 DECL_INITIAL (*init_test_decl) = NULL;
753 return true;
756 /* Merge the DECL_FUNCTION_INIT_TEST_TABLE from the function we're
757 inlining. */
759 void
760 java_inlining_merge_static_initializers (tree fn, void *decl_map)
762 DECL_FUNCTION_INIT_TEST_TABLE (fn)
763 ->traverse<void *, merge_init_test_initialization> (decl_map);
766 /* Lookup a DECL_FUNCTION_INIT_TEST_TABLE entry in the method we're
767 inlining into. If we already have a corresponding entry in that
768 class we don't need to create another one, so we create a mapping
769 from the variable in the inlined class to the corresponding
770 pre-existing one. */
773 inline_init_test_initialization (treetreehash_entry **entry, void *x)
775 struct treetreehash_entry *ite = *entry;
776 splay_tree decl_map = (splay_tree)x;
778 tree h = java_treetreehash_find
779 (DECL_FUNCTION_INIT_TEST_TABLE (current_function_decl), ite->key);
780 if (! h)
781 return true;
782 splay_tree_insert (decl_map,
783 (splay_tree_key) ite->value,
784 (splay_tree_value) h);
785 return true;
788 /* Look up the boolean variables in the DECL_FUNCTION_INIT_TEST_TABLE
789 of a method being inlined. For each hone, if we already have a
790 variable associated with the same class in the method being inlined
791 into, create a new mapping for it. */
793 void
794 java_inlining_map_static_initializers (tree fn, void *decl_map)
796 DECL_FUNCTION_INIT_TEST_TABLE (fn)
797 ->traverse<void *, inline_init_test_initialization> (decl_map);
800 /* Avoid voluminous output for deep recursion of compound exprs. */
802 static void
803 dump_compound_expr (dump_info_p di, tree t)
805 int i;
807 for (i=0; i<2; i++)
809 switch (TREE_CODE (TREE_OPERAND (t, i)))
811 case COMPOUND_EXPR:
812 dump_compound_expr (di, TREE_OPERAND (t, i));
813 break;
815 default:
816 dump_child ("expr", TREE_OPERAND (t, i));
821 static bool
822 java_dump_tree (void *dump_info, tree t)
824 enum tree_code code;
825 dump_info_p di = (dump_info_p) dump_info;
827 /* Figure out what kind of node this is. */
828 code = TREE_CODE (t);
830 switch (code)
832 case FUNCTION_DECL:
833 dump_child ("args", DECL_ARGUMENTS (t));
834 if (DECL_EXTERNAL (t))
835 dump_string (di, "undefined");
836 if (TREE_PUBLIC (t))
837 dump_string (di, "extern");
838 else
839 dump_string (di, "static");
840 if (DECL_LANG_SPECIFIC (t) && !dump_flag (di, TDF_SLIM, t))
841 dump_child ("inline body", DECL_SAVED_TREE (t));
842 return true;
844 case RETURN_EXPR:
845 dump_child ("expr", TREE_OPERAND (t, 0));
846 return true;
848 case GOTO_EXPR:
849 dump_child ("goto", TREE_OPERAND (t, 0));
850 return true;
852 case LABEL_EXPR:
853 dump_child ("label", TREE_OPERAND (t, 0));
854 return true;
856 case BLOCK:
857 if (BLOCK_EXPR_BODY (t))
859 tree local = BLOCK_VARS (t);
860 while (local)
862 tree next = TREE_CHAIN (local);
863 dump_child ("var", local);
864 local = next;
868 tree block = BLOCK_EXPR_BODY (t);
869 dump_child ("body", block);
870 block = TREE_CHAIN (block);
873 return true;
875 case COMPOUND_EXPR:
876 if (!dump_flag (di, TDF_SLIM, t))
877 return false;
878 dump_compound_expr (di, t);
879 return true;
881 default:
882 break;
884 return false;
887 /* Java calls can't, in general, be sibcalls because we need an
888 accurate stack trace in order to guarantee correct operation of
889 methods such as Class.forName(String) and
890 SecurityManager.getClassContext(). */
892 static bool
893 java_decl_ok_for_sibcall (const_tree decl)
895 return (decl != NULL && DECL_CONTEXT (decl) == output_class
896 && !DECL_UNINLINABLE (decl));
899 static enum classify_record
900 java_classify_record (tree type)
902 if (! CLASS_P (type))
903 return RECORD_IS_STRUCT;
905 if (CLASS_INTERFACE (TYPE_NAME (type)))
906 return RECORD_IS_INTERFACE;
908 return RECORD_IS_CLASS;
911 static GTY(()) tree java_eh_personality_decl;
913 static tree
914 java_eh_personality (void)
916 if (!java_eh_personality_decl)
917 java_eh_personality_decl = build_personality_function ("gcj");
918 return java_eh_personality_decl;
921 #include "gt-java-lang.h"