OSDN Git Service

2001-01-08 Alexandre Petit-Bianco <apbianco@cygnus.com>
[pf3gnuchains/gcc-fork.git] / gcc / java / lang.c
1 /* Java(TM) language-specific utility routines.
2    Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001
3    Free Software Foundation, Inc.
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
28 #include "config.h"
29 #include "system.h"
30 #include "tree.h"
31 #include "input.h"
32 #include "rtl.h"
33 #include "expr.h"
34 #include "java-tree.h"
35 #include "jcf.h"
36 #include "toplev.h"
37 #include "flags.h"
38 #include "xref.h"
39 #include "ggc.h"
40
41 struct string_option
42 {
43   const char *string;
44   int *variable;
45   int on_value;
46 };
47
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 *,
57                                            int));
58
59 #ifndef OBJECT_SUFFIX
60 # define OBJECT_SUFFIX ".o"
61 #endif
62
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.  */
66
67 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) TYPE,
68
69 char java_tree_code_type[] = {
70   'x',
71 #include "java-tree.def"
72 };
73 #undef DEFTREECODE
74
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.  */
78
79 #define DEFTREECODE(SYM, NAME, TYPE, LENGTH) LENGTH,
80
81 int java_tree_code_length[] = {
82   0,
83 #include "java-tree.def"
84 };
85 #undef DEFTREECODE
86
87 /* Names of tree components.
88    Used for printing out the tree and error messages.  */
89 #define DEFTREECODE(SYM, NAME, TYPE, LEN) NAME,
90
91 const char *java_tree_code_name[] = {
92   "@@dummy",
93 #include "java-tree.def"
94 };
95 #undef DEFTREECODE
96
97 int compiling_from_source;
98
99 const char * const language_string = "GNU Java";
100
101 /* Nonzero if we should make is_compiled_class always return 1 for
102    appropriate classes that we're referencing.  */
103
104 int flag_assume_compiled = 1;
105
106 int flag_emit_class_files = 0;
107
108 /* When non zero, we emit xref strings. Values of the flag for xref
109    backends are defined in xref_flag_table, xref.c.  */
110
111 int flag_emit_xref = 0;
112
113 /* When non zero, -Wall was turned on.  */
114 int flag_wall = 0;
115
116 /* When non zero, check for redundant modifier uses.  */
117 int flag_redundant = 0;
118
119 /* When non zero, warns about overridings that don't occur.  */
120 int flag_not_overriding = 0;
121
122 /* When non zero, warns that final local are treated as non final.  */
123 int flag_static_local_jdk1_1 = 0;
124
125 /* When non zero, call a library routine to do integer divisions. */
126 int flag_use_divide_subroutine = 1;
127
128 /* When non zero, generate code for the Boehm GC.  */
129 int flag_use_boehm_gc = 0;
130
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;
134
135 /* When non zero, assume all native functions are implemented with
136    JNI, not CNI.  */
137 int flag_jni = 0;
138
139 /* When non zero, warn when source file is newer than matching class
140    file.  */
141 int flag_newer = 1;
142
143 /* The encoding of the source file.  */
144 const char *current_encoding = NULL;
145
146 /* When non zero, report the now deprecated empty statements.  */
147 int flag_extraneous_semicolon;
148
149 /* From gcc/flags.h, and indicates if exceptions are turned on or not.  */
150
151 extern int flag_new_exceptions;
152 extern int flag_exceptions;
153
154 /* Table of language-dependent -f options.
155    STRING is the option name.  VARIABLE is the address of the variable.
156    ON_VALUE is the value to store in VARIABLE
157     if `-fSTRING' is seen as an option.
158    (If `-fno-STRING' is seen as an option, the opposite value is stored.)  */
159
160 static struct string_option
161 lang_f_options[] =
162 {
163   {"emit-class-file", &flag_emit_class_files, 1},
164   {"emit-class-files", &flag_emit_class_files, 1},
165   {"use-divide-subroutine", &flag_use_divide_subroutine, 1},
166   {"use-boehm-gc", &flag_use_boehm_gc, 1},
167   {"hash-synchronization", &flag_hash_synchronization, 1},
168   {"jni", &flag_jni, 1}
169 };
170
171 static struct string_option
172 lang_W_options[] =
173 {
174   { "unsupported-jdk11", &flag_static_local_jdk1_1, 1 },
175   { "redundant-modifiers", &flag_redundant, 1 },
176   { "extraneous-semicolon", &flag_extraneous_semicolon, 1 },
177   { "out-of-date", &flag_newer, 1 }
178 };
179
180 JCF *current_jcf;
181
182 /* Variable controlling how dependency tracking is enabled in
183    init_parse.  */
184 static int dependency_tracking = 0;
185
186 /* Flag values for DEPENDENCY_TRACKING.  */
187 #define DEPEND_SET_FILE 1
188 #define DEPEND_ENABLE   2
189 #define DEPEND_TARGET_SET 4
190 #define DEPEND_FILE_ALREADY_SET 8
191
192 /* Each front end provides its own.  */
193 struct lang_hooks lang_hooks = {java_init,
194                                 NULL, /* java_finish */
195                                 java_init_options,
196                                 java_decode_option,
197                                 NULL /* post_options */};
198
199 /* Process an option that can accept a `no-' form.
200    Return 1 if option found, 0 otherwise.  */
201 static int
202 process_option_with_no (p, table, table_size)
203      char *p;
204      struct string_option *table;
205      int table_size;
206 {
207   int j;
208
209   for (j = 0; j < table_size; j++)
210     {
211       if (!strcmp (p, table[j].string))
212         {
213           *table[j].variable = table[j].on_value;
214           return 1;
215         }
216       if (p[0] == 'n' && p[1] == 'o' && p[2] == '-'
217           && ! strcmp (p+3, table[j].string))
218         {
219           *table[j].variable = ! table[j].on_value;
220           return 1;
221         }
222     }
223
224   return 0;
225 }
226
227 /*
228  * process java-specific compiler command-line options
229  * return 0, but do not complain if the option is not recognised.
230  */
231 static int
232 java_decode_option (argc, argv)
233      int argc __attribute__ ((__unused__));
234      char **argv;
235 {
236   char *p = argv[0];
237
238 #define CLARG "-fassume-compiled="
239   if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
240     {
241       add_assume_compiled (p + sizeof (CLARG) - 1, 0);
242       return 1;
243     }
244 #undef CLARG
245 #define CLARG "-fno-assume-compiled="
246   if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
247     {
248       add_assume_compiled (p + sizeof (CLARG) - 1, 1);
249       return 1;
250     }
251 #undef CLARG
252 #define CLARG "-fassume-compiled"
253   if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
254     {
255       add_assume_compiled ("", 0);
256       return 1;
257     }
258 #undef CLARG
259 #define CLARG "-fno-assume-compiled"
260   if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
261     {
262       add_assume_compiled ("", 1);
263       return 1;
264     }
265 #undef CLARG
266 #define CLARG "-fclasspath="
267   if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
268     {
269       jcf_path_classpath_arg (p + sizeof (CLARG) - 1);
270       return 1;
271     }
272 #undef CLARG
273 #define CLARG "-fCLASSPATH="
274   if (strncmp (p, CLARG, sizeof (CLARG) - 1) == 0)
275     {
276       jcf_path_CLASSPATH_arg (p + sizeof (CLARG) - 1);
277       return 1;
278     }
279 #undef CLARG
280   else if (strncmp (p, "-I", 2) == 0)
281     {
282       jcf_path_include_arg (p + 2);
283       return 1;
284     }
285
286 #define ARG "-foutput-class-dir="
287   if (strncmp (p, ARG, sizeof (ARG) - 1) == 0)
288     {
289       jcf_write_base_directory = p + sizeof (ARG) - 1;
290       return 1;
291     }
292 #undef ARG
293 #define ARG "-fencoding="
294   if (strncmp (p, ARG, sizeof (ARG) - 1) == 0)
295     {
296       current_encoding = p + sizeof (ARG) - 1;
297       return 1;
298     }
299 #undef ARG
300
301   if (p[0] == '-' && p[1] == 'f')
302     {
303       /* Some kind of -f option.
304          P's value is the option sans `-f'.
305          Search for it in the table of options.  */
306       p += 2;
307       return process_option_with_no (p, lang_f_options,
308                                      ARRAY_SIZE (lang_f_options));
309     }
310
311   if (strcmp (p, "-Wall") == 0)
312     {
313       flag_wall = 1;
314       flag_redundant = 1;
315       flag_extraneous_semicolon = 1;
316       /* When -Wall given, enable -Wunused.  We do this because the C
317          compiler does it, and people expect it.  */
318       set_Wunused (1);
319       return 1;
320     }
321
322   if (p[0] == '-' && p[1] == 'W')
323     {
324       /* Skip `-W' and see if we accept the option or its `no-' form.  */
325       p += 2;
326       return process_option_with_no (p, lang_W_options,
327                                      ARRAY_SIZE (lang_W_options));
328     }
329
330   if (strcmp (p, "-MD") == 0)
331     {
332       jcf_dependency_init (1);
333       dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
334       return 1;
335     }
336   else if (strcmp (p, "-MMD") == 0)
337     {
338       jcf_dependency_init (0);
339       dependency_tracking |= DEPEND_SET_FILE | DEPEND_ENABLE;
340       return 1;
341     }
342   else if (strcmp (p, "-M") == 0)
343     {
344       jcf_dependency_init (1);
345       dependency_tracking |= DEPEND_ENABLE;
346       return 1;
347     }
348   else if (strcmp (p, "-MM") == 0)
349     {
350       jcf_dependency_init (0);
351       dependency_tracking |= DEPEND_ENABLE;
352       return 1;
353     }
354   else if (strcmp (p, "-MP") == 0)
355     {
356       jcf_dependency_print_dummies ();
357       return 1;
358     }
359   else if (strcmp (p, "-MT") == 0)
360     {
361       jcf_dependency_set_target (argv[1]);
362       dependency_tracking |= DEPEND_TARGET_SET;
363       return 2;
364     }
365   else if (strcmp (p, "-MF") == 0)
366     {
367       jcf_dependency_set_dep_file (argv[1]);
368       dependency_tracking |= DEPEND_FILE_ALREADY_SET;
369       return 2;
370     }
371
372   return 0;
373 }
374
375 /* Global open file.  */
376 FILE *finput;
377
378 const char *
379 init_parse (filename)
380      const char *filename;
381 {
382   /* Open input file.  */
383
384   if (filename == 0 || !strcmp (filename, "-"))
385     {
386       finput = stdin;
387       filename = "stdin";
388
389       if (dependency_tracking)
390         error ("can't do dependency tracking with input from stdin");
391     }
392   else
393     {
394       if (dependency_tracking)
395         {
396           char *dot;
397
398           /* If the target is set and the output filename is set, then
399              there's no processing to do here.  Otherwise we must
400              compute one or the other.  */
401           if (! ((dependency_tracking & DEPEND_TARGET_SET)
402                  && (dependency_tracking & DEPEND_FILE_ALREADY_SET)))
403             {
404               dot = strrchr (filename, '.');
405               if (dot == NULL)
406                 error ("couldn't determine target name for dependency tracking");
407               else
408                 {
409                   char *buf = (char *) xmalloc (dot - filename +
410                                                 3 + sizeof (OBJECT_SUFFIX));
411                   strncpy (buf, filename, dot - filename);
412
413                   /* If emitting class files, we might have multiple
414                      targets.  The class generation code takes care of
415                      registering them.  Otherwise we compute the
416                      target name here.  */
417                   if ((dependency_tracking & DEPEND_TARGET_SET))
418                     ; /* Nothing.  */
419                   else if (flag_emit_class_files)
420                     jcf_dependency_set_target (NULL);
421                   else
422                     {
423                       strcpy (buf + (dot - filename), OBJECT_SUFFIX);
424                       jcf_dependency_set_target (buf);
425                     }
426
427                   if ((dependency_tracking & DEPEND_FILE_ALREADY_SET))
428                     ; /* Nothing.  */
429                   else if ((dependency_tracking & DEPEND_SET_FILE))
430                     {
431                       strcpy (buf + (dot - filename), ".d");
432                       jcf_dependency_set_dep_file (buf);
433                     }
434                   else
435                     jcf_dependency_set_dep_file ("-");
436
437                   free (buf);
438                 }
439             }
440         }
441     }
442
443   init_lex ();
444
445   return filename;
446 }
447
448 void
449 finish_parse ()
450 {
451   jcf_dependency_write ();
452 }
453
454 /* Buffer used by lang_printable_name. */
455 static char *decl_buf = NULL;
456
457 /* Allocated size of decl_buf. */
458 static int decl_buflen = 0;
459
460 /* Length of used part of decl_buf;  position for next character. */
461 static int decl_bufpos = 0;
462
463 /* Append the string STR to decl_buf.
464    It length is given by LEN;  -1 means the string is nul-terminated. */
465
466 static void
467 put_decl_string (str, len)
468      const char *str;
469      int len;
470 {
471   if (len < 0)
472     len = strlen (str);
473   if (decl_bufpos + len >= decl_buflen)
474     {
475       if (decl_buf == NULL)
476         {
477           decl_buflen = len + 100;
478           decl_buf = (char *) xmalloc (decl_buflen);
479         }
480       else
481         {
482           decl_buflen *= 2;
483           decl_buf = (char *) xrealloc (decl_buf, decl_buflen);
484         }
485     }
486   strcpy (decl_buf + decl_bufpos, str);
487   decl_bufpos += len;
488 }
489
490 /* Append to decl_buf a printable name for NODE. */
491
492 static void
493 put_decl_node (node)
494      tree node;
495 {
496   int was_pointer = 0;
497   if (TREE_CODE (node) == POINTER_TYPE)
498     {
499       node = TREE_TYPE (node);
500       was_pointer = 1;
501     }
502   if (TREE_CODE_CLASS (TREE_CODE (node)) == 'd'
503       && DECL_NAME (node) != NULL_TREE)
504     {
505       /* We want to print the type the DECL belongs to. We don't do
506          that when we handle constructors. */
507       if (TREE_CODE (node) == FUNCTION_DECL
508           && ! DECL_CONSTRUCTOR_P (node)
509           && ! DECL_ARTIFICIAL (node) && DECL_CONTEXT (node))
510         put_decl_node (TYPE_NAME (DECL_CONTEXT (node)));
511       else if (! DECL_CONSTRUCTOR_P (node))
512         put_decl_node (DECL_NAME (node));
513       if (TREE_CODE (node) == FUNCTION_DECL && TREE_TYPE (node) != NULL_TREE)
514         {
515           int i = 0;
516           tree args = TYPE_ARG_TYPES (TREE_TYPE (node));
517           if (TREE_CODE (TREE_TYPE (node)) == METHOD_TYPE)
518             args = TREE_CHAIN (args);
519           put_decl_string ("(", 1);
520           for ( ; args != end_params_node;  args = TREE_CHAIN (args), i++)
521             {
522               if (i > 0)
523                 put_decl_string (",", 1);
524               put_decl_node (TREE_VALUE (args));
525             }
526           put_decl_string (")", 1);
527         }
528     }
529   else if (TREE_CODE_CLASS (TREE_CODE (node)) == 't'
530       && TYPE_NAME (node) != NULL_TREE)
531     {
532       if (TREE_CODE (node) == RECORD_TYPE && TYPE_ARRAY_P (node))
533         {
534           put_decl_node (TYPE_ARRAY_ELEMENT (node));
535           put_decl_string("[]", 2);
536         }
537       else if (node == promoted_byte_type_node)
538         put_decl_string ("byte", 4);
539       else if (node == promoted_short_type_node)
540         put_decl_string ("short", 5);
541       else if (node == promoted_char_type_node)
542         put_decl_string ("char", 4);
543       else if (node == promoted_boolean_type_node)
544         put_decl_string ("boolean", 7);
545       else if (node == void_type_node && was_pointer)
546         put_decl_string ("null", 4);
547       else
548         put_decl_node (TYPE_NAME (node));
549     }
550   else if (TREE_CODE (node) == IDENTIFIER_NODE)
551     put_decl_string (IDENTIFIER_POINTER (node), IDENTIFIER_LENGTH (node));
552   else
553     put_decl_string ("<unknown>", -1);
554 }
555
556 /* Return a user-friendly name for DECL.
557    The resulting string is only valid until the next call.
558    The value of the hook decl_printable_name is this function,
559    which is also called directly by lang_print_error. */
560
561 const char *
562 lang_printable_name (decl, v)
563      tree decl;
564      int v  __attribute__ ((__unused__));
565 {
566   decl_bufpos = 0;
567   put_decl_node (decl);
568   put_decl_string ("", 1);
569   return decl_buf;
570 }
571
572 /* Does the same thing that lang_printable_name, but add a leading
573    space to the DECL name string -- With Leading Space.  */
574
575 const char *
576 lang_printable_name_wls (decl, v)
577      tree decl;
578      int v  __attribute__ ((__unused__));
579 {
580   decl_bufpos = 1;
581   put_decl_node (decl);
582   put_decl_string ("", 1);
583   decl_buf [0] = ' ';
584   return decl_buf;
585 }
586
587 /* Print on stderr the current class and method context.  This function
588    is the value of the hook print_error_function, called from toplev.c. */
589
590 static void
591 lang_print_error (file)
592      const char *file;
593 {
594   static tree last_error_function_context = NULL_TREE;
595   static tree last_error_function = NULL;
596   static int initialized_p;
597
598   /* Register LAST_ERROR_FUNCTION_CONTEXT and LAST_ERROR_FUNCTION with
599      the garbage collector.  */
600   if (!initialized_p)
601     {
602       ggc_add_tree_root (&last_error_function_context, 1);
603       ggc_add_tree_root (&last_error_function, 1);
604       initialized_p = 1;
605     }
606
607   if (current_function_decl != NULL
608       && DECL_CONTEXT (current_function_decl) != last_error_function_context)
609     {
610       if (file)
611         fprintf (stderr, "%s: ", file);
612
613       last_error_function_context = DECL_CONTEXT (current_function_decl);
614       fprintf (stderr, "In class `%s':\n",
615                lang_printable_name (last_error_function_context, 0));
616     }
617   if (last_error_function != current_function_decl)
618     {
619       if (file)
620         fprintf (stderr, "%s: ", file);
621
622       if (current_function_decl == NULL)
623         fprintf (stderr, "At top level:\n");
624       else
625         {
626           const char *name = lang_printable_name (current_function_decl, 2);
627           fprintf (stderr, "In method `%s':\n", name);
628         }
629
630       last_error_function = current_function_decl;
631     }
632
633 }
634
635 static void
636 java_init ()
637 {
638 #if 0
639   extern int flag_minimal_debug;
640   flag_minimal_debug = 0;
641 #endif
642
643   jcf_path_init ();
644   jcf_path_seal ();
645
646   decl_printable_name = lang_printable_name;
647   print_error_function = lang_print_error;
648   lang_expand_expr = java_lang_expand_expr;
649
650   flag_exceptions = 1;
651
652   /* Append to Gcc tree node definition arrays */
653
654   memcpy (tree_code_type + (int) LAST_AND_UNUSED_TREE_CODE,
655           java_tree_code_type,
656           (int)LAST_JAVA_TREE_CODE - (int)LAST_AND_UNUSED_TREE_CODE);
657   memcpy (tree_code_length + (int) LAST_AND_UNUSED_TREE_CODE,
658           java_tree_code_length,
659           (LAST_JAVA_TREE_CODE - 
660            (int)LAST_AND_UNUSED_TREE_CODE) * sizeof (int));
661   memcpy (tree_code_name + (int) LAST_AND_UNUSED_TREE_CODE,
662           java_tree_code_name,
663           (LAST_JAVA_TREE_CODE - 
664            (int)LAST_AND_UNUSED_TREE_CODE) * sizeof (char *));
665
666   using_eh_for_cleanups ();
667 }
668
669 /* This doesn't do anything on purpose. It's used to satisfy the
670    print_error_function hook we don't print error messages with bogus
671    function prototypes.  */
672
673 static void
674 java_dummy_print (s)
675      const char *s __attribute__ ((__unused__));
676 {
677 }
678
679 /* Called to install the PRINT_ERROR_FUNCTION hook differently
680    according to LEVEL. LEVEL is 1 during early parsing, when function
681    prototypes aren't fully resolved. print_error_function is set so it
682    doesn't print incomplete function prototypes. When LEVEL is 2,
683    function prototypes are fully resolved and can be printed when
684    reporting errors.  */
685
686 void lang_init_source (level)
687      int level;
688 {
689   if (level == 1)
690     print_error_function = java_dummy_print;
691   else 
692     print_error_function = lang_print_error;
693 }
694
695 static void
696 java_init_options ()
697 {
698   flag_new_exceptions = 1;
699   flag_bounds_check = 1;
700 }
701
702 const char *
703 lang_identify ()
704 {
705   return "Java";
706 }
707
708 /* Hooks for print_node.  */
709
710 void
711 print_lang_decl (file, node, indent)
712      FILE *file __attribute ((__unused__));
713      tree node __attribute ((__unused__));
714      int indent __attribute ((__unused__));
715 {
716 }
717
718 void
719 print_lang_type (file, node, indent)
720      FILE *file __attribute ((__unused__));
721      tree node __attribute ((__unused__));
722      int indent __attribute ((__unused__));
723 {
724 }
725
726 void
727 print_lang_identifier (file, node, indent)
728      FILE *file __attribute ((__unused__));
729      tree node __attribute ((__unused__));
730      int indent __attribute ((__unused__));
731 {
732 }
733
734 void
735 print_lang_statistics ()
736 {
737 }
738
739 /* used by print-tree.c */
740
741 void
742 lang_print_xnode (file, node, indent)
743      FILE *file __attribute ((__unused__));
744      tree node __attribute ((__unused__));
745      int indent __attribute ((__unused__));
746 {
747 }
748
749 /* Return the typed-based alias set for T, which may be an expression
750    or a type.  Return -1 if we don't do anything special.  */
751
752 HOST_WIDE_INT
753 lang_get_alias_set (t)
754      tree t ATTRIBUTE_UNUSED;
755 {
756   return -1;
757 }