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"
48 static void java_init PARAMS ((void));
49 static void java_init_options PARAMS ((void));
50 static int java_decode_option PARAMS ((int, char **));
51 static void put_decl_string PARAMS ((const char *, int));
52 static void put_decl_node PARAMS ((tree));
53 static void java_dummy_print PARAMS ((const char *));
54 static void lang_print_error PARAMS ((const char *));
55 static int process_option_with_no PARAMS ((char *,
56 struct string_option *,
60 # define OBJECT_SUFFIX ".o"
63 /* Table indexed by tree code giving a string containing a character
64 classifying the tree code. Possibilities are
65 t, d, s, c, r, <, 1 and 2. See java/java-tree.def for details. */
67 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE,
69 char java_tree_code_type[] = {
71 #include "java-tree.def"
75 /* Table indexed by tree code giving number of expression
76 operands beyond the fixed part of the node structure.
77 Not used for types or decls. */
79 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) LENGTH,
81 int java_tree_code_length[] = {
83 #include "java-tree.def"
87 /* Names of tree components.
88 Used for printing out the tree and error messages. */
89 #define DEFTREECODE(SYM, NAME, TYPE, LEN) NAME,
91 const char *java_tree_code_name[] = {
93 #include "java-tree.def"
97 int compiling_from_source;
99 const char * const language_string = "GNU Java";
101 /* Nonzero if we should make is_compiled_class always return 1 for
102 appropriate classes that we're referencing. */
104 int flag_assume_compiled = 1;
106 int flag_emit_class_files = 0;
108 /* Nonzero if input file is a file with a list of filenames to compile. */
110 int flag_filelist_file = 0;
112 /* When non zero, we emit xref strings. Values of the flag for xref
113 backends are defined in xref_flag_table, xref.c. */
115 int flag_emit_xref = 0;
117 /* When non zero, -Wall was turned on. */
120 /* When non zero, check for redundant modifier uses. */
121 int flag_redundant = 0;
123 /* When non zero, call a library routine to do integer divisions. */
124 int flag_use_divide_subroutine = 1;
126 /* When non zero, generate code for the Boehm GC. */
127 int flag_use_boehm_gc = 0;
129 /* When non zero, assume the runtime uses a hash table to map an
130 object to its synchronization structure. */
131 int flag_hash_synchronization;
133 /* When non zero, assume all native functions are implemented with
137 /* When non zero, warn when source file is newer than matching class
141 /* When non zero, generate checks for references to NULL. */
142 int flag_check_references = 0;
144 /* The encoding of the source file. */
145 const char *current_encoding = NULL;
147 /* When non zero, report the now deprecated empty statements. */
148 int flag_extraneous_semicolon;
150 /* When non zero, always check for a non gcj generated classes archive. */
151 int flag_force_classes_archive_check;
153 /* From gcc/flags.h, and indicates if exceptions are turned on or not. */
155 extern int flag_exceptions;
157 /* Table of language-dependent -f options.
158 STRING is the option name. VARIABLE is the address of the variable.
159 ON_VALUE is the value to store in VARIABLE
160 if `-fSTRING' is seen as an option.
161 (If `-fno-STRING' is seen as an option, the opposite value is stored.) */
163 static struct string_option
166 {"emit-class-file", &flag_emit_class_files, 1},
167 {"emit-class-files", &flag_emit_class_files, 1},
168 {"filelist-file", &flag_filelist_file, 1},
169 {"use-divide-subroutine", &flag_use_divide_subroutine, 1},
170 {"use-boehm-gc", &flag_use_boehm_gc, 1},
171 {"hash-synchronization", &flag_hash_synchronization, 1},
172 {"jni", &flag_jni, 1},
173 {"check-references", &flag_check_references, 1},
174 {"force-classes-archive-check", &flag_force_classes_archive_check, 1}
177 static struct string_option
180 { "redundant-modifiers", &flag_redundant, 1 },
181 { "extraneous-semicolon", &flag_extraneous_semicolon, 1 },
182 { "out-of-date", &flag_newer, 1 }
187 /* Variable controlling how dependency tracking is enabled in
189 static int dependency_tracking = 0;
191 /* Flag values for DEPENDENCY_TRACKING. */
192 #define DEPEND_SET_FILE 1
193 #define DEPEND_ENABLE 2
194 #define DEPEND_TARGET_SET 4
195 #define DEPEND_FILE_ALREADY_SET 8
197 /* Each front end provides its own. */
198 struct lang_hooks lang_hooks = {java_init,
199 NULL, /* java_finish */
202 NULL /* post_options */};
204 /* Process an option that can accept a `no-' form.
205 Return 1 if option found, 0 otherwise. */
207 process_option_with_no (p, table, table_size)
209 struct string_option *table;
214 for (j = 0; j < table_size; j++)
216 if (!strcmp (p, table[j].string))
218 *table[j].variable = table[j].on_value;
221 if (p[0] == 'n' && p[1] == 'o' && p[2] == '-'
222 && ! strcmp (p+3, table[j].string))
224 *table[j].variable = ! table[j].on_value;
233 * process java-specific compiler command-line options
234 * return 0, but do not complain if the option is not recognised.
237 java_decode_option (argc, argv)
238 int argc __attribute__ ((__unused__));
243 #define CLARG "-fassume-compiled="
244 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
246 add_assume_compiled (p + sizeof (CLARG) - 1, 0);
250 #define CLARG "-fno-assume-compiled="
251 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
253 add_assume_compiled (p + sizeof (CLARG) - 1, 1);
257 #define CLARG "-fassume-compiled"
258 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
260 add_assume_compiled ("", 0);
264 #define CLARG "-fno-assume-compiled"
265 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
267 add_assume_compiled ("", 1);
271 #define CLARG "-fclasspath="
272 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
274 jcf_path_classpath_arg (p + sizeof (CLARG) - 1);
278 #define CLARG "-fCLASSPATH="
279 if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
281 jcf_path_CLASSPATH_arg (p + sizeof (CLARG) - 1);
285 else if (strncmp (p, "-I", 2) == 0)
287 jcf_path_include_arg (p + 2);
291 #define ARG "-foutput-class-dir="
292 if (strncmp (p, ARG, sizeof (ARG) - 1) == 0)
294 jcf_write_base_directory = p + sizeof (ARG) - 1;
298 #define ARG "-fencoding="
299 if (strncmp (p, ARG, sizeof (ARG) - 1) == 0)
301 current_encoding = p + sizeof (ARG) - 1;
306 if (p[0] == '-' && p[1] == 'f')
308 /* Some kind of -f option.
309 P's value is the option sans `-f'.
310 Search for it in the table of options. */
312 return process_option_with_no (p, lang_f_options,
313 ARRAY_SIZE (lang_f_options));
316 if (strcmp (p, "-Wall") == 0)
320 flag_extraneous_semicolon = 1;
321 /* When -Wall given, enable -Wunused. We do this because the C
322 compiler does it, and people expect it. */
327 if (p[0] == '-' && p[1] == 'W')
329 /* Skip `-W' and see if we accept the option or its `no-' form. */
331 return process_option_with_no (p, lang_W_options,
332 ARRAY_SIZE (lang_W_options));
335 if (strcmp (p, "-MD") == 0)
337 jcf_dependency_init (1);
338 dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
341 else if (strcmp (p, "-MMD") == 0)
343 jcf_dependency_init (0);
344 dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
347 else if (strcmp (p, "-M") == 0)
349 jcf_dependency_init (1);
350 dependency_tracking |= DEPEND_ENABLE;
353 else if (strcmp (p, "-MM") == 0)
355 jcf_dependency_init (0);
356 dependency_tracking |= DEPEND_ENABLE;
359 else if (strcmp (p, "-MP") == 0)
361 jcf_dependency_print_dummies ();
364 else if (strcmp (p, "-MT") == 0)
366 jcf_dependency_set_target (argv[1]);
367 dependency_tracking |= DEPEND_TARGET_SET;
370 else if (strcmp (p, "-MF") == 0)
372 jcf_dependency_set_dep_file (argv[1]);
373 dependency_tracking |= DEPEND_FILE_ALREADY_SET;
380 /* Global open file. */
384 init_parse (filename)
385 const char *filename;
387 /* Open input file. */
389 if (filename == 0 || !strcmp (filename, "-"))
394 if (dependency_tracking)
395 error ("can't do dependency tracking with input from stdin");
399 if (dependency_tracking)
403 /* If the target is set and the output filename is set, then
404 there's no processing to do here. Otherwise we must
405 compute one or the other. */
406 if (! ((dependency_tracking & DEPEND_TARGET_SET)
407 && (dependency_tracking & DEPEND_FILE_ALREADY_SET)))
409 dot = strrchr (filename, '.');
411 error ("couldn't determine target name for dependency tracking");
414 char *buf = (char *) xmalloc (dot - filename +
415 3 + sizeof (OBJECT_SUFFIX));
416 strncpy (buf, filename, dot - filename);
418 /* If emitting class files, we might have multiple
419 targets. The class generation code takes care of
420 registering them. Otherwise we compute the
422 if ((dependency_tracking & DEPEND_TARGET_SET))
424 else if (flag_emit_class_files)
425 jcf_dependency_set_target (NULL);
428 strcpy (buf + (dot - filename), OBJECT_SUFFIX);
429 jcf_dependency_set_target (buf);
432 if ((dependency_tracking & DEPEND_FILE_ALREADY_SET))
434 else if ((dependency_tracking & DEPEND_SET_FILE))
436 strcpy (buf + (dot - filename), ".d");
437 jcf_dependency_set_dep_file (buf);
440 jcf_dependency_set_dep_file ("-");
456 jcf_dependency_write ();
459 /* Buffer used by lang_printable_name. */
460 static char *decl_buf = NULL;
462 /* Allocated size of decl_buf. */
463 static int decl_buflen = 0;
465 /* Length of used part of decl_buf; position for next character. */
466 static int decl_bufpos = 0;
468 /* Append the string STR to decl_buf.
469 It length is given by LEN; -1 means the string is nul-terminated. */
472 put_decl_string (str, len)
478 if (decl_bufpos + len >= decl_buflen)
480 if (decl_buf == NULL)
482 decl_buflen = len + 100;
483 decl_buf = (char *) xmalloc (decl_buflen);
488 decl_buf = (char *) xrealloc (decl_buf, decl_buflen);
491 strcpy (decl_buf + decl_bufpos, str);
495 /* Append to decl_buf a printable name for NODE. */
502 if (TREE_CODE (node) == POINTER_TYPE)
504 node = TREE_TYPE (node);
507 if (TREE_CODE_CLASS (TREE_CODE (node)) == 'd'
508 && DECL_NAME (node) != NULL_TREE)
510 /* We want to print the type the DECL belongs to. We don't do
511 that when we handle constructors. */
512 if (TREE_CODE (node) == FUNCTION_DECL
513 && ! DECL_CONSTRUCTOR_P (node)
514 && ! DECL_ARTIFICIAL (node) && DECL_CONTEXT (node))
516 put_decl_node (TYPE_NAME (DECL_CONTEXT (node)));
517 put_decl_string (".", 1);
519 if (! DECL_CONSTRUCTOR_P (node))
520 put_decl_node (DECL_NAME (node));
521 if (TREE_CODE (node) == FUNCTION_DECL && TREE_TYPE (node) != NULL_TREE)
524 tree args = TYPE_ARG_TYPES (TREE_TYPE (node));
525 if (TREE_CODE (TREE_TYPE (node)) == METHOD_TYPE)
526 args = TREE_CHAIN (args);
527 put_decl_string ("(", 1);
528 for ( ; args != end_params_node; args = TREE_CHAIN (args), i++)
531 put_decl_string (",", 1);
532 put_decl_node (TREE_VALUE (args));
534 put_decl_string (")", 1);
537 else if (TREE_CODE_CLASS (TREE_CODE (node)) == 't'
538 && TYPE_NAME (node) != NULL_TREE)
540 if (TREE_CODE (node) == RECORD_TYPE && TYPE_ARRAY_P (node))
542 put_decl_node (TYPE_ARRAY_ELEMENT (node));
543 put_decl_string("[]", 2);
545 else if (node == promoted_byte_type_node)
546 put_decl_string ("byte", 4);
547 else if (node == promoted_short_type_node)
548 put_decl_string ("short", 5);
549 else if (node == promoted_char_type_node)
550 put_decl_string ("char", 4);
551 else if (node == promoted_boolean_type_node)
552 put_decl_string ("boolean", 7);
553 else if (node == void_type_node && was_pointer)
554 put_decl_string ("null", 4);
556 put_decl_node (TYPE_NAME (node));
558 else if (TREE_CODE (node) == IDENTIFIER_NODE)
559 put_decl_string (IDENTIFIER_POINTER (node), IDENTIFIER_LENGTH (node));
561 put_decl_string ("<unknown>", -1);
564 /* Return a user-friendly name for DECL.
565 The resulting string is only valid until the next call.
566 The value of the hook decl_printable_name is this function,
567 which is also called directly by lang_print_error. */
570 lang_printable_name (decl, v)
572 int v __attribute__ ((__unused__));
575 put_decl_node (decl);
576 put_decl_string ("", 1);
580 /* Does the same thing that lang_printable_name, but add a leading
581 space to the DECL name string -- With Leading Space. */
584 lang_printable_name_wls (decl, v)
586 int v __attribute__ ((__unused__));
589 put_decl_node (decl);
590 put_decl_string ("", 1);
595 /* Print on stderr the current class and method context. This function
596 is the value of the hook print_error_function, called from toplev.c. */
599 lang_print_error (file)
602 static tree last_error_function_context = NULL_TREE;
603 static tree last_error_function = NULL;
604 static int initialized_p;
606 /* Register LAST_ERROR_FUNCTION_CONTEXT and LAST_ERROR_FUNCTION with
607 the garbage collector. */
610 ggc_add_tree_root (&last_error_function_context, 1);
611 ggc_add_tree_root (&last_error_function, 1);
615 if (current_function_decl != NULL
616 && DECL_CONTEXT (current_function_decl) != last_error_function_context)
619 fprintf (stderr, "%s: ", file);
621 last_error_function_context = DECL_CONTEXT (current_function_decl);
622 fprintf (stderr, "In class `%s':\n",
623 lang_printable_name (last_error_function_context, 0));
625 if (last_error_function != current_function_decl)
628 fprintf (stderr, "%s: ", file);
630 if (current_function_decl == NULL)
631 fprintf (stderr, "At top level:\n");
634 const char *name = lang_printable_name (current_function_decl, 2);
635 fprintf (stderr, "In method `%s':\n", name);
638 last_error_function = current_function_decl;
647 extern int flag_minimal_debug;
648 flag_minimal_debug = 0;
654 decl_printable_name = lang_printable_name;
655 print_error_function = lang_print_error;
656 lang_expand_expr = java_lang_expand_expr;
660 /* Append to Gcc tree node definition arrays */
662 memcpy (tree_code_type + (int) LAST_AND_UNUSED_TREE_CODE,
664 (int)LAST_JAVA_TREE_CODE - (int)LAST_AND_UNUSED_TREE_CODE);
665 memcpy (tree_code_length + (int) LAST_AND_UNUSED_TREE_CODE,
666 java_tree_code_length,
667 (LAST_JAVA_TREE_CODE -
668 (int)LAST_AND_UNUSED_TREE_CODE) * sizeof (int));
669 memcpy (tree_code_name + (int) LAST_AND_UNUSED_TREE_CODE,
671 (LAST_JAVA_TREE_CODE -
672 (int)LAST_AND_UNUSED_TREE_CODE) * sizeof (char *));
674 using_eh_for_cleanups ();
677 /* This doesn't do anything on purpose. It's used to satisfy the
678 print_error_function hook we don't print error messages with bogus
679 function prototypes. */
683 const char *s __attribute__ ((__unused__));
687 /* Called to install the PRINT_ERROR_FUNCTION hook differently
688 according to LEVEL. LEVEL is 1 during early parsing, when function
689 prototypes aren't fully resolved. print_error_function is set so it
690 doesn't print incomplete function prototypes. When LEVEL is 2,
691 function prototypes are fully resolved and can be printed when
694 void lang_init_source (level)
698 print_error_function = java_dummy_print;
700 print_error_function = lang_print_error;
706 flag_bounds_check = 1;
715 /* Hooks for print_node. */
718 print_lang_decl (file, node, indent)
719 FILE *file __attribute ((__unused__));
720 tree node __attribute ((__unused__));
721 int indent __attribute ((__unused__));
726 print_lang_type (file, node, indent)
727 FILE *file __attribute ((__unused__));
728 tree node __attribute ((__unused__));
729 int indent __attribute ((__unused__));
734 print_lang_identifier (file, node, indent)
735 FILE *file __attribute ((__unused__));
736 tree node __attribute ((__unused__));
737 int indent __attribute ((__unused__));
742 print_lang_statistics ()
746 /* used by print-tree.c */
749 lang_print_xnode (file, node, indent)
750 FILE *file __attribute ((__unused__));
751 tree node __attribute ((__unused__));
752 int indent __attribute ((__unused__));
756 /* Return the typed-based alias set for T, which may be an expression
757 or a type. Return -1 if we don't do anything special. */
760 lang_get_alias_set (t)
761 tree t ATTRIBUTE_UNUSED;