Gcc 3.4.2 20040728.

1 files changed, 195 insertions, 113 deletions

diff --git a/contrib/gcc/langhooks.c b/contrib/gcc/langhooks.c
index 8721121..a965193 100644
--- a/contrib/gcc/langhooks.c
+++ b/contrib/gcc/langhooks.c
@@ -1,29 +1,30 @@
 /* Default language-specific hooks.
-   Copyright 2001, 2002 Free Software Foundation, Inc.
+   Copyright 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
    Contributed by Alexandre Oliva  <aoliva@redhat.com>
 
-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
+along with GCC; see the file COPYING.  If not, write to
 the Free Software Foundation, 59 Temple Place - Suite 330,
 Boston, MA 02111-1307, USA.  */
 
 #include "config.h"
 #include "system.h"
+#include "coretypes.h"
+#include "tm.h"
 #include "toplev.h"
 #include "tree.h"
-#include "c-tree.h"
 #include "tree-inline.h"
 #include "rtl.h"
 #include "insn-config.h"
@@ -31,43 +32,51 @@ Boston, MA 02111-1307, USA.  */
 #include "flags.h"
 #include "langhooks.h"
 #include "langhooks-def.h"
+#include "ggc.h"
+#include "diagnostic.h"
 
 /* Do nothing; in many cases the default hook.  */
 
 void
-lhd_do_nothing ()
+lhd_do_nothing (void)
 {
 }
 
 /* Do nothing (tree).  */
 
 void
-lhd_do_nothing_t (t)
-     tree t ATTRIBUTE_UNUSED;
+lhd_do_nothing_t (tree t ATTRIBUTE_UNUSED)
 {
 }
 
 /* Do nothing (int).  */
 
 void
-lhd_do_nothing_i (i)
-     int i ATTRIBUTE_UNUSED;
+lhd_do_nothing_i (int i ATTRIBUTE_UNUSED)
 {
 }
 
+/* Do nothing (int, int, int).  Return NULL_TREE.  */
+
+tree
+lhd_do_nothing_iii_return_null_tree (int i ATTRIBUTE_UNUSED, 
+				     int j ATTRIBUTE_UNUSED,
+				     int k ATTRIBUTE_UNUSED)
+{
+  return NULL_TREE;
+}
+
 /* Do nothing (function).  */
 
 void
-lhd_do_nothing_f (f)
-     struct function *f ATTRIBUTE_UNUSED;
+lhd_do_nothing_f (struct function *f ATTRIBUTE_UNUSED)
 {
 }
 
 /* Do nothing (return the tree node passed).  */
 
 tree
-lhd_return_tree (t)
-     tree t;
+lhd_return_tree (tree t)
 {
   return t;
 }
@@ -75,38 +84,40 @@ lhd_return_tree (t)
 /* Do nothing (return NULL_TREE).  */
 
 tree
-lhd_return_null_tree (t)
-     tree t ATTRIBUTE_UNUSED;
+lhd_return_null_tree_v (void)
 {
   return NULL_TREE;
 }
 
-/* Do nothing; the default hook to decode an option.  */
+/* Do nothing (return NULL_TREE).  */
 
-int
-lhd_decode_option (argc, argv)
-     int argc ATTRIBUTE_UNUSED;
-     char **argv ATTRIBUTE_UNUSED;
+tree
+lhd_return_null_tree (tree t ATTRIBUTE_UNUSED)
 {
-  return 0;
+  return NULL_TREE;
+}
+
+/* The default post options hook.  */
+
+bool
+lhd_post_options (const char **pfilename ATTRIBUTE_UNUSED)
+{
+  return false;
 }
 
 /* Called from by print-tree.c.  */
 
 void
-lhd_print_tree_nothing (file, node, indent)
-     FILE *file ATTRIBUTE_UNUSED;
-     tree node ATTRIBUTE_UNUSED;
-     int indent ATTRIBUTE_UNUSED;
+lhd_print_tree_nothing (FILE *file ATTRIBUTE_UNUSED,
+			tree node ATTRIBUTE_UNUSED,
+			int indent ATTRIBUTE_UNUSED)
 {
 }
 
 /* Called from safe_from_p.  */
 
 int
-lhd_safe_from_p (x, exp)
-     rtx x ATTRIBUTE_UNUSED;
-     tree exp ATTRIBUTE_UNUSED;
+lhd_safe_from_p (rtx x ATTRIBUTE_UNUSED, tree exp ATTRIBUTE_UNUSED)
 {
   return 1;
 }
@@ -114,8 +125,7 @@ lhd_safe_from_p (x, exp)
 /* Called from unsafe_for_reeval.  */
 
 int
-lhd_unsafe_for_reeval (t)
-     tree t ATTRIBUTE_UNUSED;
+lhd_unsafe_for_reeval (tree t ATTRIBUTE_UNUSED)
 {
   return -1;
 }
@@ -123,8 +133,7 @@ lhd_unsafe_for_reeval (t)
 /* Called from staticp.  */
 
 int
-lhd_staticp (exp)
-     tree exp ATTRIBUTE_UNUSED;
+lhd_staticp (tree exp ATTRIBUTE_UNUSED)
 {
   return 0;
 }
@@ -132,8 +141,7 @@ lhd_staticp (exp)
 /* Called from check_global_declarations.  */
 
 bool
-lhd_warn_unused_global_decl (decl)
-     tree decl;
+lhd_warn_unused_global_decl (tree decl)
 {
   /* This is what used to exist in check_global_declarations.  Probably
      not many of these actually apply to non-C languages.  */
@@ -148,10 +156,14 @@ lhd_warn_unused_global_decl (decl)
   return true;
 }
 
+/* Number for making the label on the next
+   static variable internal to a function.  */
+
+static GTY(()) int var_labelno;
+
 /* Set the DECL_ASSEMBLER_NAME for DECL.  */
 void
-lhd_set_decl_assembler_name (decl)
-     tree decl;
+lhd_set_decl_assembler_name (tree decl)
 {
   /* The language-independent code should never use the
      DECL_ASSEMBLER_NAME for lots of DECLs.  Only FUNCTION_DECLs and
@@ -162,12 +174,28 @@ lhd_set_decl_assembler_name (decl)
 	  && (TREE_STATIC (decl)
 	      || DECL_EXTERNAL (decl)
 	      || TREE_PUBLIC (decl))))
-    /* By default, assume the name to use in assembly code is the
-       same as that used in the source language.  (That's correct
-       for C, and GCC used to set DECL_ASSEMBLER_NAME to the same
-       value as DECL_NAME in build_decl, so this choice provides
-       backwards compatibility with existing front-ends.  */
-    SET_DECL_ASSEMBLER_NAME (decl, DECL_NAME (decl));
+    {
+      /* By default, assume the name to use in assembly code is the
+	 same as that used in the source language.  (That's correct
+	 for C, and GCC used to set DECL_ASSEMBLER_NAME to the same
+	 value as DECL_NAME in build_decl, so this choice provides
+	 backwards compatibility with existing front-ends.  
+
+         Can't use just the variable's own name for a variable whose
+	 scope is less than the whole compilation.  Concatenate a
+	 distinguishing number.  */
+      if (!TREE_PUBLIC (decl) && DECL_CONTEXT (decl))
+	{
+	  const char *name = IDENTIFIER_POINTER (DECL_NAME (decl));
+	  char *label;
+	  
+	  ASM_FORMAT_PRIVATE_NAME (label, name, var_labelno);
+	  var_labelno++;
+	  SET_DECL_ASSEMBLER_NAME (decl, get_identifier (label));
+	}
+      else
+	SET_DECL_ASSEMBLER_NAME (decl, DECL_NAME (decl));
+    }
   else
     /* Nobody should ever be asking for the DECL_ASSEMBLER_NAME of
        these DECLs -- unless they're in language-dependent code, in
@@ -177,7 +205,7 @@ lhd_set_decl_assembler_name (decl)
 
 /* By default we always allow bit-field based optimizations.  */
 bool
-lhd_can_use_bit_fields_p ()
+lhd_can_use_bit_fields_p (void)
 {
   return true;
 }
@@ -185,7 +213,7 @@ lhd_can_use_bit_fields_p ()
 /* Provide a default routine to clear the binding stack.  This is used
    by languages that don't need to do anything special.  */
 void
-lhd_clear_binding_stack ()
+lhd_clear_binding_stack (void)
 {
   while (! (*lang_hooks.decls.global_bindings_p) ())
     poplevel (0, 0, 0);
@@ -193,16 +221,21 @@ lhd_clear_binding_stack ()
 
 /* Type promotion for variable arguments.  */
 tree
-lhd_type_promotes_to (type)
-     tree type ATTRIBUTE_UNUSED;
+lhd_type_promotes_to (tree type ATTRIBUTE_UNUSED)
 {
   abort ();
 }
 
+/* Registration of machine- or os-specific builtin types.  */
+void
+lhd_register_builtin_type (tree type ATTRIBUTE_UNUSED, 
+			   const char* name ATTRIBUTE_UNUSED)
+{
+}
+
 /* Invalid use of an incomplete type.  */
 void
-lhd_incomplete_type_error (value, type)
-     tree value ATTRIBUTE_UNUSED, type;
+lhd_incomplete_type_error (tree value ATTRIBUTE_UNUSED, tree type)
 {
   if (TREE_CODE (type) == ERROR_MARK)
     return;
@@ -214,8 +247,7 @@ lhd_incomplete_type_error (value, type)
    is used by languages that don't need to do anything special.  */
 
 HOST_WIDE_INT
-lhd_get_alias_set (t)
-     tree t ATTRIBUTE_UNUSED;
+lhd_get_alias_set (tree t ATTRIBUTE_UNUSED)
 {
   return -1;
 }
@@ -224,8 +256,7 @@ lhd_get_alias_set (t)
    used by languages that haven't deal with alias sets yet.  */
 
 HOST_WIDE_INT
-hook_get_alias_set_0 (t)
-     tree t ATTRIBUTE_UNUSED;
+hook_get_alias_set_0 (tree t ATTRIBUTE_UNUSED)
 {
   return 0;
 }
@@ -233,11 +264,10 @@ hook_get_alias_set_0 (t)
 /* This is the default expand_expr function.  */
 
 rtx
-lhd_expand_expr (t, r, mm, em)
-     tree t ATTRIBUTE_UNUSED;
-     rtx r ATTRIBUTE_UNUSED;
-     enum machine_mode mm ATTRIBUTE_UNUSED;
-     int em ATTRIBUTE_UNUSED;
+lhd_expand_expr (tree t ATTRIBUTE_UNUSED, rtx r ATTRIBUTE_UNUSED,
+		 enum machine_mode mm ATTRIBUTE_UNUSED,
+		 int em ATTRIBUTE_UNUSED,
+		 rtx *a ATTRIBUTE_UNUSED)
 {
   abort ();
 }
@@ -245,9 +275,7 @@ lhd_expand_expr (t, r, mm, em)
 /* This is the default decl_printable_name function.  */
 
 const char *
-lhd_decl_printable_name (decl, verbosity)
-     tree decl;
-     int verbosity ATTRIBUTE_UNUSED;
+lhd_decl_printable_name (tree decl, int verbosity ATTRIBUTE_UNUSED)
 {
   return IDENTIFIER_POINTER (DECL_NAME (decl));
 }
@@ -264,12 +292,11 @@ lhd_decl_printable_name (decl, verbosity)
    when the function is called.  */
 
 tree
-lhd_tree_inlining_walk_subtrees (tp,subtrees,func,data,htab)
-     tree *tp ATTRIBUTE_UNUSED;
-     int *subtrees ATTRIBUTE_UNUSED;
-     walk_tree_fn func ATTRIBUTE_UNUSED;
-     void *data ATTRIBUTE_UNUSED;
-     void *htab ATTRIBUTE_UNUSED;
+lhd_tree_inlining_walk_subtrees (tree *tp ATTRIBUTE_UNUSED,
+				 int *subtrees ATTRIBUTE_UNUSED,
+				 walk_tree_fn func ATTRIBUTE_UNUSED,
+				 void *data ATTRIBUTE_UNUSED,
+				 void *htab ATTRIBUTE_UNUSED)
 {
   return NULL_TREE;
 }
@@ -279,8 +306,7 @@ lhd_tree_inlining_walk_subtrees (tp,subtrees,func,data,htab)
    inlining a given function.  */
 
 int
-lhd_tree_inlining_cannot_inline_tree_fn (fnp)
-     tree *fnp;
+lhd_tree_inlining_cannot_inline_tree_fn (tree *fnp)
 {
   if (flag_really_no_inline
       && lookup_attribute ("always_inline", DECL_ATTRIBUTES (*fnp)) == NULL)
@@ -294,8 +320,7 @@ lhd_tree_inlining_cannot_inline_tree_fn (fnp)
    if it would exceed inlining limits.  */
 
 int
-lhd_tree_inlining_disregard_inline_limits (fn)
-     tree fn;
+lhd_tree_inlining_disregard_inline_limits (tree fn)
 {
   if (lookup_attribute ("always_inline", DECL_ATTRIBUTES (fn)) != NULL)
     return 1;
@@ -311,9 +336,7 @@ lhd_tree_inlining_disregard_inline_limits (fn)
    returned.  */
 
 tree
-lhd_tree_inlining_add_pending_fn_decls (vafnp, pfn)
-     void *vafnp ATTRIBUTE_UNUSED;
-     tree pfn;
+lhd_tree_inlining_add_pending_fn_decls (void *vafnp ATTRIBUTE_UNUSED, tree pfn)
 {
   return pfn;
 }
@@ -323,8 +346,7 @@ lhd_tree_inlining_add_pending_fn_decls (vafnp, pfn)
    whether it should be walked, copied and preserved across copies.  */
 
 int
-lhd_tree_inlining_tree_chain_matters_p (t)
-     tree t ATTRIBUTE_UNUSED;
+lhd_tree_inlining_tree_chain_matters_p (tree t ATTRIBUTE_UNUSED)
 {
   return 0;
 }
@@ -333,8 +355,7 @@ lhd_tree_inlining_tree_chain_matters_p (t)
    whether VT is an automatic variable defined in function FT.  */
 
 int
-lhd_tree_inlining_auto_var_in_fn_p (var, fn)
-     tree var, fn;
+lhd_tree_inlining_auto_var_in_fn_p (tree var, tree fn)
 {
   return (DECL_P (var) && DECL_CONTEXT (var) == fn
 	  && (((TREE_CODE (var) == VAR_DECL || TREE_CODE (var) == PARM_DECL)
@@ -353,14 +374,16 @@ lhd_tree_inlining_auto_var_in_fn_p (var, fn)
    match RES.  */
 
 tree
-lhd_tree_inlining_copy_res_decl_for_inlining (res, fn, caller,
-					      dm, ndp, texps)
-     tree res, fn, caller;
-     void *dm ATTRIBUTE_UNUSED;
-     int *ndp ATTRIBUTE_UNUSED;
-     void *texps ATTRIBUTE_UNUSED;
-{
-  return copy_decl_for_inlining (res, fn, caller);
+lhd_tree_inlining_copy_res_decl_for_inlining (tree res, tree fn, tree caller,
+					      void *dm ATTRIBUTE_UNUSED,
+					      int *ndp ATTRIBUTE_UNUSED,
+					      tree return_slot_addr ATTRIBUTE_UNUSED)
+{
+  if (return_slot_addr)
+    return build1 (INDIRECT_REF, TREE_TYPE (TREE_TYPE (return_slot_addr)),
+		   return_slot_addr);
+  else
+    return copy_decl_for_inlining (res, fn, caller);
 }
 
 /* lang_hooks.tree_inlining.anon_aggr_type_p determines whether T is a
@@ -368,8 +391,7 @@ lhd_tree_inlining_copy_res_decl_for_inlining (res, fn, caller,
    i.e., one whose members are in the same scope as the union itself.  */
 
 int
-lhd_tree_inlining_anon_aggr_type_p (t)
-     tree t ATTRIBUTE_UNUSED;
+lhd_tree_inlining_anon_aggr_type_p (tree t ATTRIBUTE_UNUSED)
 {
   return 0;
 }
@@ -383,15 +405,13 @@ lhd_tree_inlining_anon_aggr_type_p (t)
    avoid infinite recursion.  */
 
 int
-lhd_tree_inlining_start_inlining (fn)
-     tree fn ATTRIBUTE_UNUSED;
+lhd_tree_inlining_start_inlining (tree fn ATTRIBUTE_UNUSED)
 {
   return 1;
 }
 
 void
-lhd_tree_inlining_end_inlining (fn)
-     tree fn ATTRIBUTE_UNUSED;
+lhd_tree_inlining_end_inlining (tree fn ATTRIBUTE_UNUSED)
 {
 }
 
@@ -399,10 +419,10 @@ lhd_tree_inlining_end_inlining (fn)
    language-specific conversion before assigning VALUE to PARM.  */
 
 tree
-lhd_tree_inlining_convert_parm_for_inlining (parm, value, fndecl)
-     tree parm ATTRIBUTE_UNUSED;
-     tree value;
-     tree fndecl ATTRIBUTE_UNUSED;
+lhd_tree_inlining_convert_parm_for_inlining (tree parm ATTRIBUTE_UNUSED,
+					     tree value,
+					     tree fndecl ATTRIBUTE_UNUSED,
+					     int argnum ATTRIBUTE_UNUSED)
 {
   return value;
 }
@@ -411,20 +431,17 @@ lhd_tree_inlining_convert_parm_for_inlining (parm, value, fndecl)
    nodes.  Returns nonzero if it does not want the usual dumping of the
    second argument.  */
 
-int
-lhd_tree_dump_dump_tree (di, t)
-     void *di ATTRIBUTE_UNUSED;
-     tree t ATTRIBUTE_UNUSED;
+bool
+lhd_tree_dump_dump_tree (void *di ATTRIBUTE_UNUSED, tree t ATTRIBUTE_UNUSED)
 {
-  return 0;
+  return false;
 }
 
 /* lang_hooks.tree_dump.type_qual:  Determine type qualifiers in a
    language-specific way.  */
 
 int
-lhd_tree_dump_type_quals (t)
-     tree t;
+lhd_tree_dump_type_quals (tree t)
 {
   return TYPE_QUALS (t);
 }
@@ -433,8 +450,7 @@ lhd_tree_dump_type_quals (t)
    in a language-specific way.  Returns a tree for the size in bytes.  */
 
 tree
-lhd_expr_size (exp)
-     tree exp;
+lhd_expr_size (tree exp)
 {
   if (TREE_CODE_CLASS (TREE_CODE (exp)) == 'd'
       && DECL_SIZE_UNIT (exp) != 0)
@@ -442,21 +458,38 @@ lhd_expr_size (exp)
   else
     return size_in_bytes (TREE_TYPE (exp));
 }
+/* lang_hooks.decl_uninit: Find out if a variable is uninitialized based
+   on DECL_INITIAL.  */
+
+bool
+lhd_decl_uninit (tree t ATTRIBUTE_UNUSED)
+{
+  return false;
+}
+
+/* lang_hooks.tree_size: Determine the size of a tree with code C,
+   which is a language-specific tree code in category 'x'.  The
+   default expects never to be called.  */
+size_t
+lhd_tree_size (enum tree_code c ATTRIBUTE_UNUSED)
+{
+  abort ();
+  return 0;
+}
 
 /* Return true if decl, which is a function decl, may be called by a
    sibcall.  */
 
 bool
-lhd_decl_ok_for_sibcall (decl)
-     tree decl ATTRIBUTE_UNUSED;
+lhd_decl_ok_for_sibcall (tree decl ATTRIBUTE_UNUSED)
 {
   return true;
 }
 
 /* lang_hooks.decls.final_write_globals: perform final processing on
-   global variables. */
+   global variables.  */
 void
-write_global_declarations ()
+write_global_declarations (void)
 {
   /* Really define vars that have had only a tentative definition.
      Really output inline functions that must actually be callable
@@ -464,12 +497,12 @@ write_global_declarations ()
 
   tree globals = (*lang_hooks.decls.getdecls) ();
   int len = list_length (globals);
-  tree *vec = (tree *) xmalloc (sizeof (tree) * len);
+  tree *vec = xmalloc (sizeof (tree) * len);
   int i;
   tree decl;
 
-    /* Process the decls in reverse order--earliest first.
-       Put them into VEC from back to front, then take out from front.  */
+  /* Process the decls in reverse order--earliest first.
+     Put them into VEC from back to front, then take out from front.  */
 
   for (i = 0, decl = globals; i < len; i++, decl = TREE_CHAIN (decl))
     vec[len - i - 1] = decl;
@@ -481,3 +514,52 @@ write_global_declarations ()
     /* Clean up.  */
   free (vec);
 }
+
+/* Called to perform language-specific initialization of CTX.  */
+void
+lhd_initialize_diagnostics (struct diagnostic_context *ctx ATTRIBUTE_UNUSED)
+{
+}
+
+/* The default function to print out name of current function that caused
+   an error.  */
+void
+lhd_print_error_function (diagnostic_context *context, const char *file)
+{
+  if (diagnostic_last_function_changed (context))
+    {
+      const char *old_prefix = context->printer->prefix;
+      char *new_prefix = file ? file_name_as_prefix (file) : NULL;
+
+      pp_set_prefix (context->printer, new_prefix);
+
+      if (current_function_decl == NULL)
+	pp_printf (context->printer, "At top level:");
+      else
+	{
+	  if (TREE_CODE (TREE_TYPE (current_function_decl)) == METHOD_TYPE)
+	    pp_printf
+	      (context->printer, "In member function `%s':",
+	       (*lang_hooks.decl_printable_name) (current_function_decl, 2));
+	  else
+	    pp_printf
+	      (context->printer, "In function `%s':",
+	       (*lang_hooks.decl_printable_name) (current_function_decl, 2));
+	}
+
+      diagnostic_set_last_function (context);
+      pp_flush (context->printer);
+      context->printer->prefix = old_prefix;
+      free ((char*) new_prefix);
+    }
+}
+
+tree
+lhd_callgraph_analyze_expr (tree *tp ATTRIBUTE_UNUSED,
+			    int *walk_subtrees ATTRIBUTE_UNUSED,
+			    tree decl ATTRIBUTE_UNUSED)
+{
+  return NULL;
+}
+
+#include "gt-langhooks.h"