OSDN Git Service

f36cc95cffecec156ea820ff1d37148abafcc8cf
[pf3gnuchains/gcc-fork.git] / gcc / java / jcf-parse.c
1 /* Parser for Java(TM) .class files.
2    Copyright (C) 1996, 1998, 1999, 2000, 2001, 2002, 2003, 2004
3    Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC 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 GCC 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 GCC; 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 /* Written by Per Bothner <bothner@cygnus.com> */
27
28 #include "config.h"
29 #include "system.h"
30 #include "coretypes.h"
31 #include "tm.h"
32 #include "tree.h"
33 #include "real.h"
34 #include "obstack.h"
35 #include "flags.h"
36 #include "java-except.h"
37 #include "input.h"
38 #include "java-tree.h"
39 #include "toplev.h"
40 #include "parse.h"
41 #include "ggc.h"
42 #include "debug.h"
43 #include "assert.h"
44 #include "tm_p.h"
45 #include "cgraph.h"
46
47 #ifdef HAVE_LOCALE_H
48 #include <locale.h>
49 #endif
50
51 #ifdef HAVE_LANGINFO_CODESET
52 #include <langinfo.h>
53 #endif
54
55 /* A CONSTANT_Utf8 element is converted to an IDENTIFIER_NODE at parse time. */
56 #define JPOOL_UTF(JCF, INDEX) CPOOL_UTF(&(JCF)->cpool, INDEX)
57 #define JPOOL_UTF_LENGTH(JCF, INDEX) IDENTIFIER_LENGTH (JPOOL_UTF (JCF, INDEX))
58 #define JPOOL_UTF_DATA(JCF, INDEX) \
59   ((const unsigned char *) IDENTIFIER_POINTER (JPOOL_UTF (JCF, INDEX)))
60 #define HANDLE_CONSTANT_Utf8(JCF, INDEX, LENGTH) \
61   do { \
62     unsigned char save;  unsigned char *text; \
63     JCF_FILL (JCF, (LENGTH)+1); /* Make sure we read 1 byte beyond string. */ \
64     text = (JCF)->read_ptr; \
65     save = text[LENGTH]; \
66     text[LENGTH] = 0; \
67     (JCF)->cpool.data[INDEX].t = get_identifier ((const char *) text); \
68     text[LENGTH] = save; \
69     JCF_SKIP (JCF, LENGTH); } while (0)
70
71 #include "jcf.h"
72
73 extern struct obstack temporary_obstack;
74
75 static GTY(()) tree parse_roots[3];
76
77 /* The FIELD_DECL for the current field.  */
78 #define current_field parse_roots[0]
79
80 /* The METHOD_DECL for the current method.  */
81 #define current_method parse_roots[1]
82
83 /* A list of file names.  */
84 #define current_file_list parse_roots[2]
85
86 /* The Java archive that provides main_class;  the main input file. */
87 static GTY(()) struct JCF * main_jcf;
88
89 static struct ZipFile *localToFile;
90
91 /* Declarations of some functions used here.  */
92 static void handle_innerclass_attribute (int count, JCF *);
93 static tree give_name_to_class (JCF *jcf, int index);
94 static char *compute_class_name (struct ZipDirectory *zdir);
95 static int classify_zip_file (struct ZipDirectory *zdir);
96 static void parse_zip_file_entries (void);
97 static void process_zip_dir (FILE *);
98 static void parse_source_file_1 (tree, FILE *);
99 static void parse_source_file_2 (void);
100 static void parse_source_file_3 (void);
101 static void parse_class_file (void);
102 static void handle_deprecated (void);
103 static void set_source_filename (JCF *, int);
104 static void jcf_parse (struct JCF*);
105 static void load_inner_classes (tree);
106
107 /* Handle "Deprecated" attribute.  */
108 static void
109 handle_deprecated (void)
110 {
111   if (current_field != NULL_TREE)
112     FIELD_DEPRECATED (current_field) = 1;
113   else if (current_method != NULL_TREE)
114     METHOD_DEPRECATED (current_method) = 1;
115   else if (current_class != NULL_TREE)
116     CLASS_DEPRECATED (TYPE_NAME (current_class)) = 1;
117   else
118     {
119       /* Shouldn't happen.  */
120       abort ();
121     }
122 }
123
124 /* Handle "SourceFile" attribute. */
125
126 static void
127 set_source_filename (JCF *jcf, int index)
128 {
129   tree sfname_id = get_name_constant (jcf, index);
130   const char *sfname = IDENTIFIER_POINTER (sfname_id);
131   if (input_filename != NULL)
132     {
133       int old_len = strlen (input_filename);
134       int new_len = IDENTIFIER_LENGTH (sfname_id);
135       /* Use the current input_filename (derived from the class name)
136          if it has a directory prefix, but otherwise matches sfname. */
137       if (old_len > new_len
138           && strcmp (sfname, input_filename + old_len - new_len) == 0
139           && (input_filename[old_len - new_len - 1] == '/'
140               || input_filename[old_len - new_len - 1] == '\\'))
141         return;
142     }
143   input_filename = sfname;
144   DECL_SOURCE_FILE (TYPE_NAME (current_class)) = sfname;
145   if (current_class == main_class) main_input_filename = input_filename;
146 }
147
148 #define HANDLE_SOURCEFILE(INDEX) set_source_filename (jcf, INDEX)
149
150 #define HANDLE_CLASS_INFO(ACCESS_FLAGS, THIS, SUPER, INTERFACES_COUNT) \
151 { tree super_class = SUPER==0 ? NULL_TREE : get_class_constant (jcf, SUPER); \
152   output_class = current_class = give_name_to_class (jcf, THIS); \
153   set_super_info (ACCESS_FLAGS, current_class, super_class, INTERFACES_COUNT);}
154
155 #define HANDLE_CLASS_INTERFACE(INDEX) \
156   add_interface (current_class, get_class_constant (jcf, INDEX))
157
158 #define HANDLE_START_FIELD(ACCESS_FLAGS, NAME, SIGNATURE, ATTRIBUTE_COUNT) \
159 { int sig_index = SIGNATURE; \
160   current_field = add_field (current_class, get_name_constant (jcf, NAME), \
161                              parse_signature (jcf, sig_index), ACCESS_FLAGS); \
162  set_java_signature (TREE_TYPE (current_field), JPOOL_UTF (jcf, sig_index)); \
163  if ((ACCESS_FLAGS) & ACC_FINAL) \
164    MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC (current_field); \
165 }
166
167 #define HANDLE_END_FIELDS() \
168   (current_field = NULL_TREE)
169
170 #define HANDLE_CONSTANTVALUE(INDEX) \
171 { tree constant;  int index = INDEX; \
172   if (! flag_emit_class_files && JPOOL_TAG (jcf, index) == CONSTANT_String) { \
173     tree name = get_name_constant (jcf, JPOOL_USHORT1 (jcf, index)); \
174     constant = build_utf8_ref (name); \
175   } \
176   else \
177     constant = get_constant (jcf, index); \
178   set_constant_value (current_field, constant); }
179
180 #define HANDLE_METHOD(ACCESS_FLAGS, NAME, SIGNATURE, ATTRIBUTE_COUNT) \
181  (current_method = add_method (current_class, ACCESS_FLAGS, \
182                                get_name_constant (jcf, NAME), \
183                                get_name_constant (jcf, SIGNATURE)), \
184   DECL_LOCALVARIABLES_OFFSET (current_method) = 0, \
185   DECL_LINENUMBERS_OFFSET (current_method) = 0)
186
187 #define HANDLE_END_METHODS() \
188 { current_method = NULL_TREE; }
189
190 #define HANDLE_CODE_ATTRIBUTE(MAX_STACK, MAX_LOCALS, CODE_LENGTH) \
191 { DECL_MAX_STACK (current_method) = (MAX_STACK); \
192   DECL_MAX_LOCALS (current_method) = (MAX_LOCALS); \
193   DECL_CODE_LENGTH (current_method) = (CODE_LENGTH); \
194   DECL_CODE_OFFSET (current_method) = JCF_TELL (jcf); }
195
196 #define HANDLE_LOCALVARIABLETABLE_ATTRIBUTE(COUNT) \
197 { int n = (COUNT); \
198   DECL_LOCALVARIABLES_OFFSET (current_method) = JCF_TELL (jcf) - 2; \
199   JCF_SKIP (jcf, n * 10); }
200
201 #define HANDLE_LINENUMBERTABLE_ATTRIBUTE(COUNT) \
202 { int n = (COUNT); \
203   DECL_LINENUMBERS_OFFSET (current_method) = JCF_TELL (jcf) - 2; \
204   JCF_SKIP (jcf, n * 4); }
205
206 #define HANDLE_EXCEPTIONS_ATTRIBUTE(COUNT) \
207 { \
208   int n = COUNT; \
209   tree list = DECL_FUNCTION_THROWS (current_method); \
210   while (--n >= 0) \
211     { \
212       tree thrown_class = get_class_constant (jcf, JCF_readu2 (jcf)); \
213       list = tree_cons (NULL_TREE, thrown_class, list); \
214     } \
215   DECL_FUNCTION_THROWS (current_method) = nreverse (list); \
216 }
217
218 #define HANDLE_DEPRECATED_ATTRIBUTE()  handle_deprecated ()
219
220 /* Link seen inner classes to their outer context and register the
221    inner class to its outer context. They will be later loaded.  */
222 #define HANDLE_INNERCLASSES_ATTRIBUTE(COUNT) \
223   handle_innerclass_attribute (COUNT, jcf)
224
225 #define HANDLE_SYNTHETIC_ATTRIBUTE()                                    \
226 {                                                                       \
227   /* Irrelevant decls should have been nullified by the END macros.     \
228      We only handle the `Synthetic' attribute on method DECLs.          \
229      DECL_ARTIFICIAL on fields is used for something else (See          \
230      PUSH_FIELD in java-tree.h) */                                      \
231   if (current_method)                                                   \
232     DECL_ARTIFICIAL (current_method) = 1;                               \
233 }
234
235 #define HANDLE_GCJCOMPILED_ATTRIBUTE()          \
236 {                                               \
237   if (current_class == object_type_node)        \
238     jcf->right_zip = 1;                         \
239 }
240
241 #include "jcf-reader.c"
242
243 tree
244 parse_signature (JCF *jcf, int sig_index)
245 {
246   if (sig_index <= 0 || sig_index >= JPOOL_SIZE (jcf)
247       || JPOOL_TAG (jcf, sig_index) != CONSTANT_Utf8)
248     abort ();
249   else
250     return parse_signature_string (JPOOL_UTF_DATA (jcf, sig_index),
251                                    JPOOL_UTF_LENGTH (jcf, sig_index));
252 }
253
254 tree
255 get_constant (JCF *jcf, int index)
256 {
257   tree value;
258   int tag;
259   if (index <= 0 || index >= JPOOL_SIZE(jcf))
260     goto bad;
261   tag = JPOOL_TAG (jcf, index);
262   if ((tag & CONSTANT_ResolvedFlag) || tag == CONSTANT_Utf8)
263     return jcf->cpool.data[index].t;
264   switch (tag)
265     {
266     case CONSTANT_Integer:
267       {
268         jint num = JPOOL_INT(jcf, index);
269         value = build_int_cst (int_type_node, num);
270         break;
271       }
272     case CONSTANT_Long:
273       {
274         unsigned HOST_WIDE_INT num = JPOOL_UINT (jcf, index);
275         unsigned HOST_WIDE_INT lo;
276         HOST_WIDE_INT hi;
277         
278         lshift_double (num, 0, 32, 64, &lo, &hi, 0);
279         num = JPOOL_UINT (jcf, index+1);
280         add_double (lo, hi, num, 0, &lo, &hi);
281         value = build_int_cst_wide (long_type_node, lo, hi);
282         value = force_fit_type (value, 0, false, false);
283         break;
284       }
285
286     case CONSTANT_Float:
287       {
288         jint num = JPOOL_INT(jcf, index);
289         long buf = num;
290         REAL_VALUE_TYPE d;
291
292         real_from_target_fmt (&d, &buf, &ieee_single_format);
293         value = build_real (float_type_node, d);
294         break;
295       }
296
297     case CONSTANT_Double:
298       {
299         long buf[2], lo, hi;
300         REAL_VALUE_TYPE d;
301
302         hi = JPOOL_UINT (jcf, index);
303         lo = JPOOL_UINT (jcf, index+1);
304
305         if (FLOAT_WORDS_BIG_ENDIAN)
306           buf[0] = hi, buf[1] = lo;
307         else
308           buf[0] = lo, buf[1] = hi;
309
310         real_from_target_fmt (&d, buf, &ieee_double_format);
311         value = build_real (double_type_node, d);
312         break;
313       }
314
315     case CONSTANT_String:
316       {
317         tree name = get_name_constant (jcf, JPOOL_USHORT1 (jcf, index));
318         const char *utf8_ptr = IDENTIFIER_POINTER (name);
319         int utf8_len = IDENTIFIER_LENGTH (name);
320         const unsigned char *utf8;
321         int i;
322
323         /* Check for a malformed Utf8 string.  */
324         utf8 = (const unsigned char *) utf8_ptr;
325         i = utf8_len;
326         while (i > 0)
327           {
328             int char_len = UT8_CHAR_LENGTH (*utf8);
329             if (char_len < 0 || char_len > 3 || char_len > i)
330               fatal_error ("bad string constant");
331
332             utf8 += char_len;
333             i -= char_len;
334           }
335
336         /* Allocate a new string value.  */
337         value = build_string (utf8_len, utf8_ptr);
338         TREE_TYPE (value) = build_pointer_type (string_type_node);
339       }
340       break;
341     default:
342       goto bad;
343     }
344   JPOOL_TAG (jcf, index) = tag | CONSTANT_ResolvedFlag;
345   jcf->cpool.data[index].t = value;
346   return value;
347  bad:
348   internal_error ("bad value constant type %d, index %d", 
349                   JPOOL_TAG (jcf, index), index);
350 }
351
352 tree
353 get_name_constant (JCF *jcf, int index)
354 {
355   tree name = get_constant (jcf, index);
356
357   if (TREE_CODE (name) != IDENTIFIER_NODE)
358     abort ();
359
360   return name;
361 }
362
363 /* Handle reading innerclass attributes. If a nonzero entry (denoting
364    a non anonymous entry) is found, We augment the inner class list of
365    the outer context with the newly resolved innerclass.  */
366
367 static void
368 handle_innerclass_attribute (int count, JCF *jcf)
369 {
370   int c = (count);
371   while (c--)
372     {
373       /* Read inner_class_info_index. This may be 0 */
374       int icii = JCF_readu2 (jcf);
375       /* Read outer_class_info_index. If the innerclasses attribute
376          entry isn't a member (like an inner class) the value is 0. */
377       int ocii = JCF_readu2 (jcf);
378       /* Read inner_name_index. If the class we're dealing with is
379          an anonymous class, it must be 0. */
380       int ini = JCF_readu2 (jcf);
381       /* Read the access flag. */
382       int acc = JCF_readu2 (jcf);
383       /* If icii is 0, don't try to read the class. */
384       if (icii >= 0)
385         {
386           tree class = get_class_constant (jcf, icii);
387           tree decl = TYPE_NAME (class);
388           /* Skip reading further if ocii is null */
389           if (DECL_P (decl) && !CLASS_COMPLETE_P (decl) && ocii)
390             {
391               tree outer = TYPE_NAME (get_class_constant (jcf, ocii));
392               tree alias = (ini ? get_name_constant (jcf, ini) : NULL_TREE);
393               set_class_decl_access_flags (acc, decl);
394               DECL_CONTEXT (decl) = outer;
395               DECL_INNER_CLASS_LIST (outer) =
396                 tree_cons (decl, alias, DECL_INNER_CLASS_LIST (outer));
397               CLASS_COMPLETE_P (decl) = 1;
398             }
399         }
400     }
401 }
402
403 static tree
404 give_name_to_class (JCF *jcf, int i)
405 {
406   if (i <= 0 || i >= JPOOL_SIZE (jcf)
407       || JPOOL_TAG (jcf, i) != CONSTANT_Class)
408     abort ();
409   else
410     {
411       tree this_class;
412       int j = JPOOL_USHORT1 (jcf, i);
413       /* verify_constant_pool confirmed that j is a CONSTANT_Utf8. */
414       tree class_name = unmangle_classname ((const char *) JPOOL_UTF_DATA (jcf, j),
415                                             JPOOL_UTF_LENGTH (jcf, j));
416       this_class = lookup_class (class_name);
417       input_filename = DECL_SOURCE_FILE (TYPE_NAME (this_class));
418       input_line = 0;
419       if (main_input_filename == NULL && jcf == main_jcf)
420         main_input_filename = input_filename;
421
422       jcf->cpool.data[i].t = this_class;
423       JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;
424       return this_class;
425     }
426 }
427
428 /* Get the class of the CONSTANT_Class whose constant pool index is I. */
429
430 tree
431 get_class_constant (JCF *jcf, int i)
432 {
433   tree type;
434   if (i <= 0 || i >= JPOOL_SIZE (jcf)
435       || (JPOOL_TAG (jcf, i) & ~CONSTANT_ResolvedFlag) != CONSTANT_Class)
436     abort ();
437
438   if (JPOOL_TAG (jcf, i) != CONSTANT_ResolvedClass)
439     {
440       int name_index = JPOOL_USHORT1 (jcf, i);
441       /* verify_constant_pool confirmed that name_index is a CONSTANT_Utf8. */
442       const char *name = (const char *) JPOOL_UTF_DATA (jcf, name_index);
443       int nlength = JPOOL_UTF_LENGTH (jcf, name_index);
444
445       if (name[0] == '[')  /* Handle array "classes". */
446           type = TREE_TYPE (parse_signature_string ((const unsigned char *) name, nlength));
447       else
448         { 
449           tree cname = unmangle_classname (name, nlength);
450           type = lookup_class (cname);
451         }
452       jcf->cpool.data[i].t = type;
453       JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;
454     }
455   else
456     type = jcf->cpool.data[i].t;
457   return type;
458 }
459
460 /* Read a class with the fully qualified-name NAME.
461    Return 1 iff we read the requested file.
462    (It is still possible we failed if the file did not
463    define the class it is supposed to.) */
464
465 int
466 read_class (tree name)
467 {
468   JCF this_jcf, *jcf;
469   tree icv, class = NULL_TREE;
470   tree save_current_class = current_class;
471   tree save_output_class = output_class;
472   location_t save_location = input_location;
473   JCF *save_current_jcf = current_jcf;
474
475   if ((icv = IDENTIFIER_CLASS_VALUE (name)) != NULL_TREE)
476     {
477       class = TREE_TYPE (icv);
478       jcf = TYPE_JCF (class);
479     }
480   else
481     jcf = NULL;
482
483   if (jcf == NULL)
484     {
485       this_jcf.zipd = NULL;
486       jcf = &this_jcf;
487       if (find_class (IDENTIFIER_POINTER (name), IDENTIFIER_LENGTH (name),
488                       &this_jcf, 1) == 0)
489         return 0;
490     }
491
492   current_jcf = jcf;
493
494   if (current_jcf->java_source)
495     {
496       const char *filename = current_jcf->filename;
497       tree given_file, real_file;
498       FILE *finput;
499       int generate;
500
501       java_parser_context_save_global ();
502       java_push_parser_context ();
503
504       given_file = get_identifier (filename);
505       real_file = get_identifier (lrealpath (filename));
506
507       generate = IS_A_COMMAND_LINE_FILENAME_P (given_file);
508       if (wfl_operator == NULL_TREE)
509         wfl_operator = build_expr_wfl (NULL_TREE, NULL, 0, 0);
510       EXPR_WFL_FILENAME_NODE (wfl_operator) = given_file;
511       input_filename = ggc_strdup (filename);
512       output_class = current_class = NULL_TREE;
513       current_function_decl = NULL_TREE;
514
515       if (! HAS_BEEN_ALREADY_PARSED_P (real_file))
516         {
517           if (! (finput = fopen (input_filename, "r")))
518             fatal_error ("can't reopen %s: %m", input_filename);
519
520           parse_source_file_1 (real_file, finput);
521           parse_source_file_2 ();
522           parse_source_file_3 ();
523
524           if (fclose (finput))
525             fatal_error ("can't close %s: %m", input_filename);
526         }
527       JCF_FINISH (current_jcf);
528       java_pop_parser_context (generate);
529       java_parser_context_restore_global ();
530     }
531   else
532     {
533       if (class == NULL_TREE || ! CLASS_PARSED_P (class))
534         {
535           java_parser_context_save_global ();
536           java_push_parser_context ();
537           output_class = current_class = class;
538           input_filename = current_jcf->filename;
539           if (JCF_SEEN_IN_ZIP (current_jcf))
540             read_zip_member(current_jcf,
541                             current_jcf->zipd, current_jcf->zipd->zipf);
542           jcf_parse (current_jcf);
543           /* Parsing might change the class, in which case we have to
544              put it back where we found it.  */
545           if (current_class != class && icv != NULL_TREE)
546             TREE_TYPE (icv) = current_class;
547           class = current_class;
548           java_pop_parser_context (0);
549           java_parser_context_restore_global ();
550         }
551       layout_class (class);
552       load_inner_classes (class);
553     }
554
555   output_class = save_output_class;
556   current_class = save_current_class;
557   input_location = save_location;
558   current_jcf = save_current_jcf;
559   return 1;
560 }
561
562 /* Load CLASS_OR_NAME. CLASS_OR_NAME can be a mere identifier if
563    called from the parser, otherwise it's a RECORD_TYPE node. If
564    VERBOSE is 1, print error message on failure to load a class. */
565 void
566 load_class (tree class_or_name, int verbose)
567 {
568   tree name, saved;
569   int class_loaded = 0;
570
571   /* class_or_name can be the name of the class we want to load */
572   if (TREE_CODE (class_or_name) == IDENTIFIER_NODE)
573     name = class_or_name;
574   /* In some cases, it's a dependency that we process earlier that
575      we though */
576   else if (TREE_CODE (class_or_name) == TREE_LIST)
577     name = TYPE_NAME (TREE_PURPOSE (class_or_name));
578   /* Or it's a type in the making */
579   else
580     {
581       /* If the class is from source code, then it must already be loaded.  */
582       if (CLASS_FROM_SOURCE_P (class_or_name))
583         return;
584       name = DECL_NAME (TYPE_NAME (class_or_name));
585     }
586
587   saved = name;
588
589   while (1)
590     {
591       char *separator;
592
593       /* We've already loaded it.  */
594       if (IDENTIFIER_CLASS_VALUE (name) != NULL_TREE)
595         {
596           tree tmp_decl = IDENTIFIER_CLASS_VALUE (name);
597           if (CLASS_PARSED_P (TREE_TYPE (tmp_decl)))
598             break;
599         }
600         
601       if (read_class (name))
602         break;
603
604       /* We failed loading name. Now consider that we might be looking
605          for a inner class. */
606       if ((separator = strrchr (IDENTIFIER_POINTER (name), '$'))
607           || (separator = strrchr (IDENTIFIER_POINTER (name), '.')))
608         {
609           int c = *separator;
610           *separator = '\0';
611           name = get_identifier (IDENTIFIER_POINTER (name));
612           *separator = c;
613         }
614       /* Otherwise, we failed, we bail. */
615       else
616         break;
617     }
618
619   {
620     /* have we found the class we're looking for?  */
621     tree type_decl = IDENTIFIER_CLASS_VALUE (saved);
622     tree type = type_decl ? TREE_TYPE (type_decl) : NULL;
623     class_loaded = type && CLASS_PARSED_P (type);
624   }           
625
626   if (!class_loaded && verbose)
627     error ("cannot find file for class %s", IDENTIFIER_POINTER (saved));
628 }
629
630 /* Parse the .class file JCF. */
631
632 static void
633 jcf_parse (JCF* jcf)
634 {
635   int i, code;
636
637   if (jcf_parse_preamble (jcf) != 0)
638     fatal_error ("not a valid Java .class file");
639   code = jcf_parse_constant_pool (jcf);
640   if (code != 0)
641     fatal_error ("error while parsing constant pool");
642   code = verify_constant_pool (jcf);
643   if (code > 0)
644     fatal_error ("error in constant pool entry #%d\n", code);
645
646   jcf_parse_class (jcf);
647   if (main_class == NULL_TREE)
648     main_class = current_class;
649   if (! quiet_flag && TYPE_NAME (current_class))
650     fprintf (stderr, " %s %s",
651              (jcf->access_flags & ACC_INTERFACE) ? "interface" : "class", 
652              IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (current_class))));
653   if (CLASS_PARSED_P (current_class))
654     {
655       /* FIXME - where was first time */
656       fatal_error ("reading class %s for the second time from %s",
657                    IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (current_class))),
658                    jcf->filename);
659     }
660   CLASS_PARSED_P (current_class) = 1;
661
662   for (i = 1; i < JPOOL_SIZE(jcf); i++)
663     {
664       switch (JPOOL_TAG (jcf, i))
665         {
666         case CONSTANT_Class:
667           get_class_constant (jcf, i);
668           break;
669         }
670     }
671   
672   code = jcf_parse_fields (jcf);
673   if (code != 0)
674     fatal_error ("error while parsing fields");
675   code = jcf_parse_methods (jcf);
676   if (code != 0)
677     fatal_error ("error while parsing methods");
678   code = jcf_parse_final_attributes (jcf);
679   if (code != 0)
680     fatal_error ("error while parsing final attributes");
681
682   /* The fields of class_type_node are already in correct order. */
683   if (current_class != class_type_node && current_class != object_type_node)
684     TYPE_FIELDS (current_class) = nreverse (TYPE_FIELDS (current_class));
685
686   if (current_class == object_type_node)
687     {
688       layout_class_methods (object_type_node);
689       /* If we don't have the right archive, emit a verbose warning.
690          If we're generating bytecode, emit the warning only if
691          -fforce-classes-archive-check was specified. */
692       if (!jcf->right_zip
693           && (!flag_emit_class_files || flag_force_classes_archive_check))
694         fatal_error ("the `java.lang.Object' that was found in `%s' didn't have the special zero-length `gnu.gcj.gcj-compiled' attribute.  This generally means that your classpath is incorrectly set.  Use `info gcj \"Input Options\"' to see the info page describing how to set the classpath", jcf->filename);
695     }
696   else
697     all_class_list = tree_cons (NULL_TREE,
698                                 TYPE_NAME (current_class), all_class_list );
699 }
700
701 /* If we came across inner classes, load them now. */
702 static void
703 load_inner_classes (tree cur_class)
704 {
705   tree current;
706   for (current = DECL_INNER_CLASS_LIST (TYPE_NAME (cur_class)); current;
707        current = TREE_CHAIN (current))
708     {
709       tree name = DECL_NAME (TREE_PURPOSE (current));
710       tree decl = IDENTIFIER_GLOBAL_VALUE (name);
711       if (decl && ! CLASS_LOADED_P (TREE_TYPE (decl))
712           && !CLASS_BEING_LAIDOUT (TREE_TYPE (decl)))
713         load_class (name, 1);
714     }
715 }
716
717 static void
718 parse_class_file (void)
719 {
720   tree method;
721   location_t save_location = input_location;
722
723   java_layout_seen_class_methods ();
724
725   input_filename = DECL_SOURCE_FILE (TYPE_NAME (current_class));
726   input_line = 0;
727   (*debug_hooks->start_source_file) (input_line, input_filename);
728
729   /* Currently we always have to emit calls to _Jv_InitClass when
730      compiling from class files.  */
731   always_initialize_class_p = 1;
732
733   gen_indirect_dispatch_tables (current_class);
734
735   java_mark_class_local (current_class);
736
737   for (method = TYPE_METHODS (current_class);
738        method != NULL_TREE; method = TREE_CHAIN (method))
739     {
740       JCF *jcf = current_jcf;
741
742       if (METHOD_ABSTRACT (method))
743         continue;
744
745       if (METHOD_NATIVE (method))
746         {
747           tree arg;
748           int  decl_max_locals;
749
750           if (! flag_jni)
751             continue;
752           /* We need to compute the DECL_MAX_LOCALS. We need to take
753              the wide types into account too. */
754           for (arg = TYPE_ARG_TYPES (TREE_TYPE (method)), decl_max_locals = 0; 
755                arg != end_params_node;
756                arg = TREE_CHAIN (arg), decl_max_locals += 1)
757             {
758               if (TREE_VALUE (arg) && TYPE_IS_WIDE (TREE_VALUE (arg)))
759                 decl_max_locals += 1;
760             }
761           DECL_MAX_LOCALS (method) = decl_max_locals;
762           start_java_method (method);
763           give_name_to_locals (jcf);
764           *get_stmts () = build_jni_stub (method);
765           end_java_method ();
766           continue;
767         }
768
769       if (DECL_CODE_OFFSET (method) == 0)
770         {
771           current_function_decl = method;
772           error ("missing Code attribute");
773           continue;
774         }
775
776       input_line = 0;
777       if (DECL_LINENUMBERS_OFFSET (method))
778         {
779           int i;
780           unsigned char *ptr;
781           JCF_SEEK (jcf, DECL_LINENUMBERS_OFFSET (method));
782           linenumber_count = i = JCF_readu2 (jcf);
783           linenumber_table = ptr = jcf->read_ptr;
784
785           for (ptr += 2; --i >= 0; ptr += 4)
786             {
787               int line = GET_u2 (ptr);
788               /* Set initial input_line to smallest linenumber.
789                * Needs to be set before init_function_start. */
790               if (input_line == 0 || line < input_line)
791                 input_line = line;
792             }  
793         }
794       else
795         {
796           linenumber_table = NULL;
797           linenumber_count = 0;
798         }
799
800       start_java_method (method);
801
802       note_instructions (jcf, method);
803
804       give_name_to_locals (jcf);
805
806       /* Convert bytecode to trees.  */
807       expand_byte_code (jcf, method);
808
809       end_java_method ();
810     }
811
812   if (flag_emit_class_files)
813     write_classfile (current_class);
814
815   finish_class ();
816
817   (*debug_hooks->end_source_file) (save_location.line);
818   input_location = save_location;
819 }
820
821 /* Parse a source file, as pointed by the current value of INPUT_FILENAME. */
822
823 static void
824 parse_source_file_1 (tree real_file, FILE *finput)
825 {
826   int save_error_count = java_error_count;
827
828   /* Mark the file as parsed.  */
829   HAS_BEEN_ALREADY_PARSED_P (real_file) = 1;
830
831   jcf_dependency_add_file (input_filename, 0);
832
833   lang_init_source (1);             /* Error msgs have no method prototypes */
834
835   /* There's no point in trying to find the current encoding unless we
836      are going to do something intelligent with it -- hence the test
837      for iconv.  */
838 #if defined (HAVE_LOCALE_H) && defined (HAVE_ICONV) && defined (HAVE_LANGINFO_CODESET)
839   setlocale (LC_CTYPE, "");
840   if (current_encoding == NULL)
841     current_encoding = nl_langinfo (CODESET);
842 #endif 
843   if (current_encoding == NULL || *current_encoding == '\0')
844     current_encoding = DEFAULT_ENCODING;
845
846   /* Initialize the parser */
847   java_init_lex (finput, current_encoding);
848   java_parse_abort_on_error ();
849
850   java_parse ();                    /* Parse and build partial tree nodes. */
851   java_parse_abort_on_error ();
852 }
853
854 /* Process a parsed source file, resolving names etc. */
855
856 static void
857 parse_source_file_2 (void)
858 {
859   int save_error_count = java_error_count;
860   java_complete_class ();           /* Parse unsatisfied class decl. */
861   java_parse_abort_on_error ();
862 }
863
864 static void
865 parse_source_file_3 (void)
866 {
867   int save_error_count = java_error_count;
868   java_check_circular_reference (); /* Check on circular references */
869   java_parse_abort_on_error ();
870   java_fix_constructors ();         /* Fix the constructors */
871   java_parse_abort_on_error ();
872   java_reorder_fields ();           /* Reorder the fields */
873 }
874
875 void
876 add_predefined_file (tree name)
877 {
878   predef_filenames = tree_cons (NULL_TREE, name, predef_filenames);
879 }
880
881 int
882 predefined_filename_p (tree node)
883 {
884   tree iter;
885
886   for (iter = predef_filenames; iter != NULL_TREE; iter = TREE_CHAIN (iter))
887     {
888       if (TREE_VALUE (iter) == node)
889         return 1;
890     }
891   return 0;
892 }
893
894 /* Generate a function that does all static initialization for this 
895    translation unit.  */
896
897 static void
898 java_emit_static_constructor (void)
899 {
900   tree body = NULL;
901
902   emit_register_classes (&body);
903   write_resource_constructor (&body);
904
905   if (body)
906     cgraph_build_static_cdtor ('I', body, DEFAULT_INIT_PRIORITY);
907 }
908
909 void
910 java_parse_file (int set_yydebug ATTRIBUTE_UNUSED)
911 {
912   int filename_count = 0;
913   char *list, *next;
914   tree node;
915   FILE *finput = NULL;
916   int in_quotes = 0;
917  
918   if (flag_filelist_file)
919     {
920       int avail = 2000;
921       finput = fopen (input_filename, "r");
922       if (finput == NULL)
923         fatal_error ("can't open %s: %m", input_filename);
924       list = xmalloc(avail);
925       next = list;
926       for (;;)
927         {
928           int count;
929           if (avail < 500)
930             {
931               count = next - list;
932               avail = 2 * (count + avail);
933               list = xrealloc (list, avail);
934               next = list + count;
935               avail = avail - count;
936             }
937           /* Subtract to to guarantee space for final '\0'. */
938           count = fread (next, 1, avail - 1, finput);
939           if (count == 0)
940             {
941               if (! feof (finput))
942                 fatal_error ("error closing %s: %m", input_filename);
943               *next = '\0';
944               break;
945             }
946           avail -= count;
947           next += count;
948         }
949       fclose (finput);
950       finput = NULL;
951     }
952   else
953     list = input_filename ? xstrdup (input_filename) : 0;
954
955   while (list)
956     {
957       for (next = list; ; )
958         {
959           char ch = *next;
960           if (flag_filelist_file && ! in_quotes
961               && (ch == '\n' || ch == '\r' || ch == '\t' || ch == ' '
962                   || ch == '&') /* FIXME */)
963             {
964               if (next == list)
965                 {
966                   next++;
967                   list = next;
968                   continue;
969                 }
970               else
971                 {
972                   *next++ = '\0';
973                   break;
974                 }
975             }
976           if (flag_filelist_file && ch == '"')
977             {
978               in_quotes = ! in_quotes;
979               *next++ = '\0';
980               if (in_quotes) 
981                 list = next;
982               else 
983                 break;
984             }
985           if (ch == '\0')
986             {
987               next = NULL;
988               break;
989             }
990           next++;
991         }
992
993       if (list[0]) 
994         {
995           char *value;
996           tree id;
997           int twice = 0;
998
999           int len = strlen (list);
1000
1001           obstack_grow0 (&temporary_obstack, list, len);
1002           value = obstack_finish (&temporary_obstack);
1003
1004           filename_count++;
1005
1006           /* Exclude file that we see twice on the command line. For
1007              all files except {Class,Error,Object,RuntimeException,String,
1008              Throwable}.java we can rely on maybe_get_identifier. For
1009              these files, we need to do a linear search of
1010              current_file_list. This search happens only for these
1011              files, presumably only when we're recompiling libgcj. */
1012              
1013           if ((id = maybe_get_identifier (value)))
1014             {
1015               if (predefined_filename_p (id))
1016                 {
1017                   tree c;
1018                   for (c = current_file_list; c; c = TREE_CHAIN (c))
1019                     if (TREE_VALUE (c) == id)
1020                       twice = 1;
1021                 }
1022               else
1023                 twice = 1;
1024             }
1025
1026           if (twice)
1027             {
1028               location_t warn_loc;
1029               warn_loc.file = value;
1030               warn_loc.line = 0;
1031               warning ("%Hsource file seen twice on command line and "
1032                        "will be compiled only once", &warn_loc);
1033             }
1034           else
1035             {
1036               node = get_identifier (value);
1037               IS_A_COMMAND_LINE_FILENAME_P (node) = 1;
1038               current_file_list = tree_cons (NULL_TREE, node, 
1039                                              current_file_list);
1040             }
1041         }
1042       list = next;
1043     }
1044
1045   if (filename_count == 0)
1046     warning ("no input file specified");
1047
1048   if (resource_name)
1049     {
1050       const char *resource_filename;
1051       
1052       /* Only one resource file may be compiled at a time.  */
1053       assert (TREE_CHAIN (current_file_list) == NULL);
1054
1055       resource_filename = IDENTIFIER_POINTER (TREE_VALUE (current_file_list));
1056       compile_resource_file (resource_name, resource_filename);
1057
1058       goto finish;
1059     }
1060
1061   current_jcf = main_jcf;
1062   current_file_list = nreverse (current_file_list);
1063   for (node = current_file_list; node; node = TREE_CHAIN (node))
1064     {
1065       unsigned char magic_string[4];
1066       uint32 magic = 0;
1067       tree name = TREE_VALUE (node);
1068       tree real_file;
1069
1070       /* Skip already parsed files */
1071       real_file = get_identifier (lrealpath (IDENTIFIER_POINTER (name)));
1072       if (HAS_BEEN_ALREADY_PARSED_P (real_file))
1073         continue;
1074       
1075       /* Close previous descriptor, if any */
1076       if (finput && fclose (finput))
1077         fatal_error ("can't close input file %s: %m", main_input_filename);
1078       
1079       finput = fopen (IDENTIFIER_POINTER (name), "rb");
1080       if (finput == NULL)
1081         fatal_error ("can't open %s: %m", IDENTIFIER_POINTER (name));
1082
1083 #ifdef IO_BUFFER_SIZE
1084       setvbuf (finput, xmalloc (IO_BUFFER_SIZE),
1085                _IOFBF, IO_BUFFER_SIZE);
1086 #endif
1087       input_filename = IDENTIFIER_POINTER (name);
1088
1089       /* Figure what kind of file we're dealing with */
1090       if (fread (magic_string, 1, 4, finput) == 4)
1091         {
1092           fseek (finput, 0L, SEEK_SET);
1093           magic = GET_u4 (magic_string);
1094         }
1095       if (magic == 0xcafebabe)
1096         {
1097           CLASS_FILE_P (node) = 1;
1098           current_jcf = ggc_alloc (sizeof (JCF));
1099           JCF_ZERO (current_jcf);
1100           current_jcf->read_state = finput;
1101           current_jcf->filbuf = jcf_filbuf_from_stdio;
1102           jcf_parse (current_jcf);
1103           TYPE_JCF (current_class) = current_jcf;
1104           CLASS_FROM_CURRENTLY_COMPILED_P (current_class) = 1;
1105           TREE_PURPOSE (node) = current_class;
1106         }
1107       else if (magic == (JCF_u4)ZIPMAGIC)
1108         {
1109           ZIP_FILE_P (node) = 1;
1110           main_jcf = ggc_alloc (sizeof (JCF));
1111           JCF_ZERO (main_jcf);
1112           main_jcf->read_state = finput;
1113           main_jcf->filbuf = jcf_filbuf_from_stdio;
1114           if (open_in_zip (main_jcf, input_filename, NULL, 0) <  0)
1115             fatal_error ("bad zip/jar file %s", IDENTIFIER_POINTER (name));
1116           localToFile = SeenZipFiles;
1117           /* Register all the classes defined there.  */
1118           process_zip_dir (main_jcf->read_state);
1119           parse_zip_file_entries ();
1120           /*
1121           for (each entry)
1122             CLASS_FROM_CURRENTLY_COMPILED_P (current_class) = 1;
1123           */
1124         }
1125       else
1126         {
1127           JAVA_FILE_P (node) = 1;
1128           java_push_parser_context ();
1129           java_parser_context_save_global ();
1130
1131           parse_source_file_1 (real_file, finput);
1132           java_parser_context_restore_global ();
1133           java_pop_parser_context (1);
1134         }
1135     }
1136
1137   for (ctxp = ctxp_for_generation;  ctxp;  ctxp = ctxp->next)
1138     {
1139       input_filename = ctxp->filename;
1140       parse_source_file_2 ();
1141     }
1142
1143   for (ctxp = ctxp_for_generation; ctxp; ctxp = ctxp->next)
1144     {
1145       input_filename = ctxp->filename;
1146       parse_source_file_3 ();
1147     }
1148
1149   for (node = current_file_list; node; node = TREE_CHAIN (node))
1150     {
1151       input_filename = IDENTIFIER_POINTER (TREE_VALUE (node));
1152       if (CLASS_FILE_P (node))
1153         {
1154           output_class = current_class = TREE_PURPOSE (node);
1155           current_jcf = TYPE_JCF (current_class);
1156           layout_class (current_class);
1157           load_inner_classes (current_class);
1158           parse_class_file ();
1159           JCF_FINISH (current_jcf);
1160         }
1161     }
1162   input_filename = main_input_filename;
1163
1164   java_expand_classes ();
1165   if (java_report_errors () || flag_syntax_only)
1166     return;
1167     
1168   /* Expand all classes compiled from source.  */
1169   java_finish_classes ();
1170
1171  finish:
1172   /* Arrange for any necessary initialization to happen.  */
1173   java_emit_static_constructor ();
1174
1175   /* Only finalize the compilation unit after we've told cgraph which
1176      functions have their addresses stored.  */
1177   cgraph_finalize_compilation_unit ();
1178   cgraph_optimize ();
1179 }
1180
1181
1182 /* Return the name of the class corresponding to the name of the file
1183    in this zip entry.  The result is newly allocated using ALLOC.  */
1184 static char *
1185 compute_class_name (struct ZipDirectory *zdir)
1186 {
1187   char *class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
1188   char *class_name;
1189   int j;
1190
1191   class_name = ALLOC (zdir->filename_length + 1 - 6);
1192   strncpy (class_name, class_name_in_zip_dir, zdir->filename_length - 6);
1193   class_name [zdir->filename_length - 6] = '\0';
1194   for (j = 0; class_name[j]; ++j)
1195     class_name[j] = class_name[j] == '/' ? '.' : class_name[j];
1196   return class_name;
1197 }
1198
1199 /* Return 0 if we should skip this entry, 1 if it is a .class file, 2
1200    if it is a property file of some sort.  */
1201 static int
1202 classify_zip_file (struct ZipDirectory *zdir)
1203 {
1204   char *class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
1205
1206   if (zdir->filename_length > 6
1207       && !strncmp (&class_name_in_zip_dir[zdir->filename_length - 6],
1208                    ".class", 6))
1209     return 1;
1210
1211   /* For now we drop the manifest, but not other information.  */
1212   if (zdir->filename_length == 20
1213       && !strncmp (class_name_in_zip_dir, "META-INF/MANIFEST.MF", 20))
1214     return 0;
1215
1216   /* Drop directory entries.  */
1217   if (zdir->filename_length > 0
1218       && class_name_in_zip_dir[zdir->filename_length - 1] == '/')
1219     return 0;
1220
1221   return 2;
1222 }
1223
1224 /* Process all class entries found in the zip file.  */
1225 static void
1226 parse_zip_file_entries (void)
1227 {
1228   struct ZipDirectory *zdir;
1229   int i;
1230
1231   for (i = 0, zdir = (ZipDirectory *)localToFile->central_directory;
1232        i < localToFile->count; i++, zdir = ZIPDIR_NEXT (zdir))
1233     {
1234       tree class;
1235
1236       switch (classify_zip_file (zdir))
1237         {
1238         case 0:
1239           continue;
1240
1241         case 1:
1242           {
1243             char *class_name = compute_class_name (zdir);
1244             class = lookup_class (get_identifier (class_name));
1245             FREE (class_name);
1246             current_jcf = TYPE_JCF (class);
1247             output_class = current_class = class;
1248
1249             if (! CLASS_LOADED_P (class))
1250               {
1251                 if (! CLASS_PARSED_P (class))
1252                   {
1253                     read_zip_member (current_jcf, zdir, localToFile);
1254                     jcf_parse (current_jcf);
1255                   }
1256                 layout_class (current_class);
1257                 load_inner_classes (current_class);
1258               }
1259
1260             if (TYPE_SIZE (current_class) != error_mark_node)
1261               {
1262                 input_filename = current_jcf->filename;
1263                 parse_class_file ();
1264                 FREE (current_jcf->buffer); /* No longer necessary */
1265                 /* Note: there is a way to free this buffer right after a
1266                    class seen in a zip file has been parsed. The idea is the
1267                    set its jcf in such a way that buffer will be reallocated
1268                    the time the code for the class will be generated. FIXME. */
1269               }
1270           }
1271           break;
1272
1273         case 2:
1274           {
1275             char *file_name, *class_name_in_zip_dir, *buffer;
1276             JCF *jcf;
1277             file_name = ALLOC (zdir->filename_length + 1);
1278             class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
1279             strncpy (file_name, class_name_in_zip_dir, zdir->filename_length);
1280             file_name[zdir->filename_length] = '\0';
1281             jcf = ALLOC (sizeof (JCF));
1282             JCF_ZERO (jcf);
1283             jcf->read_state  = finput;
1284             jcf->filbuf      = jcf_filbuf_from_stdio;
1285             jcf->java_source = 0;
1286             jcf->classname   = NULL;
1287             jcf->filename    = file_name;
1288             jcf->zipd        = zdir;
1289
1290             if (read_zip_member (jcf, zdir, localToFile) < 0)
1291               fatal_error ("error while reading %s from zip file", file_name);
1292
1293             buffer = ALLOC (zdir->filename_length + 1 +
1294                             (jcf->buffer_end - jcf->buffer));
1295             strcpy (buffer, file_name);
1296             /* This is not a typo: we overwrite the trailing \0 of the
1297                file name; this is just how the data is laid out.  */
1298             memcpy (buffer + zdir->filename_length,
1299                     jcf->buffer, jcf->buffer_end - jcf->buffer);
1300
1301             compile_resource_data (file_name, buffer,
1302                                    jcf->buffer_end - jcf->buffer);
1303             JCF_FINISH (jcf);
1304             FREE (jcf);
1305             FREE (buffer);
1306           }
1307           break;
1308
1309         default:
1310           abort ();
1311         }
1312     }
1313 }
1314
1315 /* Read all the entries of the zip file, creates a class and a JCF. Sets the
1316    jcf up for further processing and link it to the created class.  */
1317
1318 static void
1319 process_zip_dir (FILE *finput)
1320 {
1321   int i;
1322   ZipDirectory *zdir;
1323
1324   for (i = 0, zdir = (ZipDirectory *)localToFile->central_directory;
1325        i < localToFile->count; i++, zdir = ZIPDIR_NEXT (zdir))
1326     {
1327       char *class_name, *file_name, *class_name_in_zip_dir;
1328       tree class;
1329       JCF  *jcf;
1330
1331       class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
1332
1333       /* Here we skip non-class files; we handle them later.  */
1334       if (classify_zip_file (zdir) != 1)
1335         continue;
1336
1337       class_name = compute_class_name (zdir);
1338       file_name  = ALLOC (zdir->filename_length+1);
1339       jcf = ggc_alloc (sizeof (JCF));
1340       JCF_ZERO (jcf);
1341
1342       strncpy (file_name, class_name_in_zip_dir, zdir->filename_length);
1343       file_name [zdir->filename_length] = '\0';
1344
1345       class = lookup_class (get_identifier (class_name));
1346
1347       jcf->read_state  = finput;
1348       jcf->filbuf      = jcf_filbuf_from_stdio;
1349       jcf->java_source = 0;
1350       jcf->classname   = class_name;
1351       jcf->filename    = file_name;
1352       jcf->zipd        = zdir;
1353
1354       TYPE_JCF (class) = jcf;
1355     }
1356 }
1357
1358 /* Initialization.  */
1359
1360 void
1361 init_jcf_parse (void)
1362 {
1363   init_src_parse ();
1364 }
1365
1366 #include "gt-java-jcf-parse.h"