OSDN Git Service

2006-02-20 Andrew Haley <aph@redhat.com>
[pf3gnuchains/gcc-fork.git] / gcc / java / jcf-parse.c
index c73d1dc..b9d52b6 100644 (file)
@@ -1,22 +1,23 @@
 /* Parser for Java(TM) .class files.
-   Copyright (C) 1996, 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
+   Copyright (C) 1996, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005
+   Free Software Foundation, Inc.
 
-This file is part of GNU CC.
+This file is part of GCC.
 
-GNU CC is free software; you can redistribute it and/or modify
+GCC is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 2, or (at your option)
 any later version.
 
-GNU CC is distributed in the hope that it will be useful,
+GCC is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
-along with GNU CC; see the file COPYING.  If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA.
+along with GCC; see the file COPYING.  If not, write to
+the Free Software Foundation, 51 Franklin Street, Fifth Floor,
+Boston, MA 02110-1301, USA.
 
 Java and all Java-based marks are trademarks or registered trademarks
 of Sun Microsystems, Inc. in the United States and other countries.
@@ -26,7 +27,10 @@ The Free Software Foundation is independent of Sun Microsystems, Inc.  */
 
 #include "config.h"
 #include "system.h"
+#include "coretypes.h"
+#include "tm.h"
 #include "tree.h"
+#include "real.h"
 #include "obstack.h"
 #include "flags.h"
 #include "java-except.h"
@@ -36,12 +40,15 @@ The Free Software Foundation is independent of Sun Microsystems, Inc.  */
 #include "parse.h"
 #include "ggc.h"
 #include "debug.h"
+#include "assert.h"
+#include "tm_p.h"
+#include "cgraph.h"
 
 #ifdef HAVE_LOCALE_H
 #include <locale.h>
 #endif
 
-#ifdef HAVE_NL_LANGINFO
+#ifdef HAVE_LANGINFO_CODESET
 #include <langinfo.h>
 #endif
 
@@ -57,21 +64,15 @@ The Free Software Foundation is independent of Sun Microsystems, Inc.  */
     text = (JCF)->read_ptr; \
     save = text[LENGTH]; \
     text[LENGTH] = 0; \
-    (JCF)->cpool.data[INDEX] = (jword) get_identifier (text); \
+    (JCF)->cpool.data[INDEX].t = get_identifier ((const char *) text); \
     text[LENGTH] = save; \
     JCF_SKIP (JCF, LENGTH); } while (0)
 
 #include "jcf.h"
 
-extern struct obstack *saveable_obstack;
 extern struct obstack temporary_obstack;
-extern struct obstack permanent_obstack;
 
-/* Set to non-zero value in order to emit class initilization code
-   before static field references.  */
-extern int always_initialize_class_p;
-
-static tree parse_roots[3] = { NULL_TREE, NULL_TREE, NULL_TREE };
+static GTY(()) tree parse_roots[3];
 
 /* The FIELD_DECL for the current field.  */
 #define current_field parse_roots[0]
@@ -79,82 +80,118 @@ static tree parse_roots[3] = { NULL_TREE, NULL_TREE, NULL_TREE };
 /* The METHOD_DECL for the current method.  */
 #define current_method parse_roots[1]
 
-/* A list of file names.  */
+/* A list of TRANSLATION_UNIT_DECLs for the files to be compiled.  */
 #define current_file_list parse_roots[2]
 
+/* Line 0 in current file, if compiling from bytecode. */
+static location_t file_start_location;
+
 /* The Java archive that provides main_class;  the main input file. */
-static struct JCF main_jcf[1];
+static GTY(()) struct JCF * main_jcf;
 
 static struct ZipFile *localToFile;
 
 /* Declarations of some functions used here.  */
-static void handle_innerclass_attribute PARAMS ((int count, JCF *));
-static tree give_name_to_class PARAMS ((JCF *jcf, int index));
-static void parse_zip_file_entries PARAMS ((void));
-static void process_zip_dir PARAMS ((FILE *));
-static void parse_source_file_1 PARAMS ((tree, FILE *));
-static void parse_source_file_2 PARAMS ((void));
-static void parse_class_file PARAMS ((void));
-static void set_source_filename PARAMS ((JCF *, int));
-static int predefined_filename_p PARAMS ((tree));
-static void ggc_mark_jcf PARAMS ((void**));
-static void jcf_parse PARAMS ((struct JCF*));
-static void load_inner_classes PARAMS ((tree));
-
-/* Mark (for garbage collection) all the tree nodes that are
-   referenced from JCF's constant pool table. Do that only if the JCF
-   hasn't been marked finished.  */
-
+static void handle_innerclass_attribute (int count, JCF *);
+static tree give_name_to_class (JCF *jcf, int index);
+static char *compute_class_name (struct ZipDirectory *zdir);
+static int classify_zip_file (struct ZipDirectory *zdir);
+static void parse_zip_file_entries (void);
+static void process_zip_dir (FILE *);
+static void parse_source_file_1 (tree, const char *, FILE *);
+static void parse_source_file_2 (void);
+static void parse_source_file_3 (void);
+static void parse_class_file (void);
+static void handle_deprecated (void);
+static void set_source_filename (JCF *, int);
+static void jcf_parse (struct JCF*);
+static void load_inner_classes (tree);
+
+/* Handle "Deprecated" attribute.  */
 static void
-ggc_mark_jcf (elt)
-     void **elt;
+handle_deprecated (void)
 {
-  JCF *jcf = *(JCF**) elt;
-  if (jcf != NULL && !jcf->finished)
+  if (current_field != NULL_TREE)
+    FIELD_DEPRECATED (current_field) = 1;
+  else if (current_method != NULL_TREE)
+    METHOD_DEPRECATED (current_method) = 1;
+  else if (current_class != NULL_TREE)
+    CLASS_DEPRECATED (TYPE_NAME (current_class)) = 1;
+  else
     {
-      CPool *cpool = &jcf->cpool;
-      int size = CPOOL_COUNT(cpool);
-      int index;
-      for (index = 1; index < size;  index++)
-       {
-         int tag = JPOOL_TAG (jcf, index);
-         if ((tag & CONSTANT_ResolvedFlag) || tag == CONSTANT_Utf8)
-           ggc_mark_tree ((tree) cpool->data[index]);
-       }
+      /* Shouldn't happen.  */
+      gcc_unreachable ();
     }
 }
 
 /* Handle "SourceFile" attribute. */
 
 static void
-set_source_filename (jcf, index)
-     JCF *jcf;
-     int index;
+set_source_filename (JCF *jcf, int index)
 {
   tree sfname_id = get_name_constant (jcf, index);
   const char *sfname = IDENTIFIER_POINTER (sfname_id);
-  if (input_filename != NULL)
+  const char *old_filename = input_filename;
+  int new_len = IDENTIFIER_LENGTH (sfname_id);
+  if (old_filename != NULL)
     {
-      int old_len = strlen (input_filename);
-      int new_len = IDENTIFIER_LENGTH (sfname_id);
+      int old_len = strlen (old_filename);
       /* Use the current input_filename (derived from the class name)
         if it has a directory prefix, but otherwise matches sfname. */
       if (old_len > new_len
-         && strcmp (sfname, input_filename + old_len - new_len) == 0
-         && (input_filename[old_len - new_len - 1] == '/'
-             || input_filename[old_len - new_len - 1] == '\\'))
-       return;
+         && strcmp (sfname, old_filename + old_len - new_len) == 0
+         && (old_filename[old_len - new_len - 1] == '/'
+             || old_filename[old_len - new_len - 1] == '\\'))
+       {
+#ifndef USE_MAPPED_LOCATION
+         DECL_SOURCE_LOCATION (TYPE_NAME (current_class)) = input_location;
+         file_start_location = input_location;
+#endif
+         return;
+       }
+    }
+  if (strchr (sfname, '/') == NULL && strchr (sfname, '\\') == NULL)
+    {
+      const char *class_name
+       = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (current_class)));
+      char *dot = strrchr (class_name, '.');
+      if (dot != NULL)
+       {
+         /* Length of prefix, not counting final dot. */
+         int i = dot - class_name;
+         /* Concatenate current package prefix with new sfname. */
+         char *buf = XNEWVEC (char, i + new_len + 2); /* Space for '.' and '\0'. */
+         strcpy (buf + i + 1, sfname);
+         /* Copy package from class_name, replacing '.' by DIR_SEPARATOR.
+            Note we start at the end with the final package dot. */
+         for (; i >= 0;  i--)
+           {
+             char c = class_name[i];
+             if (c == '.')
+               c = DIR_SEPARATOR;
+             buf[i] = c;
+           }
+         sfname_id = get_identifier (buf);
+         free (buf);
+         sfname = IDENTIFIER_POINTER (sfname_id);
+       }
     }
+      
+#ifdef USE_MAPPED_LOCATION
+  line_table.maps[line_table.used-1].to_file = sfname;
+#else
   input_filename = sfname;
-  DECL_SOURCE_FILE (TYPE_NAME (current_class)) = sfname;
-  if (current_class == main_class) main_input_filename = input_filename;
+  DECL_SOURCE_LOCATION (TYPE_NAME (current_class)) = input_location;
+  file_start_location = input_location;
+#endif
+  if (current_class == main_class) main_input_filename = sfname;
 }
 
 #define HANDLE_SOURCEFILE(INDEX) set_source_filename (jcf, INDEX)
 
 #define HANDLE_CLASS_INFO(ACCESS_FLAGS, THIS, SUPER, INTERFACES_COUNT) \
 { tree super_class = SUPER==0 ? NULL_TREE : get_class_constant (jcf, SUPER); \
-  current_class = give_name_to_class (jcf, THIS); \
+  output_class = current_class = give_name_to_class (jcf, THIS); \
   set_super_info (ACCESS_FLAGS, current_class, super_class, INTERFACES_COUNT);}
 
 #define HANDLE_CLASS_INTERFACE(INDEX) \
@@ -190,9 +227,7 @@ set_source_filename (jcf, index)
   DECL_LINENUMBERS_OFFSET (current_method) = 0)
 
 #define HANDLE_END_METHODS() \
-{ tree handle_type = CLASS_TO_HANDLE_TYPE (current_class); \
-  if (handle_type != current_class) layout_type (handle_type); \
-  current_method = NULL_TREE; }
+{ current_method = NULL_TREE; }
 
 #define HANDLE_CODE_ATTRIBUTE(MAX_STACK, MAX_LOCALS, CODE_LENGTH) \
 { DECL_MAX_STACK (current_method) = (MAX_STACK); \
@@ -222,6 +257,8 @@ set_source_filename (jcf, index)
   DECL_FUNCTION_THROWS (current_method) = nreverse (list); \
 }
 
+#define HANDLE_DEPRECATED_ATTRIBUTE()  handle_deprecated ()
+
 /* Link seen inner classes to their outer context and register the
    inner class to its outer context. They will be later loaded.  */
 #define HANDLE_INNERCLASSES_ATTRIBUTE(COUNT) \
@@ -245,39 +282,19 @@ set_source_filename (jcf, index)
 
 #include "jcf-reader.c"
 
-static int yydebug;
-
 tree
-parse_signature (jcf, sig_index)
-     JCF *jcf;
-     int sig_index;
-{
-  if (sig_index <= 0 || sig_index >= JPOOL_SIZE (jcf)
-      || JPOOL_TAG (jcf, sig_index) != CONSTANT_Utf8)
-    abort ();
-  else
-    return parse_signature_string (JPOOL_UTF_DATA (jcf, sig_index),
-                                  JPOOL_UTF_LENGTH (jcf, sig_index));
-}
-
-void
-init_lex ()
+parse_signature (JCF *jcf, int sig_index)
 {
-  /* Make identifier nodes long enough for the language-specific slots.  */
-  set_identifier_size (sizeof (struct lang_identifier));
-}
+  gcc_assert (sig_index > 0
+             && sig_index < JPOOL_SIZE (jcf)
+             && JPOOL_TAG (jcf, sig_index) == CONSTANT_Utf8);
 
-void
-set_yydebug (value)
-     int value;
-{
-  yydebug = value;
+  return parse_signature_string (JPOOL_UTF_DATA (jcf, sig_index),
+                                JPOOL_UTF_LENGTH (jcf, sig_index));
 }
 
 tree
-get_constant (jcf, index)
-  JCF *jcf;
-  int index;
+get_constant (JCF *jcf, int index)
 {
   tree value;
   int tag;
@@ -285,91 +302,69 @@ get_constant (jcf, index)
     goto bad;
   tag = JPOOL_TAG (jcf, index);
   if ((tag & CONSTANT_ResolvedFlag) || tag == CONSTANT_Utf8)
-    return (tree) jcf->cpool.data[index];
+    return jcf->cpool.data[index].t;
   switch (tag)
     {
     case CONSTANT_Integer:
       {
        jint num = JPOOL_INT(jcf, index);
-       value = build_int_2 (num, num < 0 ? -1 : 0);
-       TREE_TYPE (value) = int_type_node;
+       value = build_int_cst (int_type_node, num);
        break;
       }
     case CONSTANT_Long:
       {
-       jint num = JPOOL_INT (jcf, index);
-       HOST_WIDE_INT lo, hi;
+       unsigned HOST_WIDE_INT num = JPOOL_UINT (jcf, index);
+       unsigned HOST_WIDE_INT lo;
+       HOST_WIDE_INT hi;
+       
        lshift_double (num, 0, 32, 64, &lo, &hi, 0);
-       num = JPOOL_INT (jcf, index+1) & 0xffffffff;
+       num = JPOOL_UINT (jcf, index+1);
        add_double (lo, hi, num, 0, &lo, &hi);
-       value = build_int_2 (lo, hi);
-       TREE_TYPE (value) = long_type_node;
-       force_fit_type (value, 0);
+       value = build_int_cst_wide (long_type_node, lo, hi);
+       value = force_fit_type (value, 0, false, false);
        break;
       }
-#if TARGET_FLOAT_FORMAT == IEEE_FLOAT_FORMAT
+
     case CONSTANT_Float:
       {
        jint num = JPOOL_INT(jcf, index);
+       long buf = num;
        REAL_VALUE_TYPE d;
-#ifdef REAL_ARITHMETIC
-       d = REAL_VALUE_FROM_TARGET_SINGLE (num);
-#else
-       union { float f;  jint i; } u;
-       u.i = num;
-       d = u.f;
-#endif
+
+       real_from_target_fmt (&d, &buf, &ieee_single_format);
        value = build_real (float_type_node, d);
        break;
       }
+
     case CONSTANT_Double:
       {
-       HOST_WIDE_INT num[2];
+       long buf[2], lo, hi;
        REAL_VALUE_TYPE d;
-       HOST_WIDE_INT lo, hi;
-       num[0] = JPOOL_INT (jcf, index);
-       lshift_double (num[0], 0, 32, 64, &lo, &hi, 0);
-       num[0] = JPOOL_INT (jcf, index+1);
-       add_double (lo, hi, num[0], 0, &lo, &hi);
+
+       hi = JPOOL_UINT (jcf, index);
+       lo = JPOOL_UINT (jcf, index+1);
+
        if (FLOAT_WORDS_BIG_ENDIAN)
-         {
-           num[0] = hi;
-           num[1] = lo;
-         }
+         buf[0] = hi, buf[1] = lo;
        else
-         {
-           num[0] = lo;
-           num[1] = hi;
-         }
-#ifdef REAL_ARITHMETIC
-       d = REAL_VALUE_FROM_TARGET_DOUBLE (num);
-#else
-       {
-         union { double d;  jint i[2]; } u;
-         u.i[0] = (jint) num[0];
-         u.i[1] = (jint) num[1];
-         d = u.d;
-       }
-#endif
+         buf[0] = lo, buf[1] = hi;
+
+       real_from_target_fmt (&d, buf, &ieee_double_format);
        value = build_real (double_type_node, d);
        break;
       }
-#endif /* TARGET_FLOAT_FORMAT == IEEE_FLOAT_FORMAT */
+
     case CONSTANT_String:
       {
        tree name = get_name_constant (jcf, JPOOL_USHORT1 (jcf, index));
        const char *utf8_ptr = IDENTIFIER_POINTER (name);
        int utf8_len = IDENTIFIER_LENGTH (name);
-       unsigned char *str_ptr;
-       unsigned char *str;
        const unsigned char *utf8;
-       int i, str_len;
+       int i;
 
-       /* Count the number of Unicode characters in the string,
-          while checking for a malformed Utf8 string. */
+       /* Check for a malformed Utf8 string.  */
        utf8 = (const unsigned char *) utf8_ptr;
        i = utf8_len;
-       str_len = 0;
        while (i > 0)
          {
            int char_len = UT8_CHAR_LENGTH (*utf8);
@@ -378,48 +373,10 @@ get_constant (jcf, index)
 
            utf8 += char_len;
            i -= char_len;
-           str_len++;
          }
 
-       /* Allocate a scratch buffer, convert the string to UCS2, and copy it
-          into the new space.  */
-       str_ptr = (unsigned char *) alloca (2 * str_len);
-       str = str_ptr;
-       utf8 = (const unsigned char *)utf8_ptr;
-
-       for (i = 0; i < str_len; i++)
-         {
-           int char_value;
-           int char_len = UT8_CHAR_LENGTH (*utf8);
-           switch (char_len)
-             {
-             case 1:
-               char_value = *utf8++;
-               break;
-             case 2:
-               char_value = *utf8++ & 0x1F;
-               char_value = (char_value << 6) | (*utf8++ & 0x3F);
-               break;
-             case 3:
-               char_value = *utf8++ & 0x0F;
-               char_value = (char_value << 6) | (*utf8++ & 0x3F);
-               char_value = (char_value << 6) | (*utf8++ & 0x3F);
-               break;
-             default:
-               goto bad;
-             }
-           if (BYTES_BIG_ENDIAN)
-             {
-               *str++ = char_value >> 8;
-               *str++ = char_value & 0xFF;
-             }
-           else
-             {
-               *str++ = char_value & 0xFF;
-               *str++ = char_value >> 8;
-             }
-         }
-       value = build_string (str - str_ptr, str_ptr);
+       /* Allocate a new string value.  */
+       value = build_string (utf8_len, utf8_ptr);
        TREE_TYPE (value) = build_pointer_type (string_type_node);
       }
       break;
@@ -427,7 +384,7 @@ get_constant (jcf, index)
       goto bad;
     }
   JPOOL_TAG (jcf, index) = tag | CONSTANT_ResolvedFlag;
-  jcf->cpool.data [index] = (jword) value;
+  jcf->cpool.data[index].t = value;
   return value;
  bad:
   internal_error ("bad value constant type %d, index %d", 
@@ -435,26 +392,19 @@ get_constant (jcf, index)
 }
 
 tree
-get_name_constant (jcf, index)
-  JCF *jcf;
-  int index;
+get_name_constant (JCF *jcf, int index)
 {
   tree name = get_constant (jcf, index);
-
-  if (TREE_CODE (name) != IDENTIFIER_NODE)
-    abort ();
-
+  gcc_assert (TREE_CODE (name) == IDENTIFIER_NODE);
   return name;
 }
 
-/* Handle reading innerclass attributes. If a non zero entry (denoting
+/* Handle reading innerclass attributes. If a nonzero entry (denoting
    a non anonymous entry) is found, We augment the inner class list of
    the outer context with the newly resolved innerclass.  */
 
 static void
-handle_innerclass_attribute (count, jcf)
-     int count;
-     JCF *jcf;
+handle_innerclass_attribute (int count, JCF *jcf)
 {
   int c = (count);
   while (c--)
@@ -465,7 +415,7 @@ handle_innerclass_attribute (count, jcf)
         entry isn't a member (like an inner class) the value is 0. */
       int ocii = JCF_readu2 (jcf);
       /* Read inner_name_index. If the class we're dealing with is
-        an annonymous class, it must be 0. */
+        an anonymous class, it must be 0. */
       int ini = JCF_readu2 (jcf);
       /* Read the access flag. */
       int acc = JCF_readu2 (jcf);
@@ -490,28 +440,42 @@ handle_innerclass_attribute (count, jcf)
 }
 
 static tree
-give_name_to_class (jcf, i)
-     JCF *jcf;
-     int i;
+give_name_to_class (JCF *jcf, int i)
 {
-  if (i <= 0 || i >= JPOOL_SIZE (jcf)
-      || JPOOL_TAG (jcf, i) != CONSTANT_Class)
-    abort ();
-  else
+  gcc_assert (i > 0
+             && i < JPOOL_SIZE (jcf)
+             && JPOOL_TAG (jcf, i) == CONSTANT_Class);
+
     {
+      tree package_name = NULL_TREE, tmp;
       tree this_class;
       int j = JPOOL_USHORT1 (jcf, i);
       /* verify_constant_pool confirmed that j is a CONSTANT_Utf8. */
-      tree class_name = unmangle_classname (JPOOL_UTF_DATA (jcf, j),
+      tree class_name = unmangle_classname ((const char *) JPOOL_UTF_DATA (jcf, j),
                                            JPOOL_UTF_LENGTH (jcf, j));
       this_class = lookup_class (class_name);
-      input_filename = DECL_SOURCE_FILE (TYPE_NAME (this_class));
-      lineno = 0;
+#ifdef USE_MAPPED_LOCATION
+      {
+      tree source_name = identifier_subst (class_name, "", '.', '/', ".java");
+      const char *sfname = IDENTIFIER_POINTER (source_name);
+      linemap_add (&line_table, LC_ENTER, false, sfname, 0);
+      input_location = linemap_line_start (&line_table, 0, 1);
+      file_start_location = input_location;
+      DECL_SOURCE_LOCATION (TYPE_NAME (this_class)) = input_location;
+      if (main_input_filename == NULL && jcf == main_jcf)
+       main_input_filename = sfname;
+      }
+#else
+      input_location = DECL_SOURCE_LOCATION (TYPE_NAME (this_class));
       if (main_input_filename == NULL && jcf == main_jcf)
        main_input_filename = input_filename;
+#endif
 
-      jcf->cpool.data[i] = (jword) this_class;
+      jcf->cpool.data[i].t = this_class;
       JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;
+      split_qualified_name (&package_name, &tmp, 
+                           DECL_NAME (TYPE_NAME (this_class)));
+      TYPE_PACKAGE (this_class) = package_name;
       return this_class;
     }
 }
@@ -519,32 +483,32 @@ give_name_to_class (jcf, i)
 /* Get the class of the CONSTANT_Class whose constant pool index is I. */
 
 tree
-get_class_constant (JCF *jcf , int i)
+get_class_constant (JCF *jcf, int i)
 {
   tree type;
-  if (i <= 0 || i >= JPOOL_SIZE (jcf)
-      || (JPOOL_TAG (jcf, i) & ~CONSTANT_ResolvedFlag) != CONSTANT_Class)
-    abort ();
+  gcc_assert (i > 0
+             && i < JPOOL_SIZE (jcf)
+             && (JPOOL_TAG (jcf, i) & ~CONSTANT_ResolvedFlag) == CONSTANT_Class);
 
   if (JPOOL_TAG (jcf, i) != CONSTANT_ResolvedClass)
     {
       int name_index = JPOOL_USHORT1 (jcf, i);
       /* verify_constant_pool confirmed that name_index is a CONSTANT_Utf8. */
-      const char *name = JPOOL_UTF_DATA (jcf, name_index);
+      const char *name = (const char *) JPOOL_UTF_DATA (jcf, name_index);
       int nlength = JPOOL_UTF_LENGTH (jcf, name_index);
 
       if (name[0] == '[')  /* Handle array "classes". */
-         type = TREE_TYPE (parse_signature_string (name, nlength));
+         type = TREE_TYPE (parse_signature_string ((const unsigned char *) name, nlength));
       else
         { 
           tree cname = unmangle_classname (name, nlength);
           type = lookup_class (cname);
        }
-      jcf->cpool.data[i] = (jword) type;
+      jcf->cpool.data[i].t = type;
       JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;
     }
   else
-    type = (tree) jcf->cpool.data[i];
+    type = jcf->cpool.data[i].t;
   return type;
 }
 
@@ -554,13 +518,13 @@ get_class_constant (JCF *jcf , int i)
    define the class it is supposed to.) */
 
 int
-read_class (name)
-     tree name;
+read_class (tree name)
 {
   JCF this_jcf, *jcf;
   tree icv, class = NULL_TREE;
   tree save_current_class = current_class;
-  const char *save_input_filename = input_filename;
+  tree save_output_class = output_class;
+  location_t save_location = input_location;
   JCF *save_current_jcf = current_jcf;
 
   if ((icv = IDENTIFIER_CLASS_VALUE (name)) != NULL_TREE)
@@ -573,11 +537,17 @@ read_class (name)
 
   if (jcf == NULL)
     {
+      const char* path_name;
       this_jcf.zipd = NULL;
       jcf = &this_jcf;
-      if (find_class (IDENTIFIER_POINTER (name), IDENTIFIER_LENGTH (name),
-                     &this_jcf, 1) == 0)
+      
+      path_name = find_class (IDENTIFIER_POINTER (name),
+                             IDENTIFIER_LENGTH (name),
+                             &this_jcf, 1);
+      if (path_name == 0)
        return 0;
+      else
+       free((char *) path_name);
     }
 
   current_jcf = jcf;
@@ -585,28 +555,38 @@ read_class (name)
   if (current_jcf->java_source)
     {
       const char *filename = current_jcf->filename;
-      tree file;
+      char *real_path;
+      tree given_file, real_file;
       FILE *finput;
       int generate;
 
       java_parser_context_save_global ();
       java_push_parser_context ();
-      BUILD_FILENAME_IDENTIFIER_NODE (file, filename);
-      generate = IS_A_COMMAND_LINE_FILENAME_P (file);
-      if (wfl_operator == NULL_TREE)
-       wfl_operator = build_expr_wfl (NULL_TREE, NULL, 0, 0);
-      EXPR_WFL_FILENAME_NODE (wfl_operator) = file;
-      input_filename = ggc_strdup (filename);
-      current_class = NULL_TREE;
+
+      given_file = get_identifier (filename);
+      filename = IDENTIFIER_POINTER (given_file);
+      real_path = lrealpath (filename);
+      real_file = get_identifier (real_path);
+      free (real_path);
+
+      generate = IS_A_COMMAND_LINE_FILENAME_P (given_file);
+      output_class = current_class = NULL_TREE;
       current_function_decl = NULL_TREE;
-      if (!HAS_BEEN_ALREADY_PARSED_P (file))
+
+      if (! HAS_BEEN_ALREADY_PARSED_P (real_file))
        {
-         if (!(finput = fopen (input_filename, "r")))
-           fatal_io_error ("can't reopen %s", input_filename);
-         parse_source_file_1 (file, finput);
+         if (! (finput = fopen (filename, "r")))
+           fatal_error ("can't reopen %s: %m", filename);
+
+         parse_source_file_1 (real_file, filename, finput);
          parse_source_file_2 ();
+         parse_source_file_3 ();
+
          if (fclose (finput))
-           fatal_io_error ("can't close %s", input_filename);
+           fatal_error ("can't close %s: %m", input_filename);
+#ifdef USE_MAPPED_LOCATION
+         linemap_add (&line_table, LC_LEAVE, false, NULL, 0);
+#endif
        }
       JCF_FINISH (current_jcf);
       java_pop_parser_context (generate);
@@ -618,12 +598,16 @@ read_class (name)
        {
          java_parser_context_save_global ();
          java_push_parser_context ();
-         current_class = class;
-         input_filename = current_jcf->filename;
+         output_class = current_class = class;
+         ctxp->save_location = input_location;
          if (JCF_SEEN_IN_ZIP (current_jcf))
            read_zip_member(current_jcf,
                            current_jcf->zipd, current_jcf->zipd->zipf);
          jcf_parse (current_jcf);
+         /* Parsing might change the class, in which case we have to
+            put it back where we found it.  */
+         if (current_class != class && icv != NULL_TREE)
+           TREE_TYPE (icv) = current_class;
          class = current_class;
          java_pop_parser_context (0);
          java_parser_context_restore_global ();
@@ -632,8 +616,9 @@ read_class (name)
       load_inner_classes (class);
     }
 
+  output_class = save_output_class;
   current_class = save_current_class;
-  input_filename = save_input_filename;
+  input_location = save_location;
   current_jcf = save_current_jcf;
   return 1;
 }
@@ -641,16 +626,18 @@ read_class (name)
 /* Load CLASS_OR_NAME. CLASS_OR_NAME can be a mere identifier if
    called from the parser, otherwise it's a RECORD_TYPE node. If
    VERBOSE is 1, print error message on failure to load a class. */
-
-/* Replace calls to load_class by having callers call read_class directly
-   - and then perhaps rename read_class to load_class.  FIXME */
-
 void
-load_class (class_or_name, verbose)
-     tree class_or_name;
-     int verbose;
+load_class (tree class_or_name, int verbose)
 {
-  tree name;
+  tree name, saved;
+  int class_loaded = 0;
+  tree class_decl = NULL_TREE;
+  bool is_compiled_class = false;
+
+  /* We've already failed, don't try again.  */
+  if (TREE_CODE (class_or_name) == RECORD_TYPE
+      && TYPE_DUMMY (class_or_name))
+    return;
 
   /* class_or_name can be the name of the class we want to load */
   if (TREE_CODE (class_or_name) == IDENTIFIER_NODE)
@@ -663,15 +650,99 @@ load_class (class_or_name, verbose)
   else
     name = DECL_NAME (TYPE_NAME (class_or_name));
 
-  if (read_class (name) == 0 && verbose)
-    error ("Cannot find file for class %s.", IDENTIFIER_POINTER (name));
+  class_decl = IDENTIFIER_CLASS_VALUE (name);
+  if (class_decl != NULL_TREE)
+    {
+      tree type = TREE_TYPE (class_decl);
+      is_compiled_class
+       = ((TYPE_JCF (type) && JCF_SEEN_IN_ZIP (TYPE_JCF (type)))
+          || CLASS_FROM_CURRENTLY_COMPILED_P (type));
+    }
+
+  /* If the class is from source code, then it must already be loaded.  */
+  class_decl = IDENTIFIER_CLASS_VALUE (name);
+  if (class_decl && CLASS_FROM_SOURCE_P (TREE_TYPE (class_decl)))
+    return;
+
+  saved = name;
+  
+  /* If flag_verify_invocations is unset, we don't try to load a class
+     unless we're looking for Object (which is fixed by the ABI) or
+     it's a class that we're going to compile.  */
+  if (flag_verify_invocations
+      || class_or_name == object_type_node
+      || is_compiled_class
+      || TREE_CODE (class_or_name) == IDENTIFIER_NODE)
+    {
+      while (1)
+       {
+         char *separator;
+
+         /* We've already loaded it.  */
+         if (IDENTIFIER_CLASS_VALUE (name) != NULL_TREE)
+           {
+             tree tmp_decl = IDENTIFIER_CLASS_VALUE (name);
+             if (CLASS_PARSED_P (TREE_TYPE (tmp_decl)))
+               break;
+           }
+       
+         if (read_class (name))
+           break;
+
+         /* We failed loading name. Now consider that we might be looking
+            for an inner class.  */
+         if ((separator = strrchr (IDENTIFIER_POINTER (name), '$'))
+             || (separator = strrchr (IDENTIFIER_POINTER (name), '.')))
+           {
+             int c = *separator;
+             *separator = '\0';
+             name = get_identifier (IDENTIFIER_POINTER (name));
+             *separator = c;
+           }
+         /* Otherwise, we failed, we bail. */
+         else
+           break;
+       }
+
+      {
+       /* have we found the class we're looking for?  */
+       tree type_decl = IDENTIFIER_CLASS_VALUE (saved);
+       tree type = type_decl ? TREE_TYPE (type_decl) : NULL;
+       class_loaded = type && CLASS_PARSED_P (type);
+      }              
+    }
+  
+  if (!class_loaded)
+    {
+      if (flag_verify_invocations || ! flag_indirect_dispatch
+         || flag_emit_class_files)
+       {
+         if (verbose)
+           error ("cannot find file for class %s", IDENTIFIER_POINTER (saved));
+       }
+      else if (verbose)
+       {
+         /* This is just a diagnostic during testing, not a real problem.  */
+         if (!quiet_flag)
+           warning (0, "cannot find file for class %s", 
+                    IDENTIFIER_POINTER (saved));
+         
+         /* Fake it.  */
+         if (TREE_CODE (class_or_name) == RECORD_TYPE)
+           {
+             set_super_info (0, class_or_name, object_type_node, 0);
+             TYPE_DUMMY (class_or_name) = 1;
+             /* We won't be able to output any debug info for this class.  */
+             DECL_IGNORED_P (TYPE_NAME (class_or_name)) = 1;
+           }
+       }
+    }
 }
 
 /* Parse the .class file JCF. */
 
-void
-jcf_parse (jcf)
-     JCF* jcf;
+static void
+jcf_parse (JCF* jcf)
 {
   int i, code;
 
@@ -719,6 +790,9 @@ jcf_parse (jcf)
   code = jcf_parse_final_attributes (jcf);
   if (code != 0)
     fatal_error ("error while parsing final attributes");
+#ifdef USE_MAPPED_LOCATION
+  linemap_add (&line_table, LC_LEAVE, false, NULL, 0);
+#endif
 
   /* The fields of class_type_node are already in correct order. */
   if (current_class != class_type_node && current_class != object_type_node)
@@ -732,7 +806,7 @@ jcf_parse (jcf)
         -fforce-classes-archive-check was specified. */
       if (!jcf->right_zip
          && (!flag_emit_class_files || flag_force_classes_archive_check))
-       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 incorrect set. Use `info gcj \"Input Options\"' to see the info page describing how to set the classpath.", jcf->filename);
+       fatal_error ("the %<java.lang.Object%> that was found in %qs 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);
     }
   else
     all_class_list = tree_cons (NULL_TREE,
@@ -741,8 +815,7 @@ jcf_parse (jcf)
 
 /* If we came across inner classes, load them now. */
 static void
-load_inner_classes (cur_class)
-     tree cur_class;
+load_inner_classes (tree cur_class)
 {
   tree current;
   for (current = DECL_INNER_CLASS_LIST (TYPE_NAME (cur_class)); current;
@@ -756,38 +829,42 @@ load_inner_classes (cur_class)
     }
 }
 
-void
-init_outgoing_cpool ()
+static void
+duplicate_class_warning (const char *filename)
 {
-  current_constant_pool_data_ref = NULL_TREE;
-  outgoing_cpool = (struct CPool *)xmalloc (sizeof (struct CPool));
-  memset (outgoing_cpool, 0, sizeof (struct CPool));
+  location_t warn_loc;
+#ifdef USE_MAPPED_LOCATION
+  linemap_add (&line_table, LC_RENAME, 0, filename, 0);
+  warn_loc = linemap_line_start (&line_table, 0, 1);
+#else
+  warn_loc.file = filename;
+  warn_loc.line = 0;
+#endif
+  warning (0, "%Hduplicate class will only be compiled once", &warn_loc);
 }
 
 static void
-parse_class_file ()
+parse_class_file (void)
 {
   tree method;
-  const char *save_input_filename = input_filename;
-  int save_lineno = lineno;
+  location_t save_location = input_location;
 
   java_layout_seen_class_methods ();
 
-  input_filename = DECL_SOURCE_FILE (TYPE_NAME (current_class));
-  lineno = 0;
-  (*debug_hooks->start_source_file) (lineno, input_filename);
-  init_outgoing_cpool ();
+  input_location = DECL_SOURCE_LOCATION (TYPE_NAME (current_class));
+  file_start_location = input_location;
+  (*debug_hooks->start_source_file) (input_line, input_filename);
+
+  gen_indirect_dispatch_tables (current_class);
 
-  /* Currently we always have to emit calls to _Jv_InitClass when
-     compiling from class files.  */
-  always_initialize_class_p = 1;
+  java_mark_class_local (current_class);
 
-  for ( method = TYPE_METHODS (CLASS_TO_HANDLE_TYPE (current_class));
-       method != NULL_TREE; method = TREE_CHAIN (method))
+  for (method = TYPE_METHODS (current_class);
+       method != NULL_TREE; method = TREE_CHAIN (method))
     {
       JCF *jcf = current_jcf;
 
-      if (METHOD_ABSTRACT (method))
+      if (METHOD_ABSTRACT (method) || METHOD_DUMMY (method))
        continue;
 
       if (METHOD_NATIVE (method))
@@ -809,22 +886,24 @@ parse_class_file ()
          DECL_MAX_LOCALS (method) = decl_max_locals;
          start_java_method (method);
          give_name_to_locals (jcf);
-         expand_expr_stmt (build_jni_stub (method));
+         *get_stmts () = build_jni_stub (method);
          end_java_method ();
          continue;
        }
 
       if (DECL_CODE_OFFSET (method) == 0)
        {
+         current_function_decl = method;
          error ("missing Code attribute");
          continue;
        }
 
-      lineno = 0;
+      input_location = DECL_SOURCE_LOCATION (TYPE_NAME (current_class));
       if (DECL_LINENUMBERS_OFFSET (method))
        {
-         register int i;
-         register unsigned char *ptr;
+         int i;
+         int min_line = 0;
+         unsigned char *ptr;
          JCF_SEEK (jcf, DECL_LINENUMBERS_OFFSET (method));
          linenumber_count = i = JCF_readu2 (jcf);
          linenumber_table = ptr = jcf->read_ptr;
@@ -832,11 +911,18 @@ parse_class_file ()
          for (ptr += 2; --i >= 0; ptr += 4)
            {
              int line = GET_u2 (ptr);
-             /* Set initial lineno lineno to smallest linenumber.
+             /* Set initial input_line to smallest linenumber.
               * Needs to be set before init_function_start. */
-             if (lineno == 0 || line < lineno)
-               lineno = line;
-           }  
+             if (min_line == 0 || line < min_line)
+               min_line = line;
+           }
+#ifdef USE_MAPPED_LOCATION
+         if (min_line != 0)
+           input_location = linemap_line_start (&line_table, min_line, 1);
+#else
+         if (min_line != 0)
+           input_line = min_line;
+#endif
        }
       else
        {
@@ -850,7 +936,22 @@ parse_class_file ()
 
       give_name_to_locals (jcf);
 
-      /* Actually generate code. */
+      /* Bump up start_label_pc_this_method so we get a unique label number
+        and reset highest_label_pc_this_method. */
+      if (highest_label_pc_this_method >= 0)
+       {
+         /* We adjust to the next multiple of 1000.  This is just a frill
+            so the last 3 digits of the label number match the bytecode
+            offset, which might make debugging marginally more convenient. */
+         start_label_pc_this_method
+           = ((((start_label_pc_this_method + highest_label_pc_this_method)
+                / 1000)
+               + 1)
+              * 1000);
+         highest_label_pc_this_method = -1;
+       }
+
+      /* Convert bytecode to trees.  */
       expand_byte_code (jcf, method);
 
       end_java_method ();
@@ -861,39 +962,45 @@ parse_class_file ()
 
   finish_class ();
 
-  (*debug_hooks->end_source_file) (save_lineno);
-  input_filename = save_input_filename;
-  lineno = save_lineno;
+  (*debug_hooks->end_source_file) (LOCATION_LINE (save_location));
+  input_location = save_location;
 }
 
 /* Parse a source file, as pointed by the current value of INPUT_FILENAME. */
 
 static void
-parse_source_file_1 (file, finput)
-     tree file;
-     FILE *finput;
+parse_source_file_1 (tree real_file, const char *filename, FILE *finput)
 {
   int save_error_count = java_error_count;
-  /* Mark the file as parsed */
-  HAS_BEEN_ALREADY_PARSED_P (file) = 1;
 
-  jcf_dependency_add_file (input_filename, 0);
+  /* Mark the file as parsed.  */
+  HAS_BEEN_ALREADY_PARSED_P (real_file) = 1;
 
   lang_init_source (1);                    /* Error msgs have no method prototypes */
 
   /* There's no point in trying to find the current encoding unless we
      are going to do something intelligent with it -- hence the test
      for iconv.  */
-#ifdef HAVE_ICONV
-#ifdef HAVE_NL_LANGINFO
+#if defined (HAVE_LOCALE_H) && defined (HAVE_ICONV) && defined (HAVE_LANGINFO_CODESET)
   setlocale (LC_CTYPE, "");
   if (current_encoding == NULL)
     current_encoding = nl_langinfo (CODESET);
-#endif /* HAVE_NL_LANGINFO */
-#endif /* HAVE_ICONV */
+#endif 
   if (current_encoding == NULL || *current_encoding == '\0')
     current_encoding = DEFAULT_ENCODING;
 
+#ifdef USE_MAPPED_LOCATION
+  linemap_add (&line_table, LC_ENTER, false, filename, 0);
+  input_location = linemap_line_start (&line_table, 0, 125);
+#else
+  input_filename = filename;
+  input_line = 0;
+#endif
+  ctxp->file_start_location = input_location;
+  ctxp->filename = filename;
+
+  jcf_dependency_add_file (input_filename, 0);
+
   /* Initialize the parser */
   java_init_lex (finput, current_encoding);
   java_parse_abort_on_error ();
@@ -905,11 +1012,18 @@ parse_source_file_1 (file, finput)
 /* Process a parsed source file, resolving names etc. */
 
 static void
-parse_source_file_2 ()
+parse_source_file_2 (void)
 {
   int save_error_count = java_error_count;
+  flag_verify_invocations = true;
   java_complete_class ();          /* Parse unsatisfied class decl. */
   java_parse_abort_on_error ();
+}
+
+static void
+parse_source_file_3 (void)
+{
+  int save_error_count = java_error_count;
   java_check_circular_reference (); /* Check on circular references */
   java_parse_abort_on_error ();
   java_fix_constructors ();        /* Fix the constructors */
@@ -917,32 +1031,57 @@ parse_source_file_2 ()
   java_reorder_fields ();          /* Reorder the fields */
 }
 
-static int
-predefined_filename_p (node)
-     tree node;
+void
+add_predefined_file (tree name)
 {
-  int i;
-  for (i = 0; i < PREDEF_FILENAMES_SIZE; i++)
-    if (predef_filenames [i] == node)
-      return 1;
-  return 0;
+  predef_filenames = tree_cons (NULL_TREE, name, predef_filenames);
 }
 
 int
-yyparse ()
+predefined_filename_p (tree node)
+{
+  tree iter;
+
+  for (iter = predef_filenames; iter != NULL_TREE; iter = TREE_CHAIN (iter))
+    {
+      if (TREE_VALUE (iter) == node)
+       return 1;
+    }
+  return 0;
+}
+
+/* Generate a function that does all static initialization for this 
+   translation unit.  */
+
+static void
+java_emit_static_constructor (void)
+{
+  tree body = NULL;
+
+  emit_register_classes (&body);
+  write_resource_constructor (&body);
+
+  if (body)
+    cgraph_build_static_cdtor ('I', body, DEFAULT_INIT_PRIORITY);
+}
+
+void
+java_parse_file (int set_yydebug ATTRIBUTE_UNUSED)
 {
   int filename_count = 0;
-  char *list, *next;
+  location_t save_location = input_location;
+  char *file_list = NULL, *list, *next;
   tree node;
   FILE *finput = NULL;
-
+  int in_quotes = 0;
   if (flag_filelist_file)
     {
       int avail = 2000;
-      finput = fopen (input_filename, "r");
+      finput = fopen (main_input_filename, "r");
       if (finput == NULL)
-       fatal_io_error ("can't open %s", input_filename);
-      list = xmalloc(avail);
+       fatal_error ("can't open %s: %m", input_filename);
+      list = XNEWVEC (char, avail);
       next = list;
       for (;;)
        {
@@ -960,7 +1099,7 @@ yyparse ()
          if (count == 0)
            {
              if (! feof (finput))
-               fatal_io_error ("error closing %s", input_filename);
+               fatal_error ("error closing %s: %m", input_filename);
              *next = '\0';
              break;
            }
@@ -969,17 +1108,19 @@ yyparse ()
        }
       fclose (finput);
       finput = NULL;
+      file_list = list;
     }
   else
-    list = xstrdup (input_filename);
+    list = (char *) main_input_filename;
 
-  do 
+  while (list)
     {
       for (next = list; ; )
        {
          char ch = *next;
-         if (ch == '\n' || ch == '\r' || ch == '\t' || ch == ' '
-             || ch == '&' /* FIXME */)
+         if (flag_filelist_file && ! in_quotes
+             && (ch == '\n' || ch == '\r' || ch == '\t' || ch == ' '
+                 || ch == '&') /* FIXME */)
            {
              if (next == list)
                {
@@ -993,6 +1134,15 @@ yyparse ()
                  break;
                }
            }
+         if (flag_filelist_file && ch == '"')
+           {
+             in_quotes = ! in_quotes;
+             *next++ = '\0';
+             if (in_quotes) 
+               list = next;
+             else 
+               break;
+           }
          if (ch == '\0')
            {
              next = NULL;
@@ -1003,145 +1153,157 @@ yyparse ()
 
       if (list[0]) 
        {
-         char *value;
-         tree id;
-         int twice = 0;
-
-         int len = strlen (list);
-
-         if (*list != '/' && filename_count > 0)
-           obstack_grow (&temporary_obstack, "./", 2);
-
-         obstack_grow0 (&temporary_obstack, list, len);
-         value = obstack_finish (&temporary_obstack);
+         node = get_identifier (list);
 
          filename_count++;
 
-         /* Exclude file that we see twice on the command line. For
-            all files except {Class,Error,Object,RuntimeException,String,
-            Throwable}.java we can rely on maybe_get_identifier. For
-            these files, we need to do a linear search of
-            current_file_list. This search happens only for these
-            files, presumably only when we're recompiling libgcj. */
+         /* Exclude file that we see twice on the command line. */
             
-         if ((id = maybe_get_identifier (value)))
-           {
-             if (predefined_filename_p (id))
-               {
-                 tree c;
-                 for (c = current_file_list; c; c = TREE_CHAIN (c))
-                   if (TREE_VALUE (c) == id)
-                     twice = 1;
-               }
-             else
-               twice = 1;
-           }
-
-         if (twice)
-           {
-             const char *saved_input_filename = input_filename;
-             input_filename = value;
-             warning ("source file seen twice on command line and will be compiled only once.");
-             input_filename = saved_input_filename;
-           }
+         if (IS_A_COMMAND_LINE_FILENAME_P (node))
+           duplicate_class_warning (IDENTIFIER_POINTER (node));
          else
            {
-             BUILD_FILENAME_IDENTIFIER_NODE (node, value);
+             tree file_decl = build_decl (TRANSLATION_UNIT_DECL, node, NULL);
+             TREE_CHAIN (file_decl) = current_file_list;
+             current_file_list = file_decl;
              IS_A_COMMAND_LINE_FILENAME_P (node) = 1;
-             current_file_list = tree_cons (NULL_TREE, node, 
-                                            current_file_list);
            }
        }
       list = next;
     }
-  while (next);
+
+  if (file_list != NULL)
+    free (file_list);
 
   if (filename_count == 0)
-    warning ("no input file specified");
+    warning (0, "no input file specified");
+
+  if (resource_name)
+    {
+      const char *resource_filename;
+      
+      /* Only one resource file may be compiled at a time.  */
+      assert (TREE_CHAIN (current_file_list) == NULL);
+
+      resource_filename = IDENTIFIER_POINTER (DECL_NAME (current_file_list));
+      compile_resource_file (resource_name, resource_filename);
+
+      goto finish;
+    }
 
   current_jcf = main_jcf;
   current_file_list = nreverse (current_file_list);
   for (node = current_file_list; node; node = TREE_CHAIN (node))
     {
       unsigned char magic_string[4];
-      uint32 magic;
-      tree name = TREE_VALUE (node);
+      char *real_path;
+      uint32 magic = 0;
+      tree name = DECL_NAME (node);
+      tree real_file;
+      const char *filename = IDENTIFIER_POINTER (name);
 
       /* Skip already parsed files */
-      if (HAS_BEEN_ALREADY_PARSED_P (name))
+      real_path = lrealpath (filename);
+      real_file = get_identifier (real_path);
+      free (real_path);
+      if (HAS_BEEN_ALREADY_PARSED_P (real_file))
        continue;
-      
+
       /* Close previous descriptor, if any */
       if (finput && fclose (finput))
-       fatal_io_error ("can't close input file %s", main_input_filename);
+       fatal_error ("can't close input file %s: %m", main_input_filename);
       
-      finput = fopen (IDENTIFIER_POINTER (name), "rb");
+      finput = fopen (filename, "rb");
       if (finput == NULL)
-       fatal_io_error ("can't open %s", IDENTIFIER_POINTER (name));
-      
+       fatal_error ("can't open %s: %m", filename);
+
 #ifdef IO_BUFFER_SIZE
-      setvbuf (finput, (char *) xmalloc (IO_BUFFER_SIZE),
+      setvbuf (finput, xmalloc (IO_BUFFER_SIZE),
               _IOFBF, IO_BUFFER_SIZE);
 #endif
-      input_filename = IDENTIFIER_POINTER (name);
 
       /* Figure what kind of file we're dealing with */
-      if (fread (magic_string, 1, 4, finput) != 4)
-       fatal_io_error ("Premature end of input file %s", 
-                       IDENTIFIER_POINTER (name));
-      fseek (finput, 0L, SEEK_SET);
-      magic = GET_u4 (magic_string);
+      if (fread (magic_string, 1, 4, finput) == 4)
+       {
+         fseek (finput, 0L, SEEK_SET);
+         magic = GET_u4 (magic_string);
+       }
       if (magic == 0xcafebabe)
        {
          CLASS_FILE_P (node) = 1;
-         current_jcf = ALLOC (sizeof (JCF));
+         current_jcf = ggc_alloc (sizeof (JCF));
          JCF_ZERO (current_jcf);
          current_jcf->read_state = finput;
          current_jcf->filbuf = jcf_filbuf_from_stdio;
          jcf_parse (current_jcf);
+         DECL_SOURCE_LOCATION (node) = file_start_location;
          TYPE_JCF (current_class) = current_jcf;
+         if (CLASS_FROM_CURRENTLY_COMPILED_P (current_class))
+           {
+             /* We've already compiled this class.  */
+             duplicate_class_warning (filename);
+             continue;
+           }
          CLASS_FROM_CURRENTLY_COMPILED_P (current_class) = 1;
-         TREE_PURPOSE (node) = current_class;
+         TREE_TYPE (node) = current_class;
        }
       else if (magic == (JCF_u4)ZIPMAGIC)
        {
-         ZIP_FILE_P (node) = 1;
+         main_jcf = ggc_alloc (sizeof (JCF));
          JCF_ZERO (main_jcf);
          main_jcf->read_state = finput;
          main_jcf->filbuf = jcf_filbuf_from_stdio;
-         if (open_in_zip (main_jcf, input_filename, NULL, 0) <  0)
-           fatal_error ("bad zip/jar file %s", IDENTIFIER_POINTER (name));
+#ifdef USE_MAPPED_LOCATION
+         linemap_add (&line_table, LC_ENTER, false, filename, 0);
+         input_location = linemap_line_start (&line_table, 0, 1);
+#endif
+         if (open_in_zip (main_jcf, filename, NULL, 0) <  0)
+           fatal_error ("bad zip/jar file %s", filename);
          localToFile = SeenZipFiles;
-         /* Register all the class defined there.  */
+         /* Register all the classes defined there.  */
          process_zip_dir (main_jcf->read_state);
+#ifdef USE_MAPPED_LOCATION
+         linemap_add (&line_table, LC_LEAVE, false, NULL, 0);
+#endif
          parse_zip_file_entries ();
-         /*
-         for (each entry)
-           CLASS_FROM_CURRENTLY_COMPILED_P (current_class) = 1;
-         */
        }
       else
        {
-         JAVA_FILE_P (node) = 1;
          java_push_parser_context ();
          java_parser_context_save_global ();
-         parse_source_file_1 (name, finput);
+
+         parse_source_file_1 (real_file, filename, finput);
          java_parser_context_restore_global ();
          java_pop_parser_context (1);
+#ifdef USE_MAPPED_LOCATION
+         linemap_add (&line_table, LC_LEAVE, false, NULL, 0);
+#endif
        }
     }
 
   for (ctxp = ctxp_for_generation;  ctxp;  ctxp = ctxp->next)
     {
-      input_filename = ctxp->filename;
+      input_location = ctxp->file_start_location;
       parse_source_file_2 ();
     }
+
+  for (ctxp = ctxp_for_generation; ctxp; ctxp = ctxp->next)
+    {
+      input_location = ctxp->file_start_location;
+      parse_source_file_3 ();
+    }
+
   for (node = current_file_list; node; node = TREE_CHAIN (node))
     {
-      input_filename = IDENTIFIER_POINTER (TREE_VALUE (node));
+      input_location = DECL_SOURCE_LOCATION (node);
       if (CLASS_FILE_P (node))
        {
-         current_class = TREE_PURPOSE (node);
+         /* FIXME: These two flags really should be independent.  We
+            should be able to compile fully binary compatible, but
+            with flag_verify_invocations on.  */
+         flag_verify_invocations = ! flag_indirect_dispatch;
+         output_class = current_class = TREE_TYPE (node);
+
          current_jcf = TYPE_JCF (current_class);
          layout_class (current_class);
          load_inner_classes (current_class);
@@ -1149,12 +1311,77 @@ yyparse ()
          JCF_FINISH (current_jcf);
        }
     }
-  input_filename = main_input_filename;
+  input_location = save_location;
 
   java_expand_classes ();
-  if (!java_report_errors () && !flag_syntax_only)
-    emit_register_classes ();
-  return 0;
+  if (java_report_errors () || flag_syntax_only)
+    return;
+    
+  /* Expand all classes compiled from source.  */
+  java_finish_classes ();
+
+ finish:
+  /* Arrange for any necessary initialization to happen.  */
+  java_emit_static_constructor ();
+
+  /* Only finalize the compilation unit after we've told cgraph which
+     functions have their addresses stored.  */
+  cgraph_finalize_compilation_unit ();
+  cgraph_optimize ();
+}
+
+
+/* Return the name of the class corresponding to the name of the file
+   in this zip entry.  The result is newly allocated using ALLOC.  */
+static char *
+compute_class_name (struct ZipDirectory *zdir)
+{
+  char *class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
+  char *class_name;
+  int i;
+  int filename_length = zdir->filename_length;
+
+  while (filename_length > 2 && strncmp (class_name_in_zip_dir, "./", 2) == 0)
+    {
+      class_name_in_zip_dir += 2;
+      filename_length -= 2;
+    }
+
+  filename_length -= strlen (".class");
+  class_name = XNEWVEC (char, filename_length + 1);
+  memcpy (class_name, class_name_in_zip_dir, filename_length);
+  class_name [filename_length] = '\0';
+
+  for (i = 0; i < filename_length; i++)
+    if (class_name[i] == '/')
+      class_name[i] = '.';
+
+  return class_name;
+}
+
+/* Return 0 if we should skip this entry, 1 if it is a .class file, 2
+   if it is a property file of some sort.  */
+static int
+classify_zip_file (struct ZipDirectory *zdir)
+{
+  char *class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
+
+  if (zdir->filename_length > 6
+      && !strncmp (&class_name_in_zip_dir[zdir->filename_length - 6],
+                  ".class", 6))
+    return 1;
+
+  /* For now we drop the manifest, but not other information.  */
+  if (zdir->filename_length == 20
+      && !strncmp (class_name_in_zip_dir, "META-INF/MANIFEST.MF", 20))
+    return 0;
+
+  /* Drop directory entries.  */
+  if (zdir->filename_length > 0
+      && class_name_in_zip_dir[zdir->filename_length - 1] == '/')
+    return 0;
+
+  return 2;
 }
 
 /* Process all class entries found in the zip file.  */
@@ -1168,35 +1395,107 @@ parse_zip_file_entries (void)
        i < localToFile->count; i++, zdir = ZIPDIR_NEXT (zdir))
     {
       tree class;
-      
-      /* We don't need to consider those files.  */
-      if (!zdir->size || !zdir->filename_offset)
-       continue;
-
-      class = lookup_class (get_identifier (ZIPDIR_FILENAME (zdir)));
-      current_jcf = TYPE_JCF (class);
-      current_class = class;
 
-      if ( !CLASS_LOADED_P (class))
+      switch (classify_zip_file (zdir))
        {
-         if (! CLASS_PARSED_P (class))
-           {
-             read_zip_member(current_jcf, zdir, localToFile);
-             jcf_parse (current_jcf);
-           }
-         layout_class (current_class);
-         load_inner_classes (current_class);
-       }
+       case 0:
+         continue;
 
-      if (TYPE_SIZE (current_class) != error_mark_node)
-       {
-         input_filename = current_jcf->filename;
-         parse_class_file ();
-         FREE (current_jcf->buffer); /* No longer necessary */
-         /* Note: there is a way to free this buffer right after a
-            class seen in a zip file has been parsed. The idea is the
-            set its jcf in such a way that buffer will be reallocated
-            the time the code for the class will be generated. FIXME. */
+       case 1:
+         {
+           char *class_name = compute_class_name (zdir);
+           class = lookup_class (get_identifier (class_name));
+           FREE (class_name);
+           current_jcf = TYPE_JCF (class);
+           output_class = current_class = class;
+
+           if (CLASS_FROM_CURRENTLY_COMPILED_P (current_class))
+             {
+               /* We've already compiled this class.  */
+               duplicate_class_warning (current_jcf->filename);
+               break;
+             }
+           
+           CLASS_FROM_CURRENTLY_COMPILED_P (current_class) = 1;
+
+           /* This is a dummy class, and now we're compiling it for
+              real.  */
+           gcc_assert (! TYPE_DUMMY (class));
+
+           /* This is for a corner case where we have a superclass
+              but no superclass fields.  
+
+              This can happen if we earlier failed to lay out this
+              class because its superclass was still in the process
+              of being laid out; this occurs when we have recursive
+              class dependencies via inner classes.  Setting
+              TYPE_SIZE to null here causes CLASS_LOADED_P to return
+              false, so layout_class() will be called again.  */
+           if (TYPE_SIZE (class) && CLASSTYPE_SUPER (class)
+               && integer_zerop (TYPE_SIZE (class)))
+             TYPE_SIZE (class) = NULL_TREE;
+
+           if (! CLASS_LOADED_P (class))
+             {
+               if (! CLASS_PARSED_P (class))
+                 {
+                   read_zip_member (current_jcf, zdir, localToFile);
+                   jcf_parse (current_jcf);
+                 }
+               layout_class (current_class);
+               load_inner_classes (current_class);
+             }
+
+           if (TYPE_SIZE (current_class) != error_mark_node)
+             {
+               parse_class_file ();
+               free (current_jcf->buffer); /* No longer necessary */
+               /* Note: there is a way to free this buffer right after a
+                  class seen in a zip file has been parsed. The idea is the
+                  set its jcf in such a way that buffer will be reallocated
+                  the time the code for the class will be generated. FIXME. */
+             }
+         }
+         break;
+
+       case 2:
+         {
+           char *file_name, *class_name_in_zip_dir, *buffer;
+           JCF *jcf;
+           file_name = XNEWVEC (char, zdir->filename_length + 1);
+           class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
+           strncpy (file_name, class_name_in_zip_dir, zdir->filename_length);
+           file_name[zdir->filename_length] = '\0';
+           jcf = XNEW (JCF);
+           JCF_ZERO (jcf);
+           jcf->read_state  = finput;
+           jcf->filbuf      = jcf_filbuf_from_stdio;
+           jcf->java_source = 0;
+           jcf->classname   = NULL;
+           jcf->filename    = file_name;
+           jcf->zipd        = zdir;
+
+           if (read_zip_member (jcf, zdir, localToFile) < 0)
+             fatal_error ("error while reading %s from zip file", file_name);
+
+           buffer = XNEWVEC (char, zdir->filename_length + 1 +
+                           (jcf->buffer_end - jcf->buffer));
+           strcpy (buffer, file_name);
+           /* This is not a typo: we overwrite the trailing \0 of the
+              file name; this is just how the data is laid out.  */
+           memcpy (buffer + zdir->filename_length,
+                   jcf->buffer, jcf->buffer_end - jcf->buffer);
+
+           compile_resource_data (file_name, buffer,
+                                  jcf->buffer_end - jcf->buffer);
+           JCF_FINISH (jcf);
+           free (jcf);
+           free (buffer);
+         }
+         break;
+
+       default:
+         gcc_unreachable ();
        }
     }
 }
@@ -1216,37 +1515,21 @@ process_zip_dir (FILE *finput)
       char *class_name, *file_name, *class_name_in_zip_dir;
       tree class;
       JCF  *jcf;
-      int   j;
 
       class_name_in_zip_dir = ZIPDIR_FILENAME (zdir);
 
-      /* We choose to not to process entries with a zero size or entries
-        not bearing the .class extention.  */
-      if (!zdir->size || !zdir->filename_offset ||
-         strncmp (&class_name_in_zip_dir[zdir->filename_length-6], 
-                  ".class", 6))
-       {
-         /* So it will be skipped in parse_zip_file_entries  */
-         zdir->size = 0;  
-         continue;
-       }
+      /* Here we skip non-class files; we handle them later.  */
+      if (classify_zip_file (zdir) != 1)
+       continue;
 
-      class_name = ALLOC (zdir->filename_length+1-6);
-      file_name  = ALLOC (zdir->filename_length+1);
-      jcf = ALLOC (sizeof (JCF));
+      class_name = compute_class_name (zdir);
+      file_name  = XNEWVEC (char, zdir->filename_length+1);
+      jcf = ggc_alloc (sizeof (JCF));
       JCF_ZERO (jcf);
 
-      strncpy (class_name, class_name_in_zip_dir, zdir->filename_length-6);
-      class_name [zdir->filename_length-6] = '\0';
       strncpy (file_name, class_name_in_zip_dir, zdir->filename_length);
       file_name [zdir->filename_length] = '\0';
 
-      for (j=0; class_name[j]; j++)
-        class_name [j] = (class_name [j] == '/' ? '.' : class_name [j]);
-
-      /* Yes, we write back the true class name into the zip directory.  */
-      strcpy (class_name_in_zip_dir, class_name);
-      zdir->filename_length = j;
       class = lookup_class (get_identifier (class_name));
 
       jcf->read_state  = finput;
@@ -1263,12 +1546,9 @@ process_zip_dir (FILE *finput)
 /* Initialization.  */
 
 void
-init_jcf_parse ()
+init_jcf_parse (void)
 {
-  /* Register roots with the garbage collector.  */
-  ggc_add_tree_root (parse_roots, sizeof (parse_roots) / sizeof(tree));
-
-  ggc_add_root (&current_jcf, 1, sizeof (JCF), (void (*)(void *))ggc_mark_jcf);
-
   init_src_parse ();
 }
+
+#include "gt-java-jcf-parse.h"