tree-cfg.c (remove_bb): Only warn if line is non-zero.
[official-gcc.git] / gcc / java / jcf-parse.c
blobff2c9995e8c639cdc6eb995061677094da31ece0
1 /* Parser for Java(TM) .class files.
2 Copyright (C) 1996, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
3 2005, 2006, 2007 Free Software Foundation, Inc.
5 This file is part of GCC.
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 3, or (at your option)
10 any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>.
21 Java and all Java-based marks are trademarks or registered trademarks
22 of Sun Microsystems, Inc. in the United States and other countries.
23 The Free Software Foundation is independent of Sun Microsystems, Inc. */
25 /* Written by Per Bothner <bothner@cygnus.com> */
27 #include "config.h"
28 #include "system.h"
29 #include "coretypes.h"
30 #include "tm.h"
31 #include "tree.h"
32 #include "real.h"
33 #include "obstack.h"
34 #include "flags.h"
35 #include "java-except.h"
36 #include "input.h"
37 #include "javaop.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 #include "vecprim.h"
48 #ifdef HAVE_LOCALE_H
49 #include <locale.h>
50 #endif
52 #ifdef HAVE_LANGINFO_CODESET
53 #include <langinfo.h>
54 #endif
56 /* A CONSTANT_Utf8 element is converted to an IDENTIFIER_NODE at parse time. */
57 #define JPOOL_UTF(JCF, INDEX) CPOOL_UTF(&(JCF)->cpool, INDEX)
58 #define JPOOL_UTF_LENGTH(JCF, INDEX) IDENTIFIER_LENGTH (JPOOL_UTF (JCF, INDEX))
59 #define JPOOL_UTF_DATA(JCF, INDEX) \
60 ((const unsigned char *) IDENTIFIER_POINTER (JPOOL_UTF (JCF, INDEX)))
61 #define HANDLE_CONSTANT_Utf8(JCF, INDEX, LENGTH) \
62 do { \
63 unsigned char save; unsigned char *text; \
64 JCF_FILL (JCF, (LENGTH)+1); /* Make sure we read 1 byte beyond string. */ \
65 text = (JCF)->read_ptr; \
66 save = text[LENGTH]; \
67 text[LENGTH] = 0; \
68 (JCF)->cpool.data[INDEX].t = get_identifier ((const char *) text); \
69 text[LENGTH] = save; \
70 JCF_SKIP (JCF, LENGTH); } while (0)
72 #include "jcf.h"
74 extern struct obstack temporary_obstack;
76 static GTY(()) tree parse_roots[3];
78 /* The FIELD_DECL for the current field. */
79 #define current_field parse_roots[0]
81 /* The METHOD_DECL for the current method. */
82 #define current_method parse_roots[1]
84 /* A list of TRANSLATION_UNIT_DECLs for the files to be compiled. */
85 #define current_file_list parse_roots[2]
87 /* Line 0 in current file, if compiling from bytecode. */
88 static location_t file_start_location;
90 /* The Java archive that provides main_class; the main input file. */
91 static GTY(()) struct JCF * main_jcf;
93 /* The number of source files passed to us by -fsource-filename and an
94 array of pointers to each name. Used by find_sourcefile(). */
95 static int num_files = 0;
96 static char **filenames;
98 static struct ZipFile *localToFile;
100 /* A map of byte offsets in the reflection data that are fields which
101 need renumbering. */
102 bitmap field_offsets;
103 bitmap_obstack bit_obstack;
105 /* Declarations of some functions used here. */
106 static void handle_innerclass_attribute (int count, JCF *, int len);
107 static tree give_name_to_class (JCF *jcf, int index);
108 static char *compute_class_name (struct ZipDirectory *zdir);
109 static int classify_zip_file (struct ZipDirectory *zdir);
110 static void parse_zip_file_entries (void);
111 static void process_zip_dir (FILE *);
112 static void parse_class_file (void);
113 static void handle_deprecated (void);
114 static void set_source_filename (JCF *, int);
115 static void jcf_parse (struct JCF*);
116 static void load_inner_classes (tree);
117 static void handle_annotation (JCF *jcf, int level);
118 static void java_layout_seen_class_methods (void);
120 /* Handle "Deprecated" attribute. */
121 static void
122 handle_deprecated (void)
124 if (current_field != NULL_TREE)
125 FIELD_DEPRECATED (current_field) = 1;
126 else if (current_method != NULL_TREE)
127 METHOD_DEPRECATED (current_method) = 1;
128 else if (current_class != NULL_TREE)
129 CLASS_DEPRECATED (TYPE_NAME (current_class)) = 1;
130 else
132 /* Shouldn't happen. */
133 gcc_unreachable ();
139 /* Reverse a string. */
140 static char *
141 reverse (const char *s)
143 if (s == NULL)
144 return NULL;
145 else
147 int len = strlen (s);
148 char *d = xmalloc (len + 1);
149 const char *sp;
150 char *dp;
152 d[len] = 0;
153 for (dp = &d[0], sp = &s[len-1]; sp >= s; dp++, sp--)
154 *dp = *sp;
156 return d;
160 /* Compare two strings for qsort(). */
161 static int
162 cmpstringp (const void *p1, const void *p2)
164 /* The arguments to this function are "pointers to
165 pointers to char", but strcmp() arguments are "pointers
166 to char", hence the following cast plus dereference */
168 return strcmp(*(const char *const*) p1, *(const char *const*) p2);
171 /* Create an array of strings, one for each source file that we've
172 seen. fsource_filename can either be the name of a single .java
173 file or a file that contains a list of filenames separated by
174 newlines. */
175 void
176 java_read_sourcefilenames (const char *fsource_filename)
178 if (fsource_filename
179 && filenames == 0
180 && strlen (fsource_filename) > strlen (".java")
181 && strcmp ((fsource_filename
182 + strlen (fsource_filename)
183 - strlen (".java")),
184 ".java") != 0)
186 /* fsource_filename isn't a .java file but a list of filenames
187 separated by newlines */
188 FILE *finput = fopen (fsource_filename, "r");
189 int len = 0;
190 int longest_line = 0;
192 gcc_assert (finput);
194 /* Find out how many files there are, and how long the filenames are. */
195 while (! feof (finput))
197 int ch = getc (finput);
198 if (ch == '\n')
200 num_files++;
201 if (len > longest_line)
202 longest_line = len;
203 len = 0;
204 continue;
206 if (ch == EOF)
207 break;
208 len++;
211 rewind (finput);
213 /* Read the filenames. Put a pointer to each filename into the
214 array FILENAMES. */
216 char *linebuf = alloca (longest_line + 1);
217 int i = 0;
218 int charpos;
220 filenames = xmalloc (num_files * sizeof (char*));
222 charpos = 0;
223 for (;;)
225 int ch = getc (finput);
226 if (ch == EOF)
227 break;
228 if (ch == '\n')
230 linebuf[charpos] = 0;
231 gcc_assert (i < num_files);
232 /* ??? Perhaps we should use lrealpath() here. Doing
233 so would tidy up things like /../ but the rest of
234 gcc seems to assume relative pathnames, not
235 absolute pathnames. */
236 /* realname = lrealpath (linebuf); */
237 filenames[i++] = reverse (linebuf);
238 charpos = 0;
239 continue;
241 gcc_assert (charpos < longest_line);
242 linebuf[charpos++] = ch;
245 if (num_files > 1)
246 qsort (filenames, num_files, sizeof (char *), cmpstringp);
248 fclose (finput);
250 else
252 filenames = xmalloc (sizeof (char*));
253 filenames[0] = reverse (fsource_filename);
254 num_files = 1;
258 /* Given a relative pathname such as foo/bar.java, attempt to find a
259 longer pathname with the same suffix.
261 This is a best guess heuristic; with some weird class hierarchies we
262 may fail to pick the correct source file. For example, if we have
263 the filenames foo/bar.java and also foo/foo/bar.java, we do not
264 have enough information to know which one is the right match for
265 foo/bar.java. */
267 static const char *
268 find_sourcefile (const char *name)
270 int i = 0, j = num_files-1;
271 char *found = NULL;
273 if (filenames)
275 char *revname = reverse (name);
279 int k = (i+j) / 2;
280 int cmp = strncmp (revname, filenames[k], strlen (revname));
281 if (cmp == 0)
283 /* OK, so we found one. But is it a unique match? */
284 if ((k > i
285 && strncmp (revname, filenames[k-1], strlen (revname)) == 0)
286 || (k < j
287 && (strncmp (revname, filenames[k+1], strlen (revname))
288 == 0)))
290 else
291 found = filenames[k];
292 break;
294 if (cmp > 0)
295 i = k+1;
296 else
297 j = k-1;
299 while (i <= j);
301 free (revname);
304 if (found && strlen (found) > strlen (name))
305 return reverse (found);
306 else
307 return name;
312 /* Handle "SourceFile" attribute. */
314 static void
315 set_source_filename (JCF *jcf, int index)
317 tree sfname_id = get_name_constant (jcf, index);
318 const char *sfname = IDENTIFIER_POINTER (sfname_id);
319 const char *old_filename = input_filename;
320 int new_len = IDENTIFIER_LENGTH (sfname_id);
321 if (old_filename != NULL)
323 int old_len = strlen (old_filename);
324 /* Use the current input_filename (derived from the class name)
325 if it has a directory prefix, but otherwise matches sfname. */
326 if (old_len > new_len
327 && strcmp (sfname, old_filename + old_len - new_len) == 0
328 && (old_filename[old_len - new_len - 1] == '/'
329 || old_filename[old_len - new_len - 1] == '\\'))
331 #ifndef USE_MAPPED_LOCATION
332 input_filename = find_sourcefile (input_filename);
333 DECL_SOURCE_LOCATION (TYPE_NAME (current_class)) = input_location;
334 file_start_location = input_location;
335 #endif
336 return;
339 if (strchr (sfname, '/') == NULL && strchr (sfname, '\\') == NULL)
341 const char *class_name
342 = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (current_class)));
343 char *dot = strrchr (class_name, '.');
344 if (dot != NULL)
346 /* Length of prefix, not counting final dot. */
347 int i = dot - class_name;
348 /* Concatenate current package prefix with new sfname. */
349 char *buf = XNEWVEC (char, i + new_len + 2); /* Space for '.' and '\0'. */
350 strcpy (buf + i + 1, sfname);
351 /* Copy package from class_name, replacing '.' by DIR_SEPARATOR.
352 Note we start at the end with the final package dot. */
353 for (; i >= 0; i--)
355 char c = class_name[i];
356 if (c == '.')
357 c = DIR_SEPARATOR;
358 buf[i] = c;
360 sfname_id = get_identifier (buf);
361 free (buf);
362 sfname = IDENTIFIER_POINTER (sfname_id);
366 sfname = find_sourcefile (sfname);
367 #ifdef USE_MAPPED_LOCATION
368 line_table->maps[line_table->used-1].to_file = sfname;
369 #else
370 input_filename = sfname;
371 DECL_SOURCE_LOCATION (TYPE_NAME (current_class)) = input_location;
372 file_start_location = input_location;
373 #endif
374 if (current_class == main_class) main_input_filename = sfname;
380 /* Annotation handling.
382 The technique we use here is to copy the annotation data directly
383 from the input class file into the output file. We don't decode the
384 data at all, merely rewriting constant indexes whenever we come
385 across them: this is necessary because the constant pool in the
386 output file isn't the same as the constant pool in in the input.
388 The main advantage of this technique is that the resulting
389 annotation data is pointer-free, so it doesn't have to be relocated
390 at startup time. As a consequence of this, annotations have no
391 performance impact unless they are used. Also, this representation
392 is very dense. */
395 /* Expand TYPE_REFLECTION_DATA by DELTA bytes. Return the address of
396 the start of the newly allocated region. */
398 static unsigned char*
399 annotation_grow (int delta)
401 unsigned char **data = &TYPE_REFLECTION_DATA (current_class);
402 long *datasize = &TYPE_REFLECTION_DATASIZE (current_class);
403 long len = *datasize;
405 if (*data == NULL)
407 *data = xmalloc (delta);
409 else
411 int newlen = *datasize + delta;
412 if (floor_log2 (newlen) != floor_log2 (*datasize))
413 *data = xrealloc (*data, 2 << (floor_log2 (newlen)));
415 *datasize += delta;
416 return *data + len;
419 /* annotation_rewrite_TYPE. Rewrite various int types at p. Use Java
420 byte order (i.e. big endian.) */
422 static void
423 annotation_rewrite_byte (unsigned int n, unsigned char *p)
425 p[0] = n;
428 static void
429 annotation_rewrite_short (unsigned int n, unsigned char *p)
431 p[0] = n>>8;
432 p[1] = n;
435 static void
436 annotation_rewrite_int (unsigned int n, unsigned char *p)
438 p[0] = n>>24;
439 p[1] = n>>16;
440 p[2] = n>>8;
441 p[3] = n;
444 /* Read a 16-bit unsigned int in Java byte order (i.e. big
445 endian.) */
447 static uint16
448 annotation_read_short (unsigned char *p)
450 uint16 tmp = p[0];
451 tmp = (tmp << 8) | p[1];
452 return tmp;
455 /* annotation_write_TYPE. Rewrite various int types, appending them
456 to TYPE_REFLECTION_DATA. Use Java byte order (i.e. big
457 endian.) */
459 static void
460 annotation_write_byte (unsigned int n)
462 annotation_rewrite_byte (n, annotation_grow (1));
465 static void
466 annotation_write_short (unsigned int n)
468 annotation_rewrite_short (n, annotation_grow (2));
471 static void
472 annotation_write_int (unsigned int n)
474 annotation_rewrite_int (n, annotation_grow (4));
477 /* Create a 64-bit constant in the constant pool.
479 This is used for both integer and floating-point types. As a
480 consequence, it will not work if the target floating-point format
481 is anything other than IEEE-754. While this is arguably a bug, the
482 runtime library makes exactly the same assumption and it's unlikely
483 that Java will ever run on a non-IEEE machine. */
485 static int
486 handle_long_constant (JCF *jcf, CPool *cpool, enum cpool_tag kind,
487 int index, bool big_endian)
489 /* If we're on a 64-bit platform we can fit a long or double
490 into the same space as a jword. */
491 if (POINTER_SIZE >= 64)
492 index = find_constant1 (cpool, kind, JPOOL_LONG (jcf, index));
494 /* In a compiled program the constant pool is in native word
495 order. How weird is that??? */
496 else if (big_endian)
497 index = find_constant2 (cpool, kind,
498 JPOOL_INT (jcf, index),
499 JPOOL_INT (jcf, index+1));
500 else
501 index = find_constant2 (cpool, kind,
502 JPOOL_INT (jcf, index+1),
503 JPOOL_INT (jcf, index));
505 return index;
508 /* Given a class file and an index into its constant pool, create an
509 entry in the outgoing constant pool for the same item. */
511 static uint16
512 handle_constant (JCF *jcf, int index, enum cpool_tag purpose)
514 enum cpool_tag kind;
515 CPool *cpool = cpool_for_class (output_class);
517 if (index == 0)
518 return 0;
520 if (! CPOOL_INDEX_IN_RANGE (&jcf->cpool, index))
521 error ("<constant pool index %d not in range>", index);
523 kind = JPOOL_TAG (jcf, index);
525 if ((kind & ~CONSTANT_ResolvedFlag) != purpose)
527 if (purpose == CONSTANT_Class
528 && kind == CONSTANT_Utf8)
530 else
531 error ("<constant pool index %d unexpected type", index);
534 switch (kind)
536 case CONSTANT_Class:
537 case CONSTANT_ResolvedClass:
539 /* For some reason I know not the what of, class names in
540 annotations are UTF-8 strings in the constant pool but
541 class names in EnclosingMethod attributes are real class
542 references. Set CONSTANT_LazyFlag here so that the VM
543 doesn't attempt to resolve them at class initialization
544 time. */
545 tree resolved_class, class_name;
546 resolved_class = get_class_constant (jcf, index);
547 class_name = build_internal_class_name (resolved_class);
548 index = alloc_name_constant (CONSTANT_Class | CONSTANT_LazyFlag,
549 (unmangle_classname
550 (IDENTIFIER_POINTER(class_name),
551 IDENTIFIER_LENGTH(class_name))));
552 break;
554 case CONSTANT_Utf8:
556 tree utf8 = get_constant (jcf, index);
557 if (purpose == CONSTANT_Class)
558 /* Create a constant pool entry for a type signature. This
559 one has '.' rather than '/' because it isn't going into a
560 class file, it's going into a compiled object.
562 This has to match the logic in
563 _Jv_ClassReader::prepare_pool_entry(). */
564 utf8 = unmangle_classname (IDENTIFIER_POINTER(utf8),
565 IDENTIFIER_LENGTH(utf8));
566 index = alloc_name_constant (kind, utf8);
568 break;
570 case CONSTANT_Long:
571 index = handle_long_constant (jcf, cpool, kind, index,
572 WORDS_BIG_ENDIAN);
573 break;
575 case CONSTANT_Double:
576 index = handle_long_constant (jcf, cpool, kind, index,
577 FLOAT_WORDS_BIG_ENDIAN);
578 break;
580 case CONSTANT_Float:
581 case CONSTANT_Integer:
582 index = find_constant1 (cpool, kind, JPOOL_INT (jcf, index));
583 break;
585 case CONSTANT_NameAndType:
587 uint16 name = JPOOL_USHORT1 (jcf, index);
588 uint16 sig = JPOOL_USHORT2 (jcf, index);
589 uint32 name_index = handle_constant (jcf, name, CONSTANT_Utf8);
590 uint32 sig_index = handle_constant (jcf, sig, CONSTANT_Class);
591 jword new_index = (name_index << 16) | sig_index;
592 index = find_constant1 (cpool, kind, new_index);
594 break;
596 default:
597 abort ();
600 return index;
603 /* Read an element_value structure from an annotation in JCF. Return
604 the constant pool index for the resulting constant pool entry. */
606 static int
607 handle_element_value (JCF *jcf, int level)
609 uint8 tag = JCF_readu (jcf);
610 int index = 0;
612 annotation_write_byte (tag);
613 switch (tag)
615 case 'B':
616 case 'C':
617 case 'S':
618 case 'Z':
619 case 'I':
621 uint16 cindex = JCF_readu2 (jcf);
622 index = handle_constant (jcf, cindex,
623 CONSTANT_Integer);
624 annotation_write_short (index);
626 break;
627 case 'D':
629 uint16 cindex = JCF_readu2 (jcf);
630 index = handle_constant (jcf, cindex,
631 CONSTANT_Double);
632 annotation_write_short (index);
634 break;
635 case 'F':
637 uint16 cindex = JCF_readu2 (jcf);
638 index = handle_constant (jcf, cindex,
639 CONSTANT_Float);
640 annotation_write_short (index);
642 break;
643 case 'J':
645 uint16 cindex = JCF_readu2 (jcf);
646 index = handle_constant (jcf, cindex,
647 CONSTANT_Long);
648 annotation_write_short (index);
650 break;
651 case 's':
653 uint16 cindex = JCF_readu2 (jcf);
654 /* Despite what the JVM spec says, compilers generate a Utf8
655 constant here, not a String. */
656 index = handle_constant (jcf, cindex,
657 CONSTANT_Utf8);
658 annotation_write_short (index);
660 break;
662 case 'e':
664 uint16 type_name_index = JCF_readu2 (jcf);
665 uint16 const_name_index = JCF_readu2 (jcf);
666 index = handle_constant (jcf, type_name_index,
667 CONSTANT_Class);
668 annotation_write_short (index);
669 index = handle_constant (jcf, const_name_index,
670 CONSTANT_Utf8);
671 annotation_write_short (index);
673 break;
674 case 'c':
676 uint16 class_info_index = JCF_readu2 (jcf);
677 index = handle_constant (jcf, class_info_index,
678 CONSTANT_Class);
679 annotation_write_short (index);
681 break;
682 case '@':
684 handle_annotation (jcf, level + 1);
686 break;
687 case '[':
689 uint16 n_array_elts = JCF_readu2 (jcf);
690 annotation_write_short (n_array_elts);
691 while (n_array_elts--)
692 handle_element_value (jcf, level + 1);
694 break;
695 default:
696 abort();
697 break;
699 return index;
702 /* Read an annotation structure from JCF. Write it to the
703 reflection_data field of the outgoing class. */
705 static void
706 handle_annotation (JCF *jcf, int level)
708 uint16 type_index = JCF_readu2 (jcf);
709 uint16 npairs = JCF_readu2 (jcf);
710 int index = handle_constant (jcf, type_index,
711 CONSTANT_Class);
712 annotation_write_short (index);
713 annotation_write_short (npairs);
714 while (npairs--)
716 uint16 name_index = JCF_readu2 (jcf);
717 index = handle_constant (jcf, name_index,
718 CONSTANT_Utf8);
719 annotation_write_short (index);
720 handle_element_value (jcf, level + 2);
724 /* Read an annotation count from JCF, and write the following
725 annotations to the reflection_data field of the outgoing class. */
727 static void
728 handle_annotations (JCF *jcf, int level)
730 uint16 num = JCF_readu2 (jcf);
731 annotation_write_short (num);
732 while (num--)
733 handle_annotation (jcf, level);
736 /* As handle_annotations(), but perform a sanity check that we write
737 the same number of bytes that we were expecting. */
739 static void
740 handle_annotation_attribute (int ATTRIBUTE_UNUSED index, JCF *jcf,
741 long length)
743 long old_datasize = TYPE_REFLECTION_DATASIZE (current_class);
745 handle_annotations (jcf, 0);
747 gcc_assert (old_datasize + length
748 == TYPE_REFLECTION_DATASIZE (current_class));
751 /* gcj permutes its fields array after generating annotation_data, so
752 we have to fixup field indexes for fields that have moved. Given
753 ARG, a VEC_int, fixup the field indexes in the reflection_data of
754 the outgoing class. We use field_offsets to tell us where the
755 fixups must go. */
757 void
758 rewrite_reflection_indexes (void *arg)
760 bitmap_iterator bi;
761 unsigned int offset;
762 VEC(int, heap) *map = arg;
763 unsigned char *data = TYPE_REFLECTION_DATA (current_class);
765 if (map)
767 EXECUTE_IF_SET_IN_BITMAP (field_offsets, 0, offset, bi)
769 uint16 index = annotation_read_short (data + offset);
770 annotation_rewrite_short
771 (VEC_index (int, map, index), data + offset);
776 /* Read the RuntimeVisibleAnnotations from JCF and write them to the
777 reflection_data of the outgoing class. */
779 static void
780 handle_member_annotations (int member_index, JCF *jcf,
781 const unsigned char *name ATTRIBUTE_UNUSED,
782 long len, jv_attr_type member_type)
784 int new_len = len + 1;
785 annotation_write_byte (member_type);
786 if (member_type != JV_CLASS_ATTR)
787 new_len += 2;
788 annotation_write_int (new_len);
789 annotation_write_byte (JV_ANNOTATIONS_KIND);
790 if (member_type == JV_FIELD_ATTR)
791 bitmap_set_bit (field_offsets, TYPE_REFLECTION_DATASIZE (current_class));
792 if (member_type != JV_CLASS_ATTR)
793 annotation_write_short (member_index);
794 handle_annotation_attribute (member_index, jcf, len);
797 /* Read the RuntimeVisibleParameterAnnotations from JCF and write them
798 to the reflection_data of the outgoing class. */
800 static void
801 handle_parameter_annotations (int member_index, JCF *jcf,
802 const unsigned char *name ATTRIBUTE_UNUSED,
803 long len, jv_attr_type member_type)
805 int new_len = len + 1;
806 uint8 num;
807 annotation_write_byte (member_type);
808 if (member_type != JV_CLASS_ATTR)
809 new_len += 2;
810 annotation_write_int (new_len);
811 annotation_write_byte (JV_PARAMETER_ANNOTATIONS_KIND);
812 if (member_type != JV_CLASS_ATTR)
813 annotation_write_short (member_index);
814 num = JCF_readu (jcf);
815 annotation_write_byte (num);
816 while (num--)
817 handle_annotations (jcf, 0);
821 /* Read the AnnotationDefault data from JCF and write them to the
822 reflection_data of the outgoing class. */
824 static void
825 handle_default_annotation (int member_index, JCF *jcf,
826 const unsigned char *name ATTRIBUTE_UNUSED,
827 long len, jv_attr_type member_type)
829 int new_len = len + 1;
830 annotation_write_byte (member_type);
831 if (member_type != JV_CLASS_ATTR)
832 new_len += 2;
833 annotation_write_int (new_len);
834 annotation_write_byte (JV_ANNOTATION_DEFAULT_KIND);
835 if (member_type != JV_CLASS_ATTR)
836 annotation_write_short (member_index);
837 handle_element_value (jcf, 0);
840 /* As above, for the EnclosingMethod attribute. */
842 static void
843 handle_enclosingmethod_attribute (int member_index, JCF *jcf,
844 const unsigned char *name ATTRIBUTE_UNUSED,
845 long len, jv_attr_type member_type)
847 int new_len = len + 1;
848 uint16 index;
849 annotation_write_byte (member_type);
850 if (member_type != JV_CLASS_ATTR)
851 new_len += 2;
852 annotation_write_int (new_len);
853 annotation_write_byte (JV_ENCLOSING_METHOD_KIND);
854 if (member_type != JV_CLASS_ATTR)
855 annotation_write_short (member_index);
857 index = JCF_readu2 (jcf);
858 index = handle_constant (jcf, index, CONSTANT_Class);
859 annotation_write_short (index);
861 index = JCF_readu2 (jcf);
862 index = handle_constant (jcf, index, CONSTANT_NameAndType);
863 annotation_write_short (index);
866 /* As above, for the Signature attribute. */
868 static void
869 handle_signature_attribute (int member_index, JCF *jcf,
870 const unsigned char *name ATTRIBUTE_UNUSED,
871 long len, jv_attr_type member_type)
873 int new_len = len + 1;
874 uint16 index;
875 annotation_write_byte (member_type);
876 if (member_type != JV_CLASS_ATTR)
877 new_len += 2;
878 annotation_write_int (new_len);
879 annotation_write_byte (JV_SIGNATURE_KIND);
880 if (member_type != JV_CLASS_ATTR)
881 annotation_write_short (member_index);
883 index = JCF_readu2 (jcf);
884 index = handle_constant (jcf, index, CONSTANT_Utf8);
885 annotation_write_short (index);
890 #define HANDLE_SOURCEFILE(INDEX) set_source_filename (jcf, INDEX)
892 #define HANDLE_CLASS_INFO(ACCESS_FLAGS, THIS, SUPER, INTERFACES_COUNT) \
893 { tree super_class = SUPER==0 ? NULL_TREE : get_class_constant (jcf, SUPER); \
894 output_class = current_class = give_name_to_class (jcf, THIS); \
895 set_super_info (ACCESS_FLAGS, current_class, super_class, INTERFACES_COUNT);}
897 #define HANDLE_CLASS_INTERFACE(INDEX) \
898 add_interface (current_class, get_class_constant (jcf, INDEX))
900 #define HANDLE_START_FIELD(ACCESS_FLAGS, NAME, SIGNATURE, ATTRIBUTE_COUNT) \
901 { int sig_index = SIGNATURE; \
902 current_field = add_field (current_class, get_name_constant (jcf, NAME), \
903 parse_signature (jcf, sig_index), ACCESS_FLAGS); \
904 set_java_signature (TREE_TYPE (current_field), JPOOL_UTF (jcf, sig_index)); \
905 if ((ACCESS_FLAGS) & ACC_FINAL) \
906 MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC (current_field); \
909 #define HANDLE_END_FIELDS() \
910 (current_field = NULL_TREE)
912 #define HANDLE_CONSTANTVALUE(INDEX) \
913 { tree constant; int index = INDEX; \
914 if (JPOOL_TAG (jcf, index) == CONSTANT_String) { \
915 tree name = get_name_constant (jcf, JPOOL_USHORT1 (jcf, index)); \
916 constant = build_utf8_ref (name); \
918 else \
919 constant = get_constant (jcf, index); \
920 set_constant_value (current_field, constant); }
922 #define HANDLE_METHOD(ACCESS_FLAGS, NAME, SIGNATURE, ATTRIBUTE_COUNT) \
923 (current_method = add_method (current_class, ACCESS_FLAGS, \
924 get_name_constant (jcf, NAME), \
925 get_name_constant (jcf, SIGNATURE)), \
926 DECL_LOCALVARIABLES_OFFSET (current_method) = 0, \
927 DECL_LINENUMBERS_OFFSET (current_method) = 0)
929 #define HANDLE_END_METHODS() \
930 { current_method = NULL_TREE; }
932 #define HANDLE_CODE_ATTRIBUTE(MAX_STACK, MAX_LOCALS, CODE_LENGTH) \
933 { DECL_MAX_STACK (current_method) = (MAX_STACK); \
934 DECL_MAX_LOCALS (current_method) = (MAX_LOCALS); \
935 DECL_CODE_LENGTH (current_method) = (CODE_LENGTH); \
936 DECL_CODE_OFFSET (current_method) = JCF_TELL (jcf); }
938 #define HANDLE_LOCALVARIABLETABLE_ATTRIBUTE(COUNT) \
939 { int n = (COUNT); \
940 DECL_LOCALVARIABLES_OFFSET (current_method) = JCF_TELL (jcf) - 2; \
941 JCF_SKIP (jcf, n * 10); }
943 #define HANDLE_LINENUMBERTABLE_ATTRIBUTE(COUNT) \
944 { int n = (COUNT); \
945 DECL_LINENUMBERS_OFFSET (current_method) = JCF_TELL (jcf) - 2; \
946 JCF_SKIP (jcf, n * 4); }
948 #define HANDLE_EXCEPTIONS_ATTRIBUTE(COUNT) \
950 int n = COUNT; \
951 tree list = DECL_FUNCTION_THROWS (current_method); \
952 while (--n >= 0) \
954 tree thrown_class = get_class_constant (jcf, JCF_readu2 (jcf)); \
955 list = tree_cons (NULL_TREE, thrown_class, list); \
957 DECL_FUNCTION_THROWS (current_method) = nreverse (list); \
960 #define HANDLE_DEPRECATED_ATTRIBUTE() handle_deprecated ()
962 /* Link seen inner classes to their outer context and register the
963 inner class to its outer context. They will be later loaded. */
964 #define HANDLE_INNERCLASSES_ATTRIBUTE(COUNT) \
965 handle_innerclass_attribute (COUNT, jcf, attribute_length)
967 #define HANDLE_SYNTHETIC_ATTRIBUTE() \
969 /* Irrelevant decls should have been nullified by the END macros. \
970 DECL_ARTIFICIAL on fields is used for something else (See \
971 PUSH_FIELD in java-tree.h) */ \
972 if (current_method) \
973 DECL_ARTIFICIAL (current_method) = 1; \
974 else if (current_field) \
975 FIELD_SYNTHETIC (current_field) = 1; \
976 else \
977 TYPE_SYNTHETIC (current_class) = 1; \
980 #define HANDLE_GCJCOMPILED_ATTRIBUTE() \
982 if (current_class == object_type_node) \
983 jcf->right_zip = 1; \
986 #define HANDLE_RUNTIMEVISIBLEANNOTATIONS_ATTRIBUTE() \
988 handle_member_annotations (index, jcf, name_data, attribute_length, attr_type); \
991 #define HANDLE_RUNTIMEINVISIBLEANNOTATIONS_ATTRIBUTE() \
993 JCF_SKIP(jcf, attribute_length); \
996 #define HANDLE_RUNTIMEVISIBLEPARAMETERANNOTATIONS_ATTRIBUTE() \
998 handle_parameter_annotations (index, jcf, name_data, attribute_length, attr_type); \
1001 #define HANDLE_RUNTIMEINVISIBLEPARAMETERANNOTATIONS_ATTRIBUTE() \
1003 JCF_SKIP(jcf, attribute_length); \
1006 #define HANDLE_ANNOTATIONDEFAULT_ATTRIBUTE() \
1008 handle_default_annotation (index, jcf, name_data, attribute_length, attr_type); \
1011 #define HANDLE_ENCLOSINGMETHOD_ATTRIBUTE() \
1013 handle_enclosingmethod_attribute (index, jcf, name_data, \
1014 attribute_length, attr_type); \
1017 #define HANDLE_SIGNATURE_ATTRIBUTE() \
1019 handle_signature_attribute (index, jcf, name_data, \
1020 attribute_length, attr_type); \
1023 #include "jcf-reader.c"
1025 tree
1026 parse_signature (JCF *jcf, int sig_index)
1028 gcc_assert (sig_index > 0
1029 && sig_index < JPOOL_SIZE (jcf)
1030 && JPOOL_TAG (jcf, sig_index) == CONSTANT_Utf8);
1032 return parse_signature_string (JPOOL_UTF_DATA (jcf, sig_index),
1033 JPOOL_UTF_LENGTH (jcf, sig_index));
1036 tree
1037 get_constant (JCF *jcf, int index)
1039 tree value;
1040 int tag;
1041 if (index <= 0 || index >= JPOOL_SIZE(jcf))
1042 goto bad;
1043 tag = JPOOL_TAG (jcf, index);
1044 if ((tag & CONSTANT_ResolvedFlag) || tag == CONSTANT_Utf8)
1045 return jcf->cpool.data[index].t;
1046 switch (tag)
1048 case CONSTANT_Integer:
1050 jint num = JPOOL_INT(jcf, index);
1051 value = build_int_cst (int_type_node, num);
1052 break;
1054 case CONSTANT_Long:
1056 unsigned HOST_WIDE_INT num = JPOOL_UINT (jcf, index);
1057 unsigned HOST_WIDE_INT lo;
1058 HOST_WIDE_INT hi;
1060 lshift_double (num, 0, 32, 64, &lo, &hi, 0);
1061 num = JPOOL_UINT (jcf, index+1);
1062 add_double (lo, hi, num, 0, &lo, &hi);
1063 value = build_int_cst_wide_type (long_type_node, lo, hi);
1064 break;
1067 case CONSTANT_Float:
1069 jint num = JPOOL_INT(jcf, index);
1070 long buf = num;
1071 REAL_VALUE_TYPE d;
1073 real_from_target_fmt (&d, &buf, &ieee_single_format);
1074 value = build_real (float_type_node, d);
1075 break;
1078 case CONSTANT_Double:
1080 long buf[2], lo, hi;
1081 REAL_VALUE_TYPE d;
1083 hi = JPOOL_UINT (jcf, index);
1084 lo = JPOOL_UINT (jcf, index+1);
1086 if (FLOAT_WORDS_BIG_ENDIAN)
1087 buf[0] = hi, buf[1] = lo;
1088 else
1089 buf[0] = lo, buf[1] = hi;
1091 real_from_target_fmt (&d, buf, &ieee_double_format);
1092 value = build_real (double_type_node, d);
1093 break;
1096 case CONSTANT_String:
1098 tree name = get_name_constant (jcf, JPOOL_USHORT1 (jcf, index));
1099 const char *utf8_ptr = IDENTIFIER_POINTER (name);
1100 int utf8_len = IDENTIFIER_LENGTH (name);
1101 const unsigned char *utf8;
1102 int i;
1104 /* Check for a malformed Utf8 string. */
1105 utf8 = (const unsigned char *) utf8_ptr;
1106 i = utf8_len;
1107 while (i > 0)
1109 int char_len = UT8_CHAR_LENGTH (*utf8);
1110 if (char_len < 0 || char_len > 3 || char_len > i)
1111 fatal_error ("bad string constant");
1113 utf8 += char_len;
1114 i -= char_len;
1117 /* Allocate a new string value. */
1118 value = build_string (utf8_len, utf8_ptr);
1119 TREE_TYPE (value) = build_pointer_type (string_type_node);
1121 break;
1122 default:
1123 goto bad;
1125 JPOOL_TAG (jcf, index) = tag | CONSTANT_ResolvedFlag;
1126 jcf->cpool.data[index].t = value;
1127 return value;
1128 bad:
1129 internal_error ("bad value constant type %d, index %d",
1130 JPOOL_TAG (jcf, index), index);
1133 tree
1134 get_name_constant (JCF *jcf, int index)
1136 tree name = get_constant (jcf, index);
1137 gcc_assert (TREE_CODE (name) == IDENTIFIER_NODE);
1138 return name;
1141 /* Handle reading innerclass attributes. If a nonzero entry (denoting
1142 a non anonymous entry) is found, We augment the inner class list of
1143 the outer context with the newly resolved innerclass. */
1145 static void
1146 handle_innerclass_attribute (int count, JCF *jcf, int attribute_length)
1148 int c = count;
1150 annotation_write_byte (JV_CLASS_ATTR);
1151 annotation_write_int (attribute_length+1);
1152 annotation_write_byte (JV_INNER_CLASSES_KIND);
1153 annotation_write_short (count);
1155 while (c--)
1157 /* Read inner_class_info_index. This may be 0 */
1158 int icii = JCF_readu2 (jcf);
1159 /* Read outer_class_info_index. If the innerclasses attribute
1160 entry isn't a member (like an inner class) the value is 0. */
1161 int ocii = JCF_readu2 (jcf);
1162 /* Read inner_name_index. If the class we're dealing with is
1163 an anonymous class, it must be 0. */
1164 int ini = JCF_readu2 (jcf);
1165 /* Read the access flag. */
1166 int acc = JCF_readu2 (jcf);
1168 annotation_write_short (handle_constant (jcf, icii, CONSTANT_Class));
1169 annotation_write_short (handle_constant (jcf, ocii, CONSTANT_Class));
1170 annotation_write_short (handle_constant (jcf, ini, CONSTANT_Utf8));
1171 annotation_write_short (acc);
1173 /* If icii is 0, don't try to read the class. */
1174 if (icii >= 0)
1176 tree class = get_class_constant (jcf, icii);
1177 tree decl = TYPE_NAME (class);
1178 /* Skip reading further if ocii is null */
1179 if (DECL_P (decl) && !CLASS_COMPLETE_P (decl) && ocii)
1181 tree outer = TYPE_NAME (get_class_constant (jcf, ocii));
1182 tree alias = (ini ? get_name_constant (jcf, ini) : NULL_TREE);
1183 set_class_decl_access_flags (acc, decl);
1184 DECL_CONTEXT (decl) = outer;
1185 DECL_INNER_CLASS_LIST (outer) =
1186 tree_cons (decl, alias, DECL_INNER_CLASS_LIST (outer));
1187 CLASS_COMPLETE_P (decl) = 1;
1193 static tree
1194 give_name_to_class (JCF *jcf, int i)
1196 gcc_assert (i > 0
1197 && i < JPOOL_SIZE (jcf)
1198 && JPOOL_TAG (jcf, i) == CONSTANT_Class);
1201 tree package_name = NULL_TREE, tmp;
1202 tree this_class;
1203 int j = JPOOL_USHORT1 (jcf, i);
1204 /* verify_constant_pool confirmed that j is a CONSTANT_Utf8. */
1205 tree class_name = unmangle_classname ((const char *) JPOOL_UTF_DATA (jcf, j),
1206 JPOOL_UTF_LENGTH (jcf, j));
1207 this_class = lookup_class (class_name);
1208 #ifdef USE_MAPPED_LOCATION
1210 tree source_name = identifier_subst (class_name, "", '.', '/', ".java");
1211 const char *sfname = IDENTIFIER_POINTER (source_name);
1212 linemap_add (line_table, LC_ENTER, false, sfname, 0);
1213 input_location = linemap_line_start (line_table, 0, 1);
1214 file_start_location = input_location;
1215 DECL_SOURCE_LOCATION (TYPE_NAME (this_class)) = input_location;
1216 if (main_input_filename == NULL && jcf == main_jcf)
1217 main_input_filename = sfname;
1219 #else
1220 if (! DECL_ARTIFICIAL (TYPE_NAME (this_class)))
1222 input_location = DECL_SOURCE_LOCATION (TYPE_NAME (this_class));
1223 if (main_input_filename == NULL && jcf == main_jcf)
1224 main_input_filename = input_filename;
1226 #endif
1228 jcf->cpool.data[i].t = this_class;
1229 JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;
1230 split_qualified_name (&package_name, &tmp,
1231 DECL_NAME (TYPE_NAME (this_class)));
1232 TYPE_PACKAGE (this_class) = package_name;
1233 return this_class;
1237 /* Get the class of the CONSTANT_Class whose constant pool index is I. */
1239 tree
1240 get_class_constant (JCF *jcf, int i)
1242 tree type;
1243 gcc_assert (i > 0
1244 && i < JPOOL_SIZE (jcf)
1245 && (JPOOL_TAG (jcf, i) & ~CONSTANT_ResolvedFlag) == CONSTANT_Class);
1247 if (JPOOL_TAG (jcf, i) != CONSTANT_ResolvedClass)
1249 int name_index = JPOOL_USHORT1 (jcf, i);
1250 /* verify_constant_pool confirmed that name_index is a CONSTANT_Utf8. */
1251 const char *name = (const char *) JPOOL_UTF_DATA (jcf, name_index);
1252 int nlength = JPOOL_UTF_LENGTH (jcf, name_index);
1254 if (name[0] == '[') /* Handle array "classes". */
1255 type = TREE_TYPE (parse_signature_string ((const unsigned char *) name, nlength));
1256 else
1258 tree cname = unmangle_classname (name, nlength);
1259 type = lookup_class (cname);
1261 jcf->cpool.data[i].t = type;
1262 JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;
1264 else
1265 type = jcf->cpool.data[i].t;
1266 return type;
1269 /* Read a class with the fully qualified-name NAME.
1270 Return 1 iff we read the requested file.
1271 (It is still possible we failed if the file did not
1272 define the class it is supposed to.) */
1275 read_class (tree name)
1277 JCF this_jcf, *jcf;
1278 tree icv, class = NULL_TREE;
1279 tree save_current_class = current_class;
1280 tree save_output_class = output_class;
1281 location_t save_location = input_location;
1282 JCF *save_current_jcf = current_jcf;
1284 if ((icv = IDENTIFIER_CLASS_VALUE (name)) != NULL_TREE)
1286 class = TREE_TYPE (icv);
1287 jcf = TYPE_JCF (class);
1289 else
1290 jcf = NULL;
1292 if (jcf == NULL)
1294 const char* path_name;
1295 this_jcf.zipd = NULL;
1296 jcf = &this_jcf;
1298 path_name = find_class (IDENTIFIER_POINTER (name),
1299 IDENTIFIER_LENGTH (name),
1300 &this_jcf);
1301 if (path_name == 0)
1302 return 0;
1303 else
1304 free(CONST_CAST (char *, path_name));
1307 current_jcf = jcf;
1309 if (class == NULL_TREE || ! CLASS_PARSED_P (class))
1311 output_class = current_class = class;
1312 if (JCF_SEEN_IN_ZIP (current_jcf))
1313 read_zip_member(current_jcf,
1314 current_jcf->zipd, current_jcf->zipd->zipf);
1315 jcf_parse (current_jcf);
1316 /* Parsing might change the class, in which case we have to
1317 put it back where we found it. */
1318 if (current_class != class && icv != NULL_TREE)
1319 TREE_TYPE (icv) = current_class;
1320 class = current_class;
1322 layout_class (class);
1323 load_inner_classes (class);
1325 output_class = save_output_class;
1326 current_class = save_current_class;
1327 input_location = save_location;
1328 current_jcf = save_current_jcf;
1329 return 1;
1332 /* Load CLASS_OR_NAME. CLASS_OR_NAME can be a mere identifier if
1333 called from the parser, otherwise it's a RECORD_TYPE node. If
1334 VERBOSE is 1, print error message on failure to load a class. */
1335 void
1336 load_class (tree class_or_name, int verbose)
1338 tree name, saved;
1339 int class_loaded = 0;
1340 tree class_decl = NULL_TREE;
1341 bool is_compiled_class = false;
1343 /* We've already failed, don't try again. */
1344 if (TREE_CODE (class_or_name) == RECORD_TYPE
1345 && TYPE_DUMMY (class_or_name))
1346 return;
1348 /* class_or_name can be the name of the class we want to load */
1349 if (TREE_CODE (class_or_name) == IDENTIFIER_NODE)
1350 name = class_or_name;
1351 /* In some cases, it's a dependency that we process earlier that
1352 we though */
1353 else if (TREE_CODE (class_or_name) == TREE_LIST)
1354 name = TYPE_NAME (TREE_PURPOSE (class_or_name));
1355 /* Or it's a type in the making */
1356 else
1357 name = DECL_NAME (TYPE_NAME (class_or_name));
1359 class_decl = IDENTIFIER_CLASS_VALUE (name);
1360 if (class_decl != NULL_TREE)
1362 tree type = TREE_TYPE (class_decl);
1363 is_compiled_class
1364 = ((TYPE_JCF (type) && JCF_SEEN_IN_ZIP (TYPE_JCF (type)))
1365 || CLASS_FROM_CURRENTLY_COMPILED_P (type));
1368 saved = name;
1370 /* If flag_verify_invocations is unset, we don't try to load a class
1371 unless we're looking for Object (which is fixed by the ABI) or
1372 it's a class that we're going to compile. */
1373 if (flag_verify_invocations
1374 || class_or_name == object_type_node
1375 || is_compiled_class
1376 || TREE_CODE (class_or_name) == IDENTIFIER_NODE)
1378 while (1)
1380 char *separator;
1382 /* We've already loaded it. */
1383 if (IDENTIFIER_CLASS_VALUE (name) != NULL_TREE)
1385 tree tmp_decl = IDENTIFIER_CLASS_VALUE (name);
1386 if (CLASS_PARSED_P (TREE_TYPE (tmp_decl)))
1387 break;
1390 if (read_class (name))
1391 break;
1393 /* We failed loading name. Now consider that we might be looking
1394 for an inner class. */
1395 if ((separator = strrchr (IDENTIFIER_POINTER (name), '$'))
1396 || (separator = strrchr (IDENTIFIER_POINTER (name), '.')))
1398 int c = *separator;
1399 *separator = '\0';
1400 name = get_identifier (IDENTIFIER_POINTER (name));
1401 *separator = c;
1403 /* Otherwise, we failed, we bail. */
1404 else
1405 break;
1409 /* have we found the class we're looking for? */
1410 tree type_decl = IDENTIFIER_CLASS_VALUE (saved);
1411 tree type = type_decl ? TREE_TYPE (type_decl) : NULL;
1412 class_loaded = type && CLASS_PARSED_P (type);
1416 if (!class_loaded)
1418 if (flag_verify_invocations || ! flag_indirect_dispatch)
1420 if (verbose)
1421 error ("cannot find file for class %s", IDENTIFIER_POINTER (saved));
1423 else if (verbose)
1425 /* This is just a diagnostic during testing, not a real problem. */
1426 if (!quiet_flag)
1427 warning (0, "cannot find file for class %s",
1428 IDENTIFIER_POINTER (saved));
1430 /* Fake it. */
1431 if (TREE_CODE (class_or_name) == RECORD_TYPE)
1433 set_super_info (0, class_or_name, object_type_node, 0);
1434 TYPE_DUMMY (class_or_name) = 1;
1435 /* We won't be able to output any debug info for this class. */
1436 DECL_IGNORED_P (TYPE_NAME (class_or_name)) = 1;
1442 /* Parse the .class file JCF. */
1444 static void
1445 jcf_parse (JCF* jcf)
1447 int i, code;
1449 bitmap_clear (field_offsets);
1451 if (jcf_parse_preamble (jcf) != 0)
1452 fatal_error ("not a valid Java .class file");
1453 code = jcf_parse_constant_pool (jcf);
1454 if (code != 0)
1455 fatal_error ("error while parsing constant pool");
1456 code = verify_constant_pool (jcf);
1457 if (code > 0)
1458 fatal_error ("error in constant pool entry #%d\n", code);
1460 jcf_parse_class (jcf);
1461 if (main_class == NULL_TREE)
1462 main_class = current_class;
1463 if (! quiet_flag && TYPE_NAME (current_class))
1464 fprintf (stderr, " %s %s",
1465 (jcf->access_flags & ACC_INTERFACE) ? "interface" : "class",
1466 IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (current_class))));
1467 if (CLASS_PARSED_P (current_class))
1469 /* FIXME - where was first time */
1470 fatal_error ("reading class %s for the second time from %s",
1471 IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (current_class))),
1472 jcf->filename);
1474 CLASS_PARSED_P (current_class) = 1;
1476 for (i = 1; i < JPOOL_SIZE(jcf); i++)
1478 switch (JPOOL_TAG (jcf, i))
1480 case CONSTANT_Class:
1481 get_class_constant (jcf, i);
1482 break;
1486 code = jcf_parse_fields (jcf);
1487 if (code != 0)
1488 fatal_error ("error while parsing fields");
1489 code = jcf_parse_methods (jcf);
1490 if (code != 0)
1491 fatal_error ("error while parsing methods");
1492 code = jcf_parse_final_attributes (jcf);
1493 if (code != 0)
1494 fatal_error ("error while parsing final attributes");
1496 if (TYPE_REFLECTION_DATA (current_class))
1497 annotation_write_byte (JV_DONE_ATTR);
1499 #ifdef USE_MAPPED_LOCATION
1500 linemap_add (line_table, LC_LEAVE, false, NULL, 0);
1501 #endif
1503 /* The fields of class_type_node are already in correct order. */
1504 if (current_class != class_type_node && current_class != object_type_node)
1505 TYPE_FIELDS (current_class) = nreverse (TYPE_FIELDS (current_class));
1507 if (current_class == object_type_node)
1508 layout_class_methods (object_type_node);
1509 else
1510 all_class_list = tree_cons (NULL_TREE,
1511 TYPE_NAME (current_class), all_class_list );
1514 /* If we came across inner classes, load them now. */
1515 static void
1516 load_inner_classes (tree cur_class)
1518 tree current;
1519 for (current = DECL_INNER_CLASS_LIST (TYPE_NAME (cur_class)); current;
1520 current = TREE_CHAIN (current))
1522 tree name = DECL_NAME (TREE_PURPOSE (current));
1523 tree decl = IDENTIFIER_GLOBAL_VALUE (name);
1524 if (decl && ! CLASS_LOADED_P (TREE_TYPE (decl))
1525 && !CLASS_BEING_LAIDOUT (TREE_TYPE (decl)))
1526 load_class (name, 1);
1530 static void
1531 duplicate_class_warning (const char *filename)
1533 location_t warn_loc;
1534 #ifdef USE_MAPPED_LOCATION
1535 linemap_add (line_table, LC_RENAME, 0, filename, 0);
1536 warn_loc = linemap_line_start (line_table, 0, 1);
1537 #else
1538 warn_loc.file = filename;
1539 warn_loc.line = 0;
1540 #endif
1541 warning (0, "%Hduplicate class will only be compiled once", &warn_loc);
1544 static void
1545 java_layout_seen_class_methods (void)
1547 tree previous_list = all_class_list;
1548 tree end = NULL_TREE;
1549 tree current;
1551 while (1)
1553 for (current = previous_list;
1554 current != end; current = TREE_CHAIN (current))
1556 tree decl = TREE_VALUE (current);
1557 tree cls = TREE_TYPE (decl);
1559 input_location = DECL_SOURCE_LOCATION (decl);
1561 if (! CLASS_LOADED_P (cls))
1562 load_class (cls, 0);
1564 layout_class_methods (cls);
1567 /* Note that new classes might have been added while laying out
1568 methods, changing the value of all_class_list. */
1570 if (previous_list != all_class_list)
1572 end = previous_list;
1573 previous_list = all_class_list;
1575 else
1576 break;
1580 static void
1581 parse_class_file (void)
1583 tree method;
1584 location_t save_location = input_location;
1586 java_layout_seen_class_methods ();
1588 input_location = DECL_SOURCE_LOCATION (TYPE_NAME (current_class));
1589 file_start_location = input_location;
1590 (*debug_hooks->start_source_file) (input_line, input_filename);
1592 gen_indirect_dispatch_tables (current_class);
1594 for (method = TYPE_METHODS (current_class);
1595 method != NULL_TREE; method = TREE_CHAIN (method))
1597 JCF *jcf = current_jcf;
1599 if (METHOD_ABSTRACT (method) || METHOD_DUMMY (method))
1600 continue;
1602 if (METHOD_NATIVE (method))
1604 tree arg;
1605 int decl_max_locals;
1607 if (! flag_jni)
1608 continue;
1609 /* We need to compute the DECL_MAX_LOCALS. We need to take
1610 the wide types into account too. */
1611 for (arg = TYPE_ARG_TYPES (TREE_TYPE (method)), decl_max_locals = 0;
1612 arg != end_params_node;
1613 arg = TREE_CHAIN (arg), decl_max_locals += 1)
1615 if (TREE_VALUE (arg) && TYPE_IS_WIDE (TREE_VALUE (arg)))
1616 decl_max_locals += 1;
1618 DECL_MAX_LOCALS (method) = decl_max_locals;
1619 start_java_method (method);
1620 give_name_to_locals (jcf);
1621 *get_stmts () = build_jni_stub (method);
1622 end_java_method ();
1623 continue;
1626 if (DECL_CODE_OFFSET (method) == 0)
1628 current_function_decl = method;
1629 error ("missing Code attribute");
1630 continue;
1633 input_location = DECL_SOURCE_LOCATION (TYPE_NAME (current_class));
1634 if (DECL_LINENUMBERS_OFFSET (method))
1636 int i;
1637 int min_line = 0;
1638 unsigned char *ptr;
1639 JCF_SEEK (jcf, DECL_LINENUMBERS_OFFSET (method));
1640 linenumber_count = i = JCF_readu2 (jcf);
1641 linenumber_table = ptr = jcf->read_ptr;
1643 for (ptr += 2; --i >= 0; ptr += 4)
1645 int line = GET_u2 (ptr);
1646 /* Set initial input_line to smallest linenumber.
1647 * Needs to be set before init_function_start. */
1648 if (min_line == 0 || line < min_line)
1649 min_line = line;
1651 #ifdef USE_MAPPED_LOCATION
1652 if (min_line != 0)
1653 input_location = linemap_line_start (line_table, min_line, 1);
1654 #else
1655 if (min_line != 0)
1656 input_line = min_line;
1657 #endif
1659 else
1661 linenumber_table = NULL;
1662 linenumber_count = 0;
1665 start_java_method (method);
1667 note_instructions (jcf, method);
1669 give_name_to_locals (jcf);
1671 /* Bump up start_label_pc_this_method so we get a unique label number
1672 and reset highest_label_pc_this_method. */
1673 if (highest_label_pc_this_method >= 0)
1675 /* We adjust to the next multiple of 1000. This is just a frill
1676 so the last 3 digits of the label number match the bytecode
1677 offset, which might make debugging marginally more convenient. */
1678 start_label_pc_this_method
1679 = ((((start_label_pc_this_method + highest_label_pc_this_method)
1680 / 1000)
1681 + 1)
1682 * 1000);
1683 highest_label_pc_this_method = -1;
1686 /* Convert bytecode to trees. */
1687 expand_byte_code (jcf, method);
1689 end_java_method ();
1692 finish_class ();
1694 (*debug_hooks->end_source_file) (LOCATION_LINE (save_location));
1695 input_location = save_location;
1698 void
1699 add_predefined_file (tree name)
1701 predef_filenames = tree_cons (NULL_TREE, name, predef_filenames);
1705 predefined_filename_p (tree node)
1707 tree iter;
1709 for (iter = predef_filenames; iter != NULL_TREE; iter = TREE_CHAIN (iter))
1711 if (TREE_VALUE (iter) == node)
1712 return 1;
1714 return 0;
1717 /* Generate a function that does all static initialization for this
1718 translation unit. */
1720 static void
1721 java_emit_static_constructor (void)
1723 tree body = NULL;
1725 emit_register_classes (&body);
1726 write_resource_constructor (&body);
1728 if (body)
1729 cgraph_build_static_cdtor ('I', body, DEFAULT_INIT_PRIORITY);
1732 void
1733 java_parse_file (int set_yydebug ATTRIBUTE_UNUSED)
1735 int filename_count = 0;
1736 location_t save_location = input_location;
1737 char *file_list = NULL, *list, *next;
1738 tree node;
1739 FILE *finput = NULL;
1740 int in_quotes = 0;
1742 bitmap_obstack_initialize (&bit_obstack);
1743 field_offsets = BITMAP_ALLOC (&bit_obstack);
1745 if (flag_filelist_file)
1747 int avail = 2000;
1748 finput = fopen (main_input_filename, "r");
1749 if (finput == NULL)
1750 fatal_error ("can't open %s: %m", input_filename);
1751 list = XNEWVEC (char, avail);
1752 next = list;
1753 for (;;)
1755 int count;
1756 if (avail < 500)
1758 count = next - list;
1759 avail = 2 * (count + avail);
1760 list = xrealloc (list, avail);
1761 next = list + count;
1762 avail = avail - count;
1764 /* Subtract to to guarantee space for final '\0'. */
1765 count = fread (next, 1, avail - 1, finput);
1766 if (count == 0)
1768 if (! feof (finput))
1769 fatal_error ("error closing %s: %m", input_filename);
1770 *next = '\0';
1771 break;
1773 avail -= count;
1774 next += count;
1776 fclose (finput);
1777 finput = NULL;
1778 file_list = list;
1780 else
1781 list = CONST_CAST (char *, main_input_filename);
1783 while (list)
1785 for (next = list; ; )
1787 char ch = *next;
1788 if (flag_filelist_file && ! in_quotes
1789 && (ch == '\n' || ch == '\r' || ch == '\t' || ch == ' '
1790 || ch == '&') /* FIXME */)
1792 if (next == list)
1794 next++;
1795 list = next;
1796 continue;
1798 else
1800 *next++ = '\0';
1801 break;
1804 if (flag_filelist_file && ch == '"')
1806 in_quotes = ! in_quotes;
1807 *next++ = '\0';
1808 if (in_quotes)
1809 list = next;
1810 else
1811 break;
1813 if (ch == '\0')
1815 next = NULL;
1816 break;
1818 next++;
1821 /* Exclude .java files. */
1822 if (strlen (list) > 5 && ! strcmp (list + strlen (list) - 5, ".java"))
1824 /* Nothing. */
1826 else if (list[0])
1828 node = get_identifier (list);
1830 filename_count++;
1832 /* Exclude file that we see twice on the command line. */
1834 if (IS_A_COMMAND_LINE_FILENAME_P (node))
1835 duplicate_class_warning (IDENTIFIER_POINTER (node));
1836 else
1838 tree file_decl = build_decl (TRANSLATION_UNIT_DECL, node, NULL);
1839 TREE_CHAIN (file_decl) = current_file_list;
1840 current_file_list = file_decl;
1841 IS_A_COMMAND_LINE_FILENAME_P (node) = 1;
1844 list = next;
1847 if (file_list != NULL)
1848 free (file_list);
1850 if (filename_count == 0)
1851 warning (0, "no input file specified");
1853 if (resource_name)
1855 const char *resource_filename;
1857 /* Only one resource file may be compiled at a time. */
1858 assert (TREE_CHAIN (current_file_list) == NULL);
1860 resource_filename = IDENTIFIER_POINTER (DECL_NAME (current_file_list));
1861 compile_resource_file (resource_name, resource_filename);
1863 goto finish;
1866 current_jcf = main_jcf;
1867 current_file_list = nreverse (current_file_list);
1868 for (node = current_file_list; node; node = TREE_CHAIN (node))
1870 unsigned char magic_string[4];
1871 char *real_path;
1872 uint32 magic = 0;
1873 tree name = DECL_NAME (node);
1874 tree real_file;
1875 const char *filename = IDENTIFIER_POINTER (name);
1877 /* Skip already parsed files */
1878 real_path = lrealpath (filename);
1879 real_file = get_identifier (real_path);
1880 free (real_path);
1881 if (HAS_BEEN_ALREADY_PARSED_P (real_file))
1882 continue;
1884 /* Close previous descriptor, if any */
1885 if (finput && fclose (finput))
1886 fatal_error ("can't close input file %s: %m", main_input_filename);
1888 finput = fopen (filename, "rb");
1889 if (finput == NULL)
1890 fatal_error ("can't open %s: %m", filename);
1892 #ifdef IO_BUFFER_SIZE
1893 setvbuf (finput, xmalloc (IO_BUFFER_SIZE),
1894 _IOFBF, IO_BUFFER_SIZE);
1895 #endif
1897 /* Figure what kind of file we're dealing with */
1898 if (fread (magic_string, 1, 4, finput) == 4)
1900 fseek (finput, 0L, SEEK_SET);
1901 magic = GET_u4 (magic_string);
1903 if (magic == 0xcafebabe)
1905 CLASS_FILE_P (node) = 1;
1906 current_jcf = ggc_alloc (sizeof (JCF));
1907 JCF_ZERO (current_jcf);
1908 current_jcf->read_state = finput;
1909 current_jcf->filbuf = jcf_filbuf_from_stdio;
1910 jcf_parse (current_jcf);
1911 DECL_SOURCE_LOCATION (node) = file_start_location;
1912 TYPE_JCF (current_class) = current_jcf;
1913 if (CLASS_FROM_CURRENTLY_COMPILED_P (current_class))
1915 /* We've already compiled this class. */
1916 duplicate_class_warning (filename);
1917 continue;
1919 CLASS_FROM_CURRENTLY_COMPILED_P (current_class) = 1;
1920 TREE_TYPE (node) = current_class;
1922 else if (magic == (JCF_u4)ZIPMAGIC)
1924 main_jcf = ggc_alloc (sizeof (JCF));
1925 JCF_ZERO (main_jcf);
1926 main_jcf->read_state = finput;
1927 main_jcf->filbuf = jcf_filbuf_from_stdio;
1928 #ifdef USE_MAPPED_LOCATION
1929 linemap_add (line_table, LC_ENTER, false, filename, 0);
1930 input_location = linemap_line_start (line_table, 0, 1);
1931 #endif
1932 if (open_in_zip (main_jcf, filename, NULL, 0) < 0)
1933 fatal_error ("bad zip/jar file %s", filename);
1934 localToFile = SeenZipFiles;
1935 /* Register all the classes defined there. */
1936 process_zip_dir (main_jcf->read_state);
1937 #ifdef USE_MAPPED_LOCATION
1938 linemap_add (line_table, LC_LEAVE, false, NULL, 0);
1939 #endif
1940 parse_zip_file_entries ();
1942 else
1944 gcc_unreachable ();
1945 #if 0
1946 java_push_parser_context ();
1947 java_parser_context_save_global ();
1949 parse_source_file_1 (real_file, filename, finput);
1950 java_parser_context_restore_global ();
1951 java_pop_parser_context (1);
1952 #ifdef USE_MAPPED_LOCATION
1953 linemap_add (line_table, LC_LEAVE, false, NULL, 0);
1954 #endif
1955 #endif
1959 /* Do this before lowering any code. */
1960 for (node = current_file_list; node; node = TREE_CHAIN (node))
1962 if (CLASS_FILE_P (node))
1963 java_mark_class_local (TREE_TYPE (node));
1966 for (node = current_file_list; node; node = TREE_CHAIN (node))
1968 input_location = DECL_SOURCE_LOCATION (node);
1969 if (CLASS_FILE_P (node))
1971 /* FIXME: These two flags really should be independent. We
1972 should be able to compile fully binary compatible, but
1973 with flag_verify_invocations on. */
1974 flag_verify_invocations = ! flag_indirect_dispatch;
1975 output_class = current_class = TREE_TYPE (node);
1977 current_jcf = TYPE_JCF (current_class);
1978 layout_class (current_class);
1979 load_inner_classes (current_class);
1980 parse_class_file ();
1981 JCF_FINISH (current_jcf);
1984 input_location = save_location;
1986 bitmap_obstack_release (&bit_obstack);
1988 finish:
1989 /* Arrange for any necessary initialization to happen. */
1990 java_emit_static_constructor ();
1992 /* Only finalize the compilation unit after we've told cgraph which
1993 functions have their addresses stored. */
1994 cgraph_finalize_compilation_unit ();
1995 cgraph_optimize ();
1999 /* Return the name of the class corresponding to the name of the file
2000 in this zip entry. The result is newly allocated using ALLOC. */
2001 static char *
2002 compute_class_name (struct ZipDirectory *zdir)
2004 char *class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
2005 char *class_name;
2006 int i;
2007 int filename_length = zdir->filename_length;
2009 while (filename_length > 2 && strncmp (class_name_in_zip_dir, "./", 2) == 0)
2011 class_name_in_zip_dir += 2;
2012 filename_length -= 2;
2015 filename_length -= strlen (".class");
2016 class_name = XNEWVEC (char, filename_length + 1);
2017 memcpy (class_name, class_name_in_zip_dir, filename_length);
2018 class_name [filename_length] = '\0';
2020 for (i = 0; i < filename_length; i++)
2021 if (class_name[i] == '/')
2022 class_name[i] = '.';
2024 return class_name;
2027 /* Return 0 if we should skip this entry, 1 if it is a .class file, 2
2028 if it is a property file of some sort. */
2029 static int
2030 classify_zip_file (struct ZipDirectory *zdir)
2032 char *class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
2034 if (zdir->filename_length > 6
2035 && !strncmp (&class_name_in_zip_dir[zdir->filename_length - 6],
2036 ".class", 6))
2037 return 1;
2039 /* For now we drop the manifest, but not other information. */
2040 if (zdir->filename_length == 20
2041 && !strncmp (class_name_in_zip_dir, "META-INF/MANIFEST.MF", 20))
2042 return 0;
2044 /* Drop directory entries. */
2045 if (zdir->filename_length > 0
2046 && class_name_in_zip_dir[zdir->filename_length - 1] == '/')
2047 return 0;
2049 return 2;
2052 /* Process all class entries found in the zip file. */
2053 static void
2054 parse_zip_file_entries (void)
2056 struct ZipDirectory *zdir;
2057 int i;
2059 for (i = 0, zdir = (ZipDirectory *)localToFile->central_directory;
2060 i < localToFile->count; i++, zdir = ZIPDIR_NEXT (zdir))
2062 tree class;
2064 switch (classify_zip_file (zdir))
2066 case 0:
2067 continue;
2069 case 1:
2071 char *class_name = compute_class_name (zdir);
2072 class = lookup_class (get_identifier (class_name));
2073 FREE (class_name);
2074 current_jcf = TYPE_JCF (class);
2075 output_class = current_class = class;
2077 /* This is a dummy class, and now we're compiling it for
2078 real. */
2079 gcc_assert (! TYPE_DUMMY (class));
2081 /* This is for a corner case where we have a superclass
2082 but no superclass fields.
2084 This can happen if we earlier failed to lay out this
2085 class because its superclass was still in the process
2086 of being laid out; this occurs when we have recursive
2087 class dependencies via inner classes. Setting
2088 TYPE_SIZE to null here causes CLASS_LOADED_P to return
2089 false, so layout_class() will be called again. */
2090 if (TYPE_SIZE (class) && CLASSTYPE_SUPER (class)
2091 && integer_zerop (TYPE_SIZE (class)))
2092 TYPE_SIZE (class) = NULL_TREE;
2094 if (! CLASS_LOADED_P (class))
2096 if (! CLASS_PARSED_P (class))
2098 read_zip_member (current_jcf, zdir, localToFile);
2099 jcf_parse (current_jcf);
2101 layout_class (current_class);
2102 load_inner_classes (current_class);
2105 if (TYPE_SIZE (current_class) != error_mark_node)
2107 parse_class_file ();
2108 free (current_jcf->buffer); /* No longer necessary */
2109 /* Note: there is a way to free this buffer right after a
2110 class seen in a zip file has been parsed. The idea is the
2111 set its jcf in such a way that buffer will be reallocated
2112 the time the code for the class will be generated. FIXME. */
2115 break;
2117 case 2:
2119 char *file_name, *class_name_in_zip_dir, *buffer;
2120 JCF *jcf;
2121 file_name = XNEWVEC (char, zdir->filename_length + 1);
2122 class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
2123 strncpy (file_name, class_name_in_zip_dir, zdir->filename_length);
2124 file_name[zdir->filename_length] = '\0';
2125 jcf = XNEW (JCF);
2126 JCF_ZERO (jcf);
2127 jcf->read_state = finput;
2128 jcf->filbuf = jcf_filbuf_from_stdio;
2129 jcf->classname = NULL;
2130 jcf->filename = file_name;
2131 jcf->zipd = zdir;
2133 if (read_zip_member (jcf, zdir, localToFile) < 0)
2134 fatal_error ("error while reading %s from zip file", file_name);
2136 buffer = XNEWVEC (char, zdir->filename_length + 1 +
2137 (jcf->buffer_end - jcf->buffer));
2138 strcpy (buffer, file_name);
2139 /* This is not a typo: we overwrite the trailing \0 of the
2140 file name; this is just how the data is laid out. */
2141 memcpy (buffer + zdir->filename_length,
2142 jcf->buffer, jcf->buffer_end - jcf->buffer);
2144 compile_resource_data (file_name, buffer,
2145 jcf->buffer_end - jcf->buffer);
2146 JCF_FINISH (jcf);
2147 free (jcf);
2148 free (buffer);
2150 break;
2152 default:
2153 gcc_unreachable ();
2158 /* Read all the entries of the zip file, creates a class and a JCF. Sets the
2159 jcf up for further processing and link it to the created class. */
2161 static void
2162 process_zip_dir (FILE *finput)
2164 int i;
2165 ZipDirectory *zdir;
2167 for (i = 0, zdir = (ZipDirectory *)localToFile->central_directory;
2168 i < localToFile->count; i++, zdir = ZIPDIR_NEXT (zdir))
2170 char *class_name, *file_name, *class_name_in_zip_dir;
2171 tree class;
2172 JCF *jcf;
2174 class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
2176 /* Here we skip non-class files; we handle them later. */
2177 if (classify_zip_file (zdir) != 1)
2178 continue;
2180 class_name = compute_class_name (zdir);
2181 file_name = XNEWVEC (char, zdir->filename_length+1);
2182 jcf = ggc_alloc (sizeof (JCF));
2183 JCF_ZERO (jcf);
2185 strncpy (file_name, class_name_in_zip_dir, zdir->filename_length);
2186 file_name [zdir->filename_length] = '\0';
2188 class = lookup_class (get_identifier (class_name));
2190 if (CLASS_FROM_CURRENTLY_COMPILED_P (class))
2192 /* We've already compiled this class. */
2193 duplicate_class_warning (file_name);
2194 continue;
2196 /* This function is only called when processing a zip file seen
2197 on the command line. */
2198 CLASS_FROM_CURRENTLY_COMPILED_P (class) = 1;
2200 jcf->read_state = finput;
2201 jcf->filbuf = jcf_filbuf_from_stdio;
2202 jcf->classname = class_name;
2203 jcf->filename = file_name;
2204 jcf->zipd = zdir;
2206 TYPE_JCF (class) = jcf;
2210 #include "gt-java-jcf-parse.h"
2211 #include "gtype-java.h"