1 /* Java(TM) language-specific utility routines.
2 Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001
3 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. */
34 #include "java-tree.h"
37 #include "langhooks.h"
38 #include "langhooks-def.h"
42 #include "diagnostic.h"
46 const char *const string;
51 static const char *java_init PARAMS ((const char *));
52 static void java_finish PARAMS ((void));
53 static void java_init_options PARAMS ((void));
54 static int java_decode_option PARAMS ((int, char **));
55 static void put_decl_string PARAMS ((const char *, int));
56 static void put_decl_node PARAMS ((tree));
57 static void java_dummy_print PARAMS ((diagnostic_context *, const char *));
58 static void lang_print_error PARAMS ((diagnostic_context *, const char *));
59 static int process_option_with_no PARAMS ((const char *,
60 const struct string_option *,
63 #ifndef TARGET_OBJECT_SUFFIX
64 # define TARGET_OBJECT_SUFFIX ".o"
67 /* Table indexed by tree code giving a string containing a character
68 classifying the tree code. Possibilities are
69 t, d, s, c, r, <, 1 and 2. See java/java-tree.def for details. */
71 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE,
73 const char tree_code_type[] = {
76 #include "java-tree.def"
80 /* Table indexed by tree code giving number of expression
81 operands beyond the fixed part of the node structure.
82 Not used for types or decls. */
84 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) LENGTH,
86 const unsigned char tree_code_length[] = {
89 #include "java-tree.def"
93 /* Names of tree components.
94 Used for printing out the tree and error messages. */
95 #define DEFTREECODE(SYM, NAME, TYPE, LEN) NAME,
97 const char *const tree_code_name[] = {
100 #include "java-tree.def"
104 int compiling_from_source;
106 char * resource_name;
108 int flag_emit_class_files = 0;
110 /* Nonzero if input file is a file with a list of filenames to compile. */
112 int flag_filelist_file = 0;
114 /* When non zero, we emit xref strings. Values of the flag for xref
115 backends are defined in xref_flag_table, xref.c. */
117 int flag_emit_xref = 0;
119 /* When non zero, -Wall was turned on. */
122 /* When non zero, check for redundant modifier uses. */
123 int flag_redundant = 0;
125 /* When non zero, call a library routine to do integer divisions. */
126 int flag_use_divide_subroutine = 1;
128 /* When non zero, generate code for the Boehm GC. */
129 int flag_use_boehm_gc = 0;
131 /* When non zero, assume the runtime uses a hash table to map an
132 object to its synchronization structure. */
133 int flag_hash_synchronization;
135 /* When non zero, assume all native functions are implemented with
139 /* When non zero, warn when source file is newer than matching class
143 /* When non zero, generate checks for references to NULL. */
144 int flag_check_references = 0;
146 /* The encoding of the source file. */
147 const char *current_encoding = NULL;
149 /* When non zero, report the now deprecated empty statements. */
150 int flag_extraneous_semicolon;
152 /* When non zero, always check for a non gcj generated classes archive. */
153 int flag_force_classes_archive_check;
155 /* When zero, don't optimize static class initialization. This flag shouldn't
156 be tested alone, use STATIC_CLASS_INITIALIZATION_OPTIMIZATION_P instead. */
157 int flag_optimize_sci = 1;
159 /* When non zero, use offset tables for virtual method calls
160 in order to improve binary compatibility. */
161 int flag_indirect_dispatch = 0;
163 /* When zero, don't generate runtime array store checks. */
164 int flag_store_check = 1;
166 /* When non zero, print extra version information. */
167 static int version_flag = 0;
169 /* Table of language-dependent -f options.
170 STRING is the option name. VARIABLE is the address of the variable.
171 ON_VALUE is the value to store in VARIABLE
172 if `-fSTRING' is seen as an option.
173 (If `-fno-STRING' is seen as an option, the opposite value is stored.) */
175 static const struct string_option
178 {"emit-class-file", &flag_emit_class_files, 1},
179 {"emit-class-files", &flag_emit_class_files, 1},
180 {"filelist-file", &flag_filelist_file, 1},
181 {"use-divide-subroutine", &flag_use_divide_subroutine, 1},
182 {"use-boehm-gc", &flag_use_boehm_gc, 1},
183 {"hash-synchronization", &flag_hash_synchronization, 1},
184 {"jni", &flag_jni, 1},
185 {"check-references", &flag_check_references, 1},
186 {"force-classes-archive-check", &flag_force_classes_archive_check, 1},
187 {"optimize-static-class-initialization", &flag_optimize_sci, 1 },
188 {"indirect-dispatch", &flag_indirect_dispatch, 1},
189 {"store-check", &flag_store_check, 1}
192 static const struct string_option
195 { "redundant-modifiers", &flag_redundant, 1 },
196 { "extraneous-semicolon", &flag_extraneous_semicolon, 1 },
197 { "out-of-date", &flag_newer, 1 }
202 /* Variable controlling how dependency tracking is enabled in
204 static int dependency_tracking = 0;
206 /* Flag values for DEPENDENCY_TRACKING. */
207 #define DEPEND_SET_FILE 1
208 #define DEPEND_ENABLE 2
209 #define DEPEND_TARGET_SET 4
210 #define DEPEND_FILE_ALREADY_SET 8
212 #undef LANG_HOOKS_NAME
213 #define LANG_HOOKS_NAME "GNU Java"
214 #undef LANG_HOOKS_INIT
215 #define LANG_HOOKS_INIT java_init
216 #undef LANG_HOOKS_FINISH
217 #define LANG_HOOKS_FINISH java_finish
218 #undef LANG_HOOKS_INIT_OPTIONS
219 #define LANG_HOOKS_INIT_OPTIONS java_init_options
220 #undef LANG_HOOKS_DECODE_OPTION
221 #define LANG_HOOKS_DECODE_OPTION java_decode_option
222 #undef LANG_HOOKS_SET_YYDEBUG
223 #define LANG_HOOKS_SET_YYDEBUG java_set_yydebug
224 #undef LANG_HOOKS_PARSE_FILE
225 #define LANG_HOOKS_PARSE_FILE java_parse_file
226 #undef LANG_HOOKS_DUP_LANG_SPECIFIC_DECL
227 #define LANG_HOOKS_DUP_LANG_SPECIFIC_DECL java_dup_lang_specific_decl
228 #undef LANG_HOOKS_DECL_PRINTABLE_NAME
229 #define LANG_HOOKS_DECL_PRINTABLE_NAME lang_printable_name
231 /* Each front end provides its own. */
232 const struct lang_hooks lang_hooks = LANG_HOOKS_INITIALIZER;
234 /* Process an option that can accept a `no-' form.
235 Return 1 if option found, 0 otherwise. */
237 process_option_with_no (p, table, table_size)
239 const struct string_option *table;
244 for (j = 0; j < table_size; j++)
246 if (!strcmp (p, table[j].string))
248 *table[j].variable = table[j].on_value;
251 if (p[0] == 'n' && p[1] == 'o' && p[2] == '-'
252 && ! strcmp (p+3, table[j].string))
254 *table[j].variable = ! table[j].on_value;
263 * process java-specific compiler command-line options
264 * return 0, but do not complain if the option is not recognised.
267 java_decode_option (argc, argv)
268 int argc __attribute__ ((__unused__));
275 if (strcmp (p, "-version") == 0)
278 /* We return 0 so that the caller can process this. */
282 #define CLARG "-fcompile-resource="
283 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
285 resource_name = p + sizeof (CLARG) - 1;
289 #define CLARG "-fassume-compiled="
290 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
292 add_assume_compiled (p + sizeof (CLARG) - 1, 0);
296 #define CLARG "-fno-assume-compiled="
297 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
299 add_assume_compiled (p + sizeof (CLARG) - 1, 1);
303 #define CLARG "-fassume-compiled"
304 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
306 add_assume_compiled ("", 0);
310 #define CLARG "-fno-assume-compiled"
311 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
313 add_assume_compiled ("", 1);
317 #define CLARG "-fCLASSPATH="
318 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
320 jcf_path_classpath_arg (p + sizeof (CLARG) - 1);
324 #define CLARG "-fclasspath="
325 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
327 jcf_path_classpath_arg (p + sizeof (CLARG) - 1);
331 #define CLARG "-fbootclasspath="
332 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
334 jcf_path_bootclasspath_arg (p + sizeof (CLARG) - 1);
338 else if (strncmp (p, "-I", 2) == 0)
340 jcf_path_include_arg (p + 2);
344 #define ARG "-foutput-class-dir="
345 if (strncmp (p, ARG, sizeof (ARG) - 1) == 0)
347 jcf_write_base_directory = p + sizeof (ARG) - 1;
351 #define ARG "-fencoding="
352 if (strncmp (p, ARG, sizeof (ARG) - 1) == 0)
354 current_encoding = p + sizeof (ARG) - 1;
359 if (p[0] == '-' && p[1] == 'f')
361 /* Some kind of -f option.
362 P's value is the option sans `-f'.
363 Search for it in the table of options. */
365 if (process_option_with_no (p, lang_f_options,
366 ARRAY_SIZE (lang_f_options)))
368 return dump_switch_p (p);
371 if (strcmp (p, "-Wall") == 0)
375 flag_extraneous_semicolon = 1;
376 /* When -Wall given, enable -Wunused. We do this because the C
377 compiler does it, and people expect it. */
382 if (p[0] == '-' && p[1] == 'W')
384 /* Skip `-W' and see if we accept the option or its `no-' form. */
386 return process_option_with_no (p, lang_W_options,
387 ARRAY_SIZE (lang_W_options));
390 if (strcmp (p, "-MD") == 0)
392 jcf_dependency_init (1);
393 dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
396 else if (strcmp (p, "-MMD") == 0)
398 jcf_dependency_init (0);
399 dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
402 else if (strcmp (p, "-M") == 0)
404 jcf_dependency_init (1);
405 dependency_tracking |= DEPEND_ENABLE;
408 else if (strcmp (p, "-MM") == 0)
410 jcf_dependency_init (0);
411 dependency_tracking |= DEPEND_ENABLE;
414 else if (strcmp (p, "-MP") == 0)
416 jcf_dependency_print_dummies ();
419 else if (strcmp (p, "-MT") == 0)
421 jcf_dependency_set_target (argv[1]);
422 dependency_tracking |= DEPEND_TARGET_SET;
425 else if (strcmp (p, "-MF") == 0)
427 jcf_dependency_set_dep_file (argv[1]);
428 dependency_tracking |= DEPEND_FILE_ALREADY_SET;
435 /* Global open file. */
440 const char *filename;
443 extern int flag_minimal_debug;
444 flag_minimal_debug = 0;
447 /* Open input file. */
449 if (filename == 0 || !strcmp (filename, "-"))
454 if (dependency_tracking)
455 error ("can't do dependency tracking with input from stdin");
459 if (dependency_tracking)
463 /* If the target is set and the output filename is set, then
464 there's no processing to do here. Otherwise we must
465 compute one or the other. */
466 if (! ((dependency_tracking & DEPEND_TARGET_SET)
467 && (dependency_tracking & DEPEND_FILE_ALREADY_SET)))
469 dot = strrchr (filename, '.');
471 error ("couldn't determine target name for dependency tracking");
474 char *buf = (char *) xmalloc (dot - filename +
475 3 + sizeof (TARGET_OBJECT_SUFFIX));
476 strncpy (buf, filename, dot - filename);
478 /* If emitting class files, we might have multiple
479 targets. The class generation code takes care of
480 registering them. Otherwise we compute the
482 if ((dependency_tracking & DEPEND_TARGET_SET))
484 else if (flag_emit_class_files)
485 jcf_dependency_set_target (NULL);
488 strcpy (buf + (dot - filename), TARGET_OBJECT_SUFFIX);
489 jcf_dependency_set_target (buf);
492 if ((dependency_tracking & DEPEND_FILE_ALREADY_SET))
494 else if ((dependency_tracking & DEPEND_SET_FILE))
496 strcpy (buf + (dot - filename), ".d");
497 jcf_dependency_set_dep_file (buf);
500 jcf_dependency_set_dep_file ("-");
509 jcf_path_seal (version_flag);
511 print_error_function = lang_print_error;
512 lang_expand_expr = java_lang_expand_expr;
514 java_init_decl_processing ();
516 using_eh_for_cleanups ();
524 jcf_dependency_write ();
527 /* Buffer used by lang_printable_name. */
528 static char *decl_buf = NULL;
530 /* Allocated size of decl_buf. */
531 static int decl_buflen = 0;
533 /* Length of used part of decl_buf; position for next character. */
534 static int decl_bufpos = 0;
536 /* Append the string STR to decl_buf.
537 It length is given by LEN; -1 means the string is nul-terminated. */
540 put_decl_string (str, len)
546 if (decl_bufpos + len >= decl_buflen)
548 if (decl_buf == NULL)
550 decl_buflen = len + 100;
551 decl_buf = (char *) xmalloc (decl_buflen);
556 decl_buf = (char *) xrealloc (decl_buf, decl_buflen);
559 strcpy (decl_buf + decl_bufpos, str);
563 /* Append to decl_buf a printable name for NODE. */
570 if (TREE_CODE (node) == POINTER_TYPE)
572 node = TREE_TYPE (node);
575 if (TREE_CODE_CLASS (TREE_CODE (node)) == 'd'
576 && DECL_NAME (node) != NULL_TREE)
578 if (TREE_CODE (node) == FUNCTION_DECL)
580 /* We want to print the type the DECL belongs to. We don't do
581 that when we handle constructors. */
582 if (! DECL_CONSTRUCTOR_P (node)
583 && ! DECL_ARTIFICIAL (node) && DECL_CONTEXT (node))
585 put_decl_node (TYPE_NAME (DECL_CONTEXT (node)));
586 put_decl_string (".", 1);
588 if (! DECL_CONSTRUCTOR_P (node))
589 put_decl_node (DECL_NAME (node));
590 if (TREE_TYPE (node) != NULL_TREE)
593 tree args = TYPE_ARG_TYPES (TREE_TYPE (node));
594 if (TREE_CODE (TREE_TYPE (node)) == METHOD_TYPE)
595 args = TREE_CHAIN (args);
596 put_decl_string ("(", 1);
597 for ( ; args != end_params_node; args = TREE_CHAIN (args), i++)
600 put_decl_string (",", 1);
601 put_decl_node (TREE_VALUE (args));
603 put_decl_string (")", 1);
607 put_decl_node (DECL_NAME (node));
609 else if (TREE_CODE_CLASS (TREE_CODE (node)) == 't'
610 && TYPE_NAME (node) != NULL_TREE)
612 if (TREE_CODE (node) == RECORD_TYPE && TYPE_ARRAY_P (node))
614 put_decl_node (TYPE_ARRAY_ELEMENT (node));
615 put_decl_string("[]", 2);
617 else if (node == promoted_byte_type_node)
618 put_decl_string ("byte", 4);
619 else if (node == promoted_short_type_node)
620 put_decl_string ("short", 5);
621 else if (node == promoted_char_type_node)
622 put_decl_string ("char", 4);
623 else if (node == promoted_boolean_type_node)
624 put_decl_string ("boolean", 7);
625 else if (node == void_type_node && was_pointer)
626 put_decl_string ("null", 4);
628 put_decl_node (TYPE_NAME (node));
630 else if (TREE_CODE (node) == IDENTIFIER_NODE)
631 put_decl_string (IDENTIFIER_POINTER (node), IDENTIFIER_LENGTH (node));
633 put_decl_string ("<unknown>", -1);
636 /* Return a user-friendly name for DECL.
637 The resulting string is only valid until the next call.
638 The value of the hook decl_printable_name is this function,
639 which is also called directly by lang_print_error. */
642 lang_printable_name (decl, v)
644 int v __attribute__ ((__unused__));
647 put_decl_node (decl);
648 put_decl_string ("", 1);
652 /* Does the same thing that lang_printable_name, but add a leading
653 space to the DECL name string -- With Leading Space. */
656 lang_printable_name_wls (decl, v)
658 int v __attribute__ ((__unused__));
661 put_decl_node (decl);
662 put_decl_string ("", 1);
667 /* Print on stderr the current class and method context. This function
668 is the value of the hook print_error_function, called from toplev.c. */
671 lang_print_error (context, file)
672 diagnostic_context *context __attribute__((__unused__));
675 static tree last_error_function_context = NULL_TREE;
676 static tree last_error_function = NULL;
677 static int initialized_p;
679 /* Register LAST_ERROR_FUNCTION_CONTEXT and LAST_ERROR_FUNCTION with
680 the garbage collector. */
683 ggc_add_tree_root (&last_error_function_context, 1);
684 ggc_add_tree_root (&last_error_function, 1);
688 if (current_function_decl != NULL
689 && DECL_CONTEXT (current_function_decl) != last_error_function_context)
692 fprintf (stderr, "%s: ", file);
694 last_error_function_context = DECL_CONTEXT (current_function_decl);
695 fprintf (stderr, "In class `%s':\n",
696 lang_printable_name (last_error_function_context, 0));
698 if (last_error_function != current_function_decl)
701 fprintf (stderr, "%s: ", file);
703 if (current_function_decl == NULL)
704 fprintf (stderr, "At top level:\n");
707 const char *name = lang_printable_name (current_function_decl, 2);
708 fprintf (stderr, "In %s `%s':\n",
709 (DECL_CONSTRUCTOR_P (current_function_decl) ? "constructor"
714 last_error_function = current_function_decl;
719 /* This doesn't do anything on purpose. It's used to satisfy the
720 print_error_function hook we don't print error messages with bogus
721 function prototypes. */
724 java_dummy_print (c, s)
725 diagnostic_context *c __attribute__ ((__unused__));
726 const char *s __attribute__ ((__unused__));
730 /* Called to install the PRINT_ERROR_FUNCTION hook differently
731 according to LEVEL. LEVEL is 1 during early parsing, when function
732 prototypes aren't fully resolved. print_error_function is set so it
733 doesn't print incomplete function prototypes. When LEVEL is 2,
734 function prototypes are fully resolved and can be printed when
737 void lang_init_source (level)
741 print_error_function = java_dummy_print;
743 print_error_function = lang_print_error;
749 flag_bounds_check = 1;
751 flag_non_call_exceptions = 1;