Subversion Repositories scarts

/* Parser for Java(TM) .class files.

   Copyright (C) 1996, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005

   Free Software Foundation, Inc.

This file is part of GCC.

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.

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 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.

The Free Software Foundation is independent of Sun Microsystems, Inc.  */

/* Written by Per Bothner <bothner@cygnus.com> */

#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"

#include "input.h"

#include "java-tree.h"

#include "toplev.h"

#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_LANGINFO_CODESET

#include <langinfo.h>

#endif

/* A CONSTANT_Utf8 element is converted to an IDENTIFIER_NODE at parse time. */

#define JPOOL_UTF(JCF, INDEX) CPOOL_UTF(&(JCF)->cpool, INDEX)

#define JPOOL_UTF_LENGTH(JCF, INDEX) IDENTIFIER_LENGTH (JPOOL_UTF (JCF, INDEX))

#define JPOOL_UTF_DATA(JCF, INDEX) \

  ((const unsigned char *) IDENTIFIER_POINTER (JPOOL_UTF (JCF, INDEX)))

#define HANDLE_CONSTANT_Utf8(JCF, INDEX, LENGTH) \

  do { \

    unsigned char save;  unsigned char *text; \

    JCF_FILL (JCF, (LENGTH)+1); /* Make sure we read 1 byte beyond string. */ \

    text = (JCF)->read_ptr; \

    save = text[LENGTH]; \

    text[LENGTH] = 0; \

    (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 temporary_obstack;

static GTY(()) tree parse_roots[3];

/* The FIELD_DECL for the current field.  */

#define current_field parse_roots[0]

/* The METHOD_DECL for the current method.  */

#define current_method parse_roots[1]

/* 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 GTY(()) struct JCF * main_jcf;

static struct ZipFile *localToFile;

/* Declarations of some functions used here.  */

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

handle_deprecated (void)

{

  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

    {

      /* Shouldn't happen.  */

      abort ();

    }

}

/* Handle "SourceFile" attribute. */

static void

set_source_filename (JCF *jcf, int index)

{

  tree sfname_id = get_name_constant (jcf, index);

  const char *sfname = IDENTIFIER_POINTER (sfname_id);

  const char *old_filename = input_filename;

  int new_len = IDENTIFIER_LENGTH (sfname_id);

  if (old_filename != NULL)

    {

      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, 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 = xmalloc (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_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); \

  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) \

  add_interface (current_class, get_class_constant (jcf, INDEX))

#define HANDLE_START_FIELD(ACCESS_FLAGS, NAME, SIGNATURE, ATTRIBUTE_COUNT) \

{ int sig_index = SIGNATURE; \

  current_field = add_field (current_class, get_name_constant (jcf, NAME), \

                             parse_signature (jcf, sig_index), ACCESS_FLAGS); \

 set_java_signature (TREE_TYPE (current_field), JPOOL_UTF (jcf, sig_index)); \

 if ((ACCESS_FLAGS) & ACC_FINAL) \

   MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC (current_field); \

}

#define HANDLE_END_FIELDS() \

  (current_field = NULL_TREE)

#define HANDLE_CONSTANTVALUE(INDEX) \

{ tree constant;  int index = INDEX; \

  if (! flag_emit_class_files && JPOOL_TAG (jcf, index) == CONSTANT_String) { \

    tree name = get_name_constant (jcf, JPOOL_USHORT1 (jcf, index)); \

    constant = build_utf8_ref (name); \

  } \

  else \

    constant = get_constant (jcf, index); \

  set_constant_value (current_field, constant); }

#define HANDLE_METHOD(ACCESS_FLAGS, NAME, SIGNATURE, ATTRIBUTE_COUNT) \

 (current_method = add_method (current_class, ACCESS_FLAGS, \

                               get_name_constant (jcf, NAME), \

                               get_name_constant (jcf, SIGNATURE)), \

  DECL_LOCALVARIABLES_OFFSET (current_method) = 0, \

  DECL_LINENUMBERS_OFFSET (current_method) = 0)

#define HANDLE_END_METHODS() \

{ current_method = NULL_TREE; }

#define HANDLE_CODE_ATTRIBUTE(MAX_STACK, MAX_LOCALS, CODE_LENGTH) \

{ DECL_MAX_STACK (current_method) = (MAX_STACK); \

  DECL_MAX_LOCALS (current_method) = (MAX_LOCALS); \

  DECL_CODE_LENGTH (current_method) = (CODE_LENGTH); \

  DECL_CODE_OFFSET (current_method) = JCF_TELL (jcf); }

#define HANDLE_LOCALVARIABLETABLE_ATTRIBUTE(COUNT) \

{ int n = (COUNT); \

  DECL_LOCALVARIABLES_OFFSET (current_method) = JCF_TELL (jcf) - 2; \

  JCF_SKIP (jcf, n * 10); }

#define HANDLE_LINENUMBERTABLE_ATTRIBUTE(COUNT) \

{ int n = (COUNT); \

  DECL_LINENUMBERS_OFFSET (current_method) = JCF_TELL (jcf) - 2; \

  JCF_SKIP (jcf, n * 4); }

#define HANDLE_EXCEPTIONS_ATTRIBUTE(COUNT) \

{ \

  int n = COUNT; \

  tree list = DECL_FUNCTION_THROWS (current_method); \

  while (--n >= 0) \

    { \

      tree thrown_class = get_class_constant (jcf, JCF_readu2 (jcf)); \

      list = tree_cons (NULL_TREE, thrown_class, list); \

    } \

  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) \

  handle_innerclass_attribute (COUNT, jcf)

#define HANDLE_SYNTHETIC_ATTRIBUTE()                                    \

{                                                                       \

  /* Irrelevant decls should have been nullified by the END macros.     \

     We only handle the `Synthetic' attribute on method DECLs.          \

     DECL_ARTIFICIAL on fields is used for something else (See          \

     PUSH_FIELD in java-tree.h) */                                      \

  if (current_method)                                                   \

    DECL_ARTIFICIAL (current_method) = 1;                               \

}

#define HANDLE_GCJCOMPILED_ATTRIBUTE()          \

{                                               \

  if (current_class == object_type_node)        \

    jcf->right_zip = 1;                         \

}

#include "jcf-reader.c"

tree

parse_signature (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));

}

tree

get_constant (JCF *jcf, int index)

{

  tree value;

  int tag;

  if (index <= 0 || index >= JPOOL_SIZE(jcf))

    goto bad;

  tag = JPOOL_TAG (jcf, index);

  if ((tag & CONSTANT_ResolvedFlag) || tag == CONSTANT_Utf8)

    return jcf->cpool.data[index].t;

  switch (tag)

    {

    case CONSTANT_Integer:

      {

        jint num = JPOOL_INT(jcf, index);

        value = build_int_cst (int_type_node, num);

        break;

      }

    case CONSTANT_Long:

      {

        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_UINT (jcf, index+1);

        add_double (lo, hi, num, 0, &lo, &hi);

        value = build_int_cst_wide (long_type_node, lo, hi);

        value = force_fit_type (value, 0, false, false);

        break;

      }

    case CONSTANT_Float:

      {

        jint num = JPOOL_INT(jcf, index);

        long buf = num;

        REAL_VALUE_TYPE d;

        real_from_target_fmt (&d, &buf, &ieee_single_format);

        value = build_real (float_type_node, d);

        break;

      }

    case CONSTANT_Double:

      {

        long buf[2], lo, hi;

        REAL_VALUE_TYPE d;

        hi = JPOOL_UINT (jcf, index);

        lo = JPOOL_UINT (jcf, index+1);

        if (FLOAT_WORDS_BIG_ENDIAN)

          buf[0] = hi, buf[1] = lo;

        else

          buf[0] = lo, buf[1] = hi;

        real_from_target_fmt (&d, buf, &ieee_double_format);

        value = build_real (double_type_node, d);

        break;

      }

    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);

        const unsigned char *utf8;

        int i;

        /* Check for a malformed Utf8 string.  */

        utf8 = (const unsigned char *) utf8_ptr;

        i = utf8_len;

        while (i > 0)

          {

            int char_len = UT8_CHAR_LENGTH (*utf8);

            if (char_len < 0 || char_len > 3 || char_len > i)

              fatal_error ("bad string constant");

            utf8 += char_len;

            i -= char_len;

          }

        /* Allocate a new string value.  */

        value = build_string (utf8_len, utf8_ptr);

        TREE_TYPE (value) = build_pointer_type (string_type_node);

      }

      break;

    default:

      goto bad;

    }

  JPOOL_TAG (jcf, index) = tag | CONSTANT_ResolvedFlag;

  jcf->cpool.data[index].t = value;

  return value;

 bad:

  internal_error ("bad value constant type %d, index %d",

                  JPOOL_TAG (jcf, index), index);

}

tree

get_name_constant (JCF *jcf, int index)

{

  tree name = get_constant (jcf, index);

  if (TREE_CODE (name) != IDENTIFIER_NODE)

    abort ();

  return name;

}

/* 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 (int count, JCF *jcf)

{

  int c = (count);

  while (c--)

    {

      /* Read inner_class_info_index. This may be 0 */

      int icii = JCF_readu2 (jcf);

      /* Read outer_class_info_index. If the innerclasses attribute

         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 anonymous class, it must be 0. */

      int ini = JCF_readu2 (jcf);

      /* Read the access flag. */

      int acc = JCF_readu2 (jcf);

      /* If icii is 0, don't try to read the class. */

      if (icii >= 0)

        {

          tree class = get_class_constant (jcf, icii);

          tree decl = TYPE_NAME (class);

          /* Skip reading further if ocii is null */

          if (DECL_P (decl) && !CLASS_COMPLETE_P (decl) && ocii)

            {

              tree outer = TYPE_NAME (get_class_constant (jcf, ocii));

              tree alias = (ini ? get_name_constant (jcf, ini) : NULL_TREE);

              set_class_decl_access_flags (acc, decl);

              DECL_CONTEXT (decl) = outer;

              DECL_INNER_CLASS_LIST (outer) =

                tree_cons (decl, alias, DECL_INNER_CLASS_LIST (outer));

              CLASS_COMPLETE_P (decl) = 1;

            }

        }

    }

}

static tree

give_name_to_class (JCF *jcf, int i)

{

  if (i <= 0 || i >= JPOOL_SIZE (jcf)

      || JPOOL_TAG (jcf, i) != CONSTANT_Class)

    abort ();

  else

    {

      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 ((const char *) JPOOL_UTF_DATA (jcf, j),

                                            JPOOL_UTF_LENGTH (jcf, j));

      this_class = lookup_class (class_name);

#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].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;

    }

}

/* Get the class of the CONSTANT_Class whose constant pool index is I. */

tree

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 ();

  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 = (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 ((const unsigned char *) name, nlength));

      else

        {

          tree cname = unmangle_classname (name, nlength);

          type = lookup_class (cname);

        }

      jcf->cpool.data[i].t = type;

      JPOOL_TAG (jcf, i) = CONSTANT_ResolvedClass;

    }

  else

    type = jcf->cpool.data[i].t;

  return type;

}

/* Read a class with the fully qualified-name NAME.

   Return 1 iff we read the requested file.

   (It is still possible we failed if the file did not

   define the class it is supposed to.) */

int

read_class (tree name)

{

  JCF this_jcf, *jcf;

  tree icv, class = NULL_TREE;

  tree save_current_class = current_class;

  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)

    {

      class = TREE_TYPE (icv);

      jcf = TYPE_JCF (class);

    }

  else

    jcf = NULL;

  if (jcf == NULL)

    {

      const char* path_name;

      this_jcf.zipd = NULL;

      jcf = &this_jcf;

      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;

  if (current_jcf->java_source)

    {

      const char *filename = current_jcf->filename;

      char *real_path;

      tree given_file, real_file;

      FILE *finput;

      int generate;

      java_parser_context_save_global ();

      java_push_parser_context ();

      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 (real_file))

        {

          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_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);

      java_parser_context_restore_global ();

    }

  else

    {

      if (class == NULL_TREE || ! CLASS_PARSED_P (class))

        {

          java_parser_context_save_global ();

          java_push_parser_context ();

          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 ();

        }

      layout_class (class);

      load_inner_classes (class);

    }

  output_class = save_output_class;

  current_class = save_current_class;

  input_location = save_location;

  current_jcf = save_current_jcf;

  return 1;

}

/* 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. */

void

load_class (tree class_or_name, int verbose)

{

  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)

    name = class_or_name;

  /* In some cases, it's a dependency that we process earlier that

     we though */

  else if (TREE_CODE (class_or_name) == TREE_LIST)

    name = TYPE_NAME (TREE_PURPOSE (class_or_name));

  /* Or it's a type in the making */

  else

    name = DECL_NAME (TYPE_NAME (class_or_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)))